Lisp Scheme Part19
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このスレッドのURL
■項目テキスト
100:デフォルトの名無しさん 08/01/15 21:50:27 >>96 ホフスタッターの本にそんなのあったね。 あった!「メタ、マジックゲーム」p445 「ゲーデルはリスプ(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 「知の限界」読み直してみようと思う。p71のLISPによるゲーデルの証明、 これSchemeで書きなおせるかやってみる。 チャイティンの書いたLispインタープリタってネットで公開されていたような...
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック!
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5373日前に更新/210 KB
担当:undef