1冊
日本の計算機科学者。京都大学教授でプログラミング言語の意味論と型理論を専門とする。
1件
当サイトは Amazon.co.jp アソシエイトおよび楽天アフィリエイトのプログラム参加者です。書籍ページの購入リンクから商品が購入された場合、当サイトが紹介料を受け取ることがあります。