目次
第１部 導出システム入門（自然数の加算・乗算・比較；メタ定理と帰納法による証明）
第２部 ＭＬの操作的意味論（整数・真偽値式の評価；定義、変数束縛と環境；関数と再帰；静的有効範囲と名前無し表現；リストとパターンマッチング）
第３部 ＭＬの型システム（単純型システム；多相的型システム；型推論）
著者等紹介
五十嵐淳［イガラシアツシ］
１９９５年東京大学理学部情報科学科卒業。２０００年東京大学大学院理学系研究科情報科学専攻博士課程修了博士（理学）。東京大学総合文化研究科助手。２００２年京都大学大学院情報学研究科講師。２００６年京都大学大学院情報学研究科助教授。現在、京都大学大学院情報学研究科准教授（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
きりん
1
オンライン演習がとても良い2019/01/15
ashiato45
1
プログラミング言語(ML系)の操作的意味論や型付けについての本。この手の導出木を書くやつは誤解しても気づかずにそのままになりがちだが、この本の演習問題は採点システムと共に著者のウェブサイトで公開されているのでそのような心配なく安心して導出の練習ができる。また、著者ウェブサイトでさらに追加の題材として継続、参照、Whileが提供されている。継続はいままで「計算の残り」としか説明されなくて、なんのことだかさっぱりだったのだが、フォーマルな意味を与えてもらって理解が大分深まった気がする。演習は全部解きました。2018/10/14
センケイ (線形)
1
言語学の意味論との堀の深さへのショックは隠せないが、この本の緻密さはその違いと課題を高い解像度で示してくれ、具体的に橋渡しを考えていく上での必須の部分を網羅してくれているよう感じられる。前から気になっていたOCamlをベースとして書かれていたため、表面だけでもその特質を知れたのも嬉しい。最後の方ほど難しく、恥ずかしながら完全には分かってない部分もあるが、特定章に特化したより詳しい文献を探すのも楽しみになった。2017/12/31
ゴミ人間
0
よかった2017/02/26
jiroukaja
0
GW関数言語勉強1冊目読了2015/05/04
