@inproceedings{oai:shizuoka.repo.nii.ac.jp:00013424,
 author = {宮崎, 佳典 and 新谷, 誠},
 book = {情報学シンポジウム2020},
 month = {Dec},
 note = {application/pdf},
 publisher = {情報学シンポジウム2020実行委員会},
 title = {数式検索技術を核とした数学学習援用システムのプロトタイプ開発（研究の進捗発表（シニア（静岡大学情報学部Sプロジェクト）, 既発表））},
 volume = {2020},
 year = {2020}
}