Lisp Scheme Part20
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞの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/ 同じ著者で 「計算モデル論入門ーチューリング機械からラムダ計算へ」 というのもあります。これはすごく薄くて簡単な紹介です。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5385日前に更新/87 KB
担当:undef