Lisp Scheme Part19at TECHLisp Scheme Part19 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト100:デフォルトの名無しさん 08/01/15 21:50:27 >>96 ホフスタッターの本にそんなのあったね。 あった！「メタ、マジックゲーム」ｐ４４５ 「ゲーデルはリスプ(Lisp）を思いついておくべきだった。 もし彼がリスプを思いついていたならば．．．」 101:デフォルトの名無しさん 08/01/15 22:12:48 >>97 > >>93 > うるさいことを言うと、URLの中の ~ はエスケープしなければいけないという「規格」になっておる。 RFC 1738 ではそうですね。 URI (RFC 2396) ではおkです。 102:デフォルトの名無しさん 08/01/15 22:14:20 みんな学があるなあ 103:デフォルトの名無しさん 08/01/15 22:47:42 学々古々 104:デフォルトの名無しさん 08/01/15 23:01:11 >>95 「知の限界」読み直してみようと思う。ｐ７１のLISPによるゲーデルの証明、 これSchemeで書きなおせるかやってみる。 チャイティンの書いたLispインタープリタってネットで公開されていたような... 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch