@techreport{weko_94191_1,
   author	 = "野田,夏子 and 岡野,浩三 and 早水,公二 and 戸田,航史 and 上野,秀剛 and 石尾,隆 and 林,晋平 and 妻木,俊彦 and 中村,匡秀 and 岸,知二 and 本橋,正成 and 鷲崎,弘宜",
   title	 = "ウィンターワークショップ２０１３・イン・那須報告",
   year 	 = "2013",
   institution	 = "芝浦工業大学, 大阪大学, フォーマルテック/産総研, 福岡工業大学, 奈良工業高等専門学校, 大阪大学, 東京工業大学, 国立情報学研究所, 神戸大学, 早稲田大学, 合同会社カルチャーワークス／東京工業大学, 早稲田大学",
   number	 = "11",
   month	 = "jul"
}