@techreport{weko_58560_1,
   author	 = "清木昌",
   title	 = "ゲームシナリオのモデル検査",
   year 	 = "2004",
   institution	 = "東京大学大学院情報理工学系研究科",
   number	 = "28(2003-GI-011)",
   month	 = "mar"
}