Lisp Scheme Part20at TECHLisp Scheme Part20 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト50:デフォルトの名無しさん 08/03/11 01:15:09 >>49 とりあえず見てみます。 あれ読んで理解したら次に計算論入門か計算論読めますか？ 51:デフォルトの名無しさん 08/03/11 01:23:43 >>48 その本は知らないんだけど、ラムダ計算とその意味論に関してだったら、 横内寛文『プログラム意味論』が丁寧かつわかりやすくてよかったですよ。 ただ、このあたりの内容について解説している本はどうしても数学書のスタイル になってしまうので、そういうのにあまりなじみが無いのなら、小野寛晰『情報代数』 あたりをざっと読んでみるのがいいかもしれないです。この本は、理論計算機科学の 文献で使われる基本的な数学的道具立てについて一通り解説してあって、 なかなか便利です。 52:デフォルトの名無しさん 08/03/11 01:24:47 軽装で登山は出来ない。予備知識に何が必要かわかったら読むべき本も自ずと出てくる。 53:デフォルトの名無しさん 08/03/11 01:28:17 実際的なことが好みのようなので、↓にしておけば？ 井田哲雄「プログラミング言語の新潮流」 http://www.amazon.co.jp/dp/4320023773/ 同じ著者で 「計算モデル論入門ーチューリング機械からラムダ計算へ」 というのもあります。これはすごく薄くて簡単な紹介です。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch