プログラミング言語の基礎概念を学んでる - はこべにっき ♨

プログラミング言語の基礎概念 (ライブラリ情報学コア・テキスト) 作者: 五十嵐淳出版社/メーカー: サイエンス社発売日: 2011/07メディア: 単行本購入: 6人 クリック: 60回この商品を含むブログ (12件) を見る この本を読んで学んでる。まだ半分くらいで関数の定義とかについて勉強してる。 プログラミング言語の動作を数学的に厳密に記述する方法を順番に教えてくれるという内容で、記述には導出システムが用いられてる。基本的な算術式からはじまって、変数の定義や関数の定義、パターンマッチや型システムなど、様々な言語の機能を推論規則によって定義する方法を教えてくれる。与えられた規則が意味的に意図したものを表しているかの証明だけでなく、証明のやり方もくわしく説明されていて丁寧でたすかる。 おもしろいのはこの本のためのオンラインの演習システムというのがあって、本の中で与えられた導出システムに

[kybernetes]

演習システムのURLが変更になってて、検索すると変更前と変更後の両方が出てくるので注意。両方トップページにはアクセスできるんだけど、古い方は演習ができない。

[Pasta-K]

タイトルでもしやと思ったけど、やっぱり五十嵐淳先生だ・・・

[OKU_s62]

後半の問題の導出木を書くのは人間業ではないので、導出木を生成するプログラムを書きましょう

[pongeponge]

『コンパイラの気持ちが体験できる』コンパイラの気持ちを理解したら頭がパンクしそうだ。

[kuy]

コンパイラの気持ち

[komosudare]

pythonのprint()関数の中に\nがデフォで含まれると知り、プログラミング言語自体の構造が気になり検索⇒ヒット。コンパイラの気持ちになる演習問題url付き。コンパイラが翻訳した先は更に別件か…

[yunottinoatama]

＞コンパイラの気持ちが体験できる。

[Jxck]

“コンパイラの気持ちが体験できる。”

[majidaru]

面白そうだけどたぶん読まねーんだろうなー

[hidex7777]

コンパイラの気持ち

[fijixfiji]

「「コンパイラの気持ちが体験できる」」まじか。

[mobiuss]

“の演習システムというのがあって、本の中で与えられた導出システムに基づいて式が正しいことを導出する練習問題をすることができる。サイト内に検証器がうごいていて、自分が与えた導出が正しいかを判定してくれる

[shikiarai]

趣味には良さそう

[amagitakayosi]

証明だか検証だかの講義がこういうノリで死にそうになった気がする

[iaskell]

気が狂いそう

[theatrical]

ホモ・サピエンス型コンパイラに成れる本っぽい

[moznion]

面白そう

[kazuya030]

面白そう！そして安い！！Amazon即買い！！！

[komz]

プログラミング言語の基礎概念を学んでる

[akakit]

「コンパイラの気持ちが体験できる」

[morita_non]

中身あんま理解できてないけど、よい本でした。

[mizchi]

何も書いてないけどOCamlか