以下のような催しをインターネットでやります

"2012年に読んだ面白論文紹介場所" http://partake.in/events/f37f47a0-3385-4098-8307-987bfaf89cc9細かいことはリンク先をみてください

クラッシュなんとか2

http://partake.in/events/15125a4e-2c15-4f68-b4a6-32899eb3f91dこっそり会場が変更になっていて,当日オンラインな感じだと思うのでオフラインでやるのはなぁという感じだった方もこれで大丈夫ですね. そんな人いないだろうけど.

クラッシュなんとか

http://partake.in/events/15125a4e-2c15-4f68-b4a6-32899eb3f91dοcαmlクラッシュ,会場を取りあえず銀座6丁目のルノアールとして,まぁ開催は確定という形になりました. (ネット使いたいので,会場が変わる可能性はあるのですがそれにしても常識の範囲内…

クラッシュシリーズn弾

タイトル通りですが,クラッシュシリーズn弾, 恐らく8月の26日,日曜日で日付がかなり決定に近い暫定となりましたので,こっちにも書きます.http://partake.in/events/15125a4e-2c15-4f68-b4a6-32899eb3f91d今回はοcαmlです.また,例に依ってクラッシュチ…

アレがチューリング完全になるかどうか

まず決定性2PDSから決定的Turing machineに変形する 2テープTuring machine(TM)への変形が殆ど明らかな気がするので,そこから1テープTMにすれば良いと思いますが.直接1テープTMにするならば次のようになるのかなーと思います.まず与えられた2本のスタック…

適当に考えた言語での受理について

先日twitterに window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.…

1から10までの和

メモC言語にtimetravel機構がある時(あと実行開始時のスタックトップ位置が予知出来ていれば),const値からの複数回読み込みを許すならば55ぐらいは計算出来そうだぞみたいなことをBoost.Tsukubaの間やっていたのでした. const struct tuple p = f(); の…

かわいいものメモ

http://www.toei-anim.co.jp/sp/stapl/index.html

なんか外から与える場合

http://d.hatena.ne.jp/shinichiro_h/20120410#1333988045 状態使う系関数で他にピンとくるのは,人間がカジュアルに現在時刻を知ろうとするのと同じ感じでプログラムも知りたい筈で /* gen.c */ #include <time.h> #include <stdio.h> char str[123456]; int main() { sprint</stdio.h></time.h>…

1から5までの和を,計算過程らしきものを含めて,計算するプログラム

