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

SICP 読み (224) 4.3.3 amb 評価器の実装

うーん。頭痛い。今週は週のアタマからハードな週でしてスデに週末気分。朝起きて今日は金曜日じゃないんだったっけ、って思うのは随分久しぶりだな。 で、頭痛と言いつつ現実からトウヒしてみたログを以下に。 Conditionals and sequences って直前エントリ…

SICP 読み (225) 4.3.3 amb 評価器の実装

if とか sequence のあたりから fail だの fail2 だ云々が出てき始めてるんですが、失敗な試験も検討した方が良さげ。てーか、UT というナニを越えてる気がするなぁ。それ以前に試験ドリブンでも無かったりするのも微妙。 大体、今の試験が ("if" ("simple (…