これは圏です(はてな使ったら負けだとおもっていた)

きっと何者にもなれないつぎの読者につづく。

2010-06-01から1ヶ月間の記事一覧

ICFP 2010 競技説明

ICFP 2010 Task description の非公式日本語訳を置いておきます。非公式でやっつけ仕事なので、誤訳などがあるかもしれません。見付けたらご指摘おねがいします。 また、訳文中の誤りによって何らかの損害を被っても何ら責任は負えませんので、悪しからず。 …

ICFP 2010 開幕

いよいよ始まりましたね、http://icfpcontest.org/2010/。僕も参加しようと思ってたんですが、恰度学部のオリエンテーション合宿とか云うよくわからないものに土日を取られてしまうので、実質今日と月曜しか参加出来ないのでした。で、取り敢えず konn と云…

Prolog をべんきょうしています

先週の木曜日、大学の図書室で『Think CでMacintoshプログラミングとか何年前www』『TAOCPがある……!!』などと暇を潰していたら、大量のProlog本に混じり『Prologの技芸 (以下 TAOP*1 )』を発見。すぐさま「ひとは若いうちにScheme, Prolog, Haskell に触…