 
|
|
|
ウマタニ セイジ
Umatani Seiji 馬谷 誠二 所属 神奈川大学 情報学部 計算機科学科 神奈川大学大学院 理学研究科 理学専攻（情報科学領域） 職種 准教授 |
|
| 発表年月日 | 2024 |
| 発表テーマ | Racket上の多段階計算に基づく抽象解釈器の実装 |
| 発表学会名 | 情報処理学会第86回全国大会 |
| 学会区分 | 全国学会 |
| 発表形式 | 口頭（一般） |
| 単独共同区分 | 共同 |
| 発表者・共同発表者 | 帖佐 龍弥，馬谷 誠二（神奈川大） |
Copyright © Kanagawa University. All Rights Reserved.