@article{weko_4109_1,
   author	 = "田中,一之",
   title	 = "逆計算：計算の理論における逆問題：5. 逆数学と最近の数学基礎論",
   journal	 = "情報処理",
   year 	 = "1994",
   volume	 = "35",
   number	 = "4",
   month	 = "apr"
}