2週間程前に,1から100までの和(1 + 2 + ... + 99 + 100)を計算するプログラムを書きましょう.ただし変数は1つだけ(しか)宣言出来ませんという問題が,twitter上に出現した覚えがあります. (形式的な問題の定義とかは知らないので,なんとなくそれっぽ…

イベントメモ

最近Boostのtrunk入りしたContextにかこつけて このような → http://partake.in/events/313b563f-acf7-47b9-908c-ee0461b77fc0 イベントを作ってみました.日付など詳しいことはリンク先を見てもらうとして.ある概念を持つライブラリがC++で素直に使えるよ…

Prologとつき合う

C81 3日目東ペ06a - COMFRK VOL. 3 ( http://comfrk.info/ )の宣伝のつもりで書き始めてます。えーと記事のタイトルは「年末年始Prolog入門モドキ by ranha」ということになっていますが、嘘ですんで…。ネムインダ最近、SWI-Prologでは次のようなプログラム…

今年読んだ面白CS論文紹介カレンダー

http://partake.in/events/e92ad56b-a8eb-481f-82b8-f2c3699bb3f8http://www.coins.tsukuba.ac.jp/~s0811425/omosiro.html1日目の記事を公開しました。 面白い論文を紹介した記事が面白くない。典型例ですね。

今年読んだ面白CS論文紹介カレンダー

http://partake.in/events/e92ad56b-a8eb-481f-82b8-f2c3699bb3f8そのようなイベントを作りました.14日から開始で,既に2人参加しているのでこれからの方は,16日からですね!! 参加方法は簡単で登録するだけ、以上です.することといえば,今年読んだ論文で面…

Crash Dart 明日です

http://partake.in/events/f986e926-1dbf-4c1f-aca0-d454d3305e49余裕を持って20人の枠としたのに,今現在6人(!!)しか集まっていませんので,Dart適当に弄りたい人は来てください。大変素晴らしいことに、アリエル・ネットワーク様のご好意でネット回線も準備…

Crash Dartやります

http://partake.in/events/f986e926-1dbf-4c1f-aca0-d454d3305e49日付は10月22日(土曜日) 会場はアリエル・ネットワーク様です簡単に言えば、新しい言語とその処理系を遊び倒しましょうということで、しかし遊び倒すといってもピンキリですから、crashさせよ…

プログラミングの魔導書Vol.2 最遅レビュー

今年も最遅レビュー達成なるか!?まず何をもって最遅レビューが決まるかというと当然 http://longgate.co.jp/books/grimoire-vol2.html の「書籍版予約締め切り」を基準にするものです。実は本日、10月4日(火)がまさにその予約締め切りなのです。 受注生産の…

エラーハンドリング勉強会で発表してきました

発表資料はココで : http://ranha.kerox.info/start_exception.pdf全体構成は3部です。 しかし、そのうち1つは、Exceptional C++とか(何か聞く所に依るともっと適切な本があるらしいですが)読むと例外安全とか例外中立を一々気にする姿勢について分かるし良…

Apple ldのalias_listオプションの挙動が良く分かりません その2

前回に引き続き。 % gcc --version i686-apple-darwin10-gcc-4.2.1 (GCC) 4.2.1 (Apple Inc. build 5666) (dot 3) Copyright (C) 2007 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty…

Apple ldのalias_listオプションの挙動が良く分かりません

本エントリで何がしたいか Appleのldは、リンカスクリプトを受け取る事が出来ません。(多分…) ところで、リンカスクリプト中のシンボル同士の代入を用い、シンボルのrenamingをしたいといった事は稀に良くあることだと思うのですが、じゃあリンカスクリプト…

C言語オンリーイベントを目論んでいます

http://partake.in/events/bc4eb051-da12-465c-84d8-3ab93a4390de スタートC language面白論文紹介&読み会です。タイトル通りに、C言語オンリーです。今の所日程としては、9月はICFPはじめとして色々ありますので、10月の1日にしておきました。7,8時間ぐらい…

K&R Cの付録Aの文法(ANSI Cの文法?)で直接左再帰除去で対応出来ない左再帰な非終端記号があるかどうか調べる

import qualified Data.Set as Set import qualified Data.List as List data EBNF = Seq EBNF EBNF | Choice EBNF EBNF | Opt EBNF | Terminal String | -- ただし空文字列禁止 NonTerminal NT deriving (Show , Eq , Ord) {- 手間なので、型シノニムで -} …

Alloyで少しだけ遊ぶ

Alloyでゲームについて調べようの回!!お題は、3x3の9マスでの○×ゲーム(三目並べ)は、先手必勝となるかどうか、です。 簡単なゲームから考える まず次のような非常に簡単なゲームを考えます。 場にA , B , Cという3つの石がある。3種類じゃなくて、本当に3…

「抽象によるソフトウェア設計」発売

https://sites.google.com/site/softwareabstractionsja/ https://sites.google.com/site/softwareabstractionsja/about/toc ← 目次本日7月15日金曜日、洋書「Software Abstractions」(http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=10928)…

スタートClean

7月9日の13時から株式会社SpeeeさんでCleanランゲッジのイントロダクションの話があるらしいです。後11人ぐらい参加出来るようなので、自称CleanプロからCleanの開発者の皆様、最底辺プログラマであるボクにモノを是非教えてくださいませ。http://partake.in…

彼女の友人がGCCの中の人から聞いた話

以下,エイプリルフールの記事として書いたものなので現代において読む価値はありません.ブログには地震後初めて記事を書く事になって、生存報告としては明らかに遅いですね…。でも、twitterでは元気にやっていました。今は実家にいます。さて、つい先日東…

guile-2.0がリリースされたので入れるだけ入れてみた

http://www.gnu.org/software/guile/news.html 去る2月16日に、GNUのGuile version 2.0がリリースされたのでそれのインストールメモというだけです。http://lwn.net/Articles/428288/近いうちに、Guile 2.0 Crashやりたいですね。近いうちっていうか本当は今…

まともな内容のものをあげるところ

http://ranha.kerox.info/gero ただ例に依って何時飽きるか分かりませんけど、少なくともはてなにこうやって書くよりもまだ人間的なものが書ける気がする。まとまった内容っていうか…しかしこうWikiとかよりも、テキストファイルとか、pdfを直にあげるほうが…

MacBook Air 11インチ欲しい!

うみねこでまなぶCoq

Section うみねこ8のメモ. Definition Pow (S : Set) : Type := S -> Prop. Variable Animal : Set. Definition animal (a : Animal) : Prop := True. Variable human : Pow Animal. Axiom 人間は1人はいてはる : exists h : Animal , human h. Theorem 人間…