サイトウ タカミチ
Saito Takamichi
齋藤 孝道
所属
明治大学 理工学部
職種
専任教授
言語種別
日本語
発行・発表の年月
1998/09
形態種別
その他
標題
CafeOBJ による型推論システムの記述と自動検証の試み（研究報告）
執筆形態
その他
著者・共著者
日本ソフトウエア科学会第15回大会 論文集 pp.225-228