@techreport{weko_69644_1, author = "岸,知二", title = "モデル検査のための設計モデル構築手法に関する考察", year = "2010", institution = "早稲田大学", number = "9", month = "may" }