論文

基本情報

氏名 長尾 雄行
氏名(カナ) ナガオ タケユキ
氏名(英語) NAGAO, Takeyuki
所属 政策情報学部
職名 准教授
researchmap研究者コード
researchmap機関

題名

Automatic recognition of theorem environments of mathematical papers in LATEX format

単著・共著の別

単著

概要

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

発行雑誌等の名称

産業技術大学院大学紀要

巻・号・掲載ページ(移行用)

Vol. 7pp.81-87

発行又は発表の年月

2013/12