@techreport{oai:soar-ir.repo.nii.ac.jp:00018317, author = {師玉, 康成}, month = {}, note = {研究種目:基盤研究(B), 研究期間:2010~2013, 課題番号:22300285, 研究代表者:師玉 康成, 研究者番号:20226129, Other, 2010~2013年度科学研究費助成事業(基盤研究(B))研究成果報告書 課題番号:22300285 研究代表者:師玉 康成}, title = {MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発}, year = {2014} }