@techreport{weko_74100_1, author = "横山,薫 and 紫合,治", title = "プロブレムフレームによる状態遷移図分析支援システム", year = "2011", institution = "東京電機大学院情報環境学研究科, 東京電機大学情報環境学部", number = "4", month = "mar" }