2007-10-11から1日間の記事一覧

SICP 読み (207) 4.3.2 非決定性プログラムの例

問題 4.41 以前作った微妙な数え上げをベースに手続きを色々でっち上げてみた。とりあえず無理矢理でっち上げた手続きと試験を以下に。