Lisp Scheme Part22
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
50:デフォルトの名無しさん 08/05/23 22:07:43 あちこち見た結果、>>23が正解らしい。でもなぜ？ 51:デフォルトの名無しさん 08/05/23 22:08:23 少なくとも一方は○○ と どちらか一方は○○ は違いますよね？ 52:デフォルトの名無しさん 08/05/23 22:11:47 >>41や>>48はrequireが２つなのに、>>23には３つあるんだよな。 文章からココを読み取れるかどうかが論理プログラミングの難しいところか。 53:デフォルトの名無しさん 08/05/23 22:14:48 >>51 なら>>41と>>48が同じ答になるのは何故？ 54:デフォルトの名無しさん 08/05/23 22:17:33 答えに合わせてプログラミングしてるように見えるのは気のせいですか？ 55:デフォルトの名無しさん 08/05/23 22:25:39 >>54 それは違う。 論理的帰結としてrequireになることがわかった枝をこのschemeの論理プログラムでは自動的に修正できない。 そこで、プログラマーが自分でその枝をrequireにしてやらなければならない。 半自動定理証明を調べてみろ。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
4738日前に更新/247 KB
担当:undef