- 論文誌
- [1] 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "モデル生成法に基づくJavaScriptプログラム型検査の機械実行," 電子情報通信学会論文誌, volume J89-D, number 4, pages 693-704 2006年4月.
- 国内会議(査読付き)
- [1] 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "モデル生成に基づくJavaScriptプログラムの型検査系の構築について," 第9回プログラミングおよびプログラミング言語ワークショップ論文集, pages 77-88 2007年3月. [50.pdf]
- 研究会・全国大会等
- [1] 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "モデル生成に基づく JavaScriptプログラム型検査のためのフロントエンド," 信学技報, volume 104, number 242(ISSN 0913-5685), pages 41--46 2004年8月. [2.pdf]
- [2] 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "形式的手法に基づく JavaScriptプログラムの型検査系の実現," 信学技報, volume 104, number 47(ISSN 0913-5685), pages 13--18 2004年5月. [3.pdf]
