mfさんのページ

プログラム意味論をこの本のように展開している日本語の書籍は他になく、この本の形式での勉強をしてみたいと思っています。