Automatic recognition of theorem environments of mathematical papers in LATEX format

(7ページ)
定理は数学の論文の中で最も重要な構成要素である．LaTeXで記述された原稿では，定理をソースコード内で定理環境によりマークアップすることが一般的である．一方で，ソースコードを自動解析して定理部分だけを抜粋することは難しい．そこで，本稿では，定理環境をマクロで修正する手法により，定理の抜粋を実現する方法を提案し，プレプリントを用いた実験により，提案手法が有効であることを確認した．

産業技術大学院大学紀要

Vol. 7pp.81-87