List of works 研究会・全国大会等[1] 藤田悠矢, 岡野浩三, 楠本真二, "異なるスキーマ間に対応するSQL文の整合性のAlloy Analyzerを用いた一検証手法," 電子情報通信学会技術研究報告, volume 113, number 159, pages 007-012, 2013年7月. 学位論文[1] 藤田悠矢, "JavaにおけるhashCodeメソッドの整合性検査手法の精度に関する調査および改善案の提案," 修士学位論文, 大阪大学, 2015年.