@article{oai:matsuyama-u-r.repo.nii.ac.jp:00000707,
 author = {墨岡, 学 and Sumioka, Manabu},
 issue = {6},
 journal = {松山大学論集, Matsuyama University review},
 month = {Feb},
 note = {5, KJ00004262789, 論説, Article},
 pages = {53--68},
 title = {A Programmer's View of Trusting Programs on Pure Mathematics},
 volume = {10},
 year = {1999},
 yomi = {スミオカ, マナブ}
}