研究会・全国大会等
[1] 小島一成, 大久保弘崇, 粕谷英人, 山本晋一郎, "代数データ型によるC言語プログラムのモデル化," 情報処理学会研究報告, volume 2015-SE-187, number 24, pages 1-8 2015年3月.