Automatic recognition of theorem environments of mathematical papers in LATEX format
(7ページ)定理は数学の論文の中で最も重要な構成要素である.LaTeXで記述された原稿では,定理をソースコード内で定理環境によりマークアップすることが一般的である.一方で,ソースコードを自動解析して定理部分だけを抜粋することは難しい.そこで,本稿では,定理環境をマクロで修正する手法により,定理の抜粋を実現する方法を提案し,プレプリントを用いた実験により,提案手法が有効であることを確認した.
産業技術大学院大学紀要
Vol. 7pp.81-87