Lisp Scheme Part19 ..
[2ch|▼Menu]
140:デフォルトの名無しさん
08/01/16 23:32:34
訂正
誤　;;(valid-proof? x) の定義があると仮定する。ｘが妥当な証明なら'()

正　;;(valid-proof? x) の定義があると仮定する。ｘが妥当な証明でないなら'()

次ページ
続きを表示
1を表示
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch
5393日前に更新/210 KB
担当:undef