http://www.eecs.harvard.edu/~ccshan/logicprog/LogicT-icfp2005.pdf

delimited continuation を知った。 http://lambda-the-ultimate.org/node/1197 日本語 http://www.jst.go.jp/kisoken/presto/seika/h16_jigo/kinou.pdf 1 + (2 * (call/cc \.k 3 + (k 4))) -> 1 + (2 * 3 + k 4))) where k = (1 + (2 * □)) -> 1 + (2 * 4) …

C言語でSDL,GTKを使って、トルネコみたいなゲームを書いたり http://racanhack.sourceforge.jp/cgi-bin/wiki.cgi 数独をバックトラックで100%解ける&複数解も求められるGaucheのプログラムを書いたり http://www.shiro.dreamhost.com/scheme/wiliki/wiliki.c…