2021年9月2日 型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて, 日本ソフトウェア科学会第38回大会 津山勝輝, 叢悠悠, 増原英彦 開催年月日 2021年9月1日 - 2021年9月3日 記述言語 日本語 会議種別 ポスター発表