List of works 研究会・全国大会等[1] 吉岡一樹, 武藤祐子, 岡野浩三, 楠本真二, "JMLによって記述された契約に対する品質評価手法の在庫管理プログラムへの適用," 情報処理学会シンポジウムシリーズ ウィンターワークショップ2012・イン・琵琶湖, volume 2012, number 1, pages 109-110, 2012年1月. [2] 武藤祐子, 岡野浩三, 楠本真二, "JML によって記述された契約に対する品質評価手法 の提案," 情報処理学会関西支部支部大会, 2011年9月.