Lisp Scheme Part19at TECHLisp Scheme Part19 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト150:デフォルトの名無しさん 08/01/17 00:38:48 ゲーデルとチューリングってバカの壁ってことを言ってるのか。なんか意外だなぁw 151:デフォルトの名無しさん 08/01/17 00:42:36 バカの壁という概念は数学的には無限ループなのです。 152:デフォルトの名無しさん 08/01/17 01:10:59 量子論的にはどんな壁でもすり抜けられるけどね。 153:デフォルトの名無しさん 08/01/17 01:34:23 確率が低いだけだな 154:デフォルトの名無しさん 08/01/17 01:38:18 本当によくわからないんです>< 155:デフォルトの名無しさん 08/01/17 09:54:11 関数型初心者→Haskellかじって→SICP読み始める→Scheme素晴らしい な人間ですが、Lisperから見たとき、Haskellってどんな印象なんでしょうか。 156:デフォルトの名無しさん 08/01/17 10:16:02 止まるなら止まる 止まらないかもしれないと止まらないかもしれないと止まらないかもしれないと.... という「半アルゴリズム」なんだな 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch