@techreport{weko_74122_1,
   author	 = "山田,一宏 and 渡部,卓雄 and 森口,草介 and 西崎,真也",
   title	 = "証明支援系を用いたMorrisの二分木走査アルゴリズムの検証",
   year 	 = "2011",
   institution	 = "東京工業大学・大学院情報理工学研究科・計算工学専攻, 東京工業大学・大学院情報理工学研究科・計算工学専攻, 東京工業大学・大学院情報理工学研究科・計算工学専攻, 東京工業大学・大学院情報理工学研究科・計算工学専攻",
   number	 = "26",
   month	 = "mar"
}