@techreport{weko_101699_1,
   author	 = "川崎,涼 and 西村,治道",
   title	 = "局所ハミルトニアンの非冗長性の計算量",
   year 	 = "2014",
   institution	 = "名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科",
   number	 = "12",
   month	 = "jun"
}