Haskellで数独の解説PDF

Haskellで書いた数独の自動解答プログラムの、解説PDFを作ってみました。こちら以下のコードを解説しています。 import System import List import Array import Char import Monad isSingle [x] = True isSingle _ = False slice n [] = [] slice n l = a:…

2007-01-25

Ocsigen

OCaml 製の、Kahuaといってもいいか? Ocsigen 論文 Main features Continuation-based Web programming Static checking of XHTML Automatic management of sessions Concise and modular programming Web server, implemented with cooperative threads 副…

2007-01-05

■

論文読みと実装とは、車の両輪みたいなものである。id:YuichiTanaka:20061130 で、C.Queinnecの似たような論文への言及を見つけた。この論文、書いてある内容もわかりやすいのだが、継続の説明がかなりわかりやすい気がする。沢山例を使っているので、実感…

2007-01-04

Web 2.0 の次は？

ハッカーのタロットに続いて、お正月企画。Web 2.0 の次に来るものを予想しよう！ Spiritual Computing スピリチュアル！ http://www.spiritualcomputing.com/ 妖精・妖怪の復権-新しい「環境知能」像の提案- 妖精・妖怪！情報処理学会創立45周年記念「50…