1冊
日本の計算機科学者。ラムダ計算と計算論の研究・教育に携わった。
1件
当サイトは Amazon.co.jp アソシエイトおよび楽天アフィリエイトのプログラム参加者です。書籍ページの購入リンクから商品が購入された場合、当サイトが紹介料を受け取ることがあります。