"津山勝輝,叢悠悠,増原英彦","型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて","日本ソフトウェア科学会第38回大会",,,,,,2021,Sept.