@techreport{oai:tsukuba.repo.nii.ac.jp:00028249,
 author = {井田, 哲雄 and IDA, TETSUO},
 month = {},
 note = {科学研究費助成事業(科学研究費補助金)研究成果報告書：基盤研究(B)2008-2011
課題番号：20300001},
 title = {記号計算の理論を駆使したウェブソフトウェアのモデル化と検証},
 year = {2012},
 yomi = {イダ, テツオ}
}