@techreport{weko_61991_1,
   author	 = "小材,健 and 日下部,茂 and 大森,洋一 and 荒木,啓二郎",
   title	 = "測定可能な個人プロセスを対象とした形式手法導入に関する提案",
   year 	 = "2009",
   institution	 = "九州大学大学院システム情報科学府, 九州大学大学院システム情報科学研究院, 九州大学大学院システム情報科学研究院, 九州大学大学院システム情報科学研究院 ",
   number	 = "31(2009-SE-163)",
   month	 = "mar"
}