@techreport{oai:tsukuba.repo.nii.ac.jp:00021461,
 author = {坪井, 明人},
 month = {},
 note = {科学研究費補助金(基盤研究C)研究成果報書：2007-2009
課題番号：19540111},
 title = {１階言語で定義された算術理論のモデルの研究とその応用},
 year = {2010},
 yomi = {ツボイ, アキト}
}