@techreport{weko_182263_1,
   author	 = "中島,震",
   title	 = "形式手法通論カリキュラム：立案と実施の経験",
   year 	 = "2017",
   institution	 = "国立情報学研究所／総合研究大学院大学",
   number	 = "1",
   month	 = "jun"
}