@article{oai:ipsj.ixsq.nii.ac.jp:00004109,
 author = {田中, 一之 and Tanaka, Kazuyuki},
 issue = {4},
 journal = {情報処理},
 month = {Apr},
 title = {逆計算：計算の理論における逆問題：5. 逆数学と最近の数学基礎論},
 volume = {35},
 year = {1994}
}