hakobe932 https://blog.hatena.ne.jp/hakobe932/ はこべにっき ♨ https://hakobe932.hatenablog.com/ 技術書レビュー プログラミング言語の基礎概念 (ライブラリ情報学コア・テキスト)作者: 五十嵐淳出版社/メーカー: サイエンス社発売日: 2011/07メディア: 単行本購入: 6人 クリック: 60回この商品を含むブログ (12件) を見るこの本を読んで学んでる。まだ半分くらいで関数の定義とかについて勉強してる。プログラミング言語の動作を数学的に厳密に記述する方法を順番に教えてくれるという内容で、記述には導出システムが用いられてる。基本的な算術式からはじまって、変数の定義や関数の定義、パターンマッチや型システムなど、様々な言語の機能を推論規則によって定義する方法を教えてくれる。与えられた規則が意味的に意図し… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhakobe932.hatenablog.com%2Fentry%2F2014%2F07%2F13%2F200500" title="プログラミング言語の基礎概念を学んでる - はこべにっき ♨" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://ecx.images-amazon.com/images/I/51PozlQUByL.jpg Hatena Blog https://hatena.blog 2014-07-13 20:05:00 rich https://hakobe932.hatenablog.com/entry/2014/07/13/200500 1.0 100%