@techreport{weko_70277_1,
   author	 = "田中,榮一",
   title	 = "ゲーデル及びチューリング再考",
   year 	 = "2010",
   institution	 = "Kobe University",
   number	 = "12",
   month	 = "sep"
}