著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"井田, 哲雄",求解、証明、書換のインタラクションによる記号計算と記号計算グリットの構築,,[井田哲雄],2008,科学研究費補助金(基盤研究(B))研究成果報告書,,,,https://cir.nii.ac.jp/crid/1130000794169239808