Lisp Scheme Part19 ..
[
2ch
|
▼Menu
]
135:デフォルトの名無しさん
08/01/16 21:27:01
>>86
と
>>132
をみてチューリングマシーンが定理証明機だということに初めて気がついた。そういうことだったのか。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5384日前に更新/210 KB
担当:undef