- 論文誌
- [1] 竹内亮太郎, 粕谷英人, 大久保弘崇, 山本晋一郎, "モデル検査における妥当性確認を目的とした並行システムの表現手法," コンピュータソフトウェア, volume 28, number 1, pages 293-299 2011年. [desc]
- 国内会議(査読付き)
- [1] 竹内亮太郎, 粕谷英人, 大久保弘崇, 山本晋一郎, "モデル検査における妥当性確認を目的とした並行システムの表現手法," ソフトウェア工学の基礎XVI, volume 35, pages 119-130 2009年11月. [70.pdf]
- 研究会・全国大会等
- [1] 竹内亮太郎, 大久保弘崇, 粕谷英人, 山本晋一郎, "空欄補充問題の自動生成によるHaskellプログラミング学習支援環境," 情報処理学会研究報告, volume 2011-SE-171, number 15 , 2011年3月. [desc]
- 修士論文
- [1] 竹内亮太郎, "空欄補充問題の自動生成によるHaskellプログラミング学習支援環境," 修士学位論文, 愛知県立大学大学院, 2010年.
