スミイ, エイジロウ
住井, 英二郎

著者名典拠詳細を表示

著者の属性 個人
一般注記 SRC:プログラム意味論の基礎 / 小林直樹, 住井英二郎共著 (サイエンス社, 2020.8) の奥付による
2000年, 東京大学大学院理学系研究科修士課程修了
東北大学大学院情報科学研究科教授
博士 (情報理工学)
コード類 典拠ID=AU20112119  NCID=DA19551757
1 プログラム意味論の基礎 / 小林直樹, 住井英二郎共著 東京 : サイエンス社 , 2020.8