コーパス言語学を用いた数式の分析に基づく数式の意味解釈

基于语料库语言学数学表达式分析的数学表达式语义解释

基本信息

批准号：
14J02758
负责人：
渡部孝幸
金额：
$ 1.22万
依托单位：
Shizuoka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2014
资助国家：
日本
起止时间：
2014-04-25 至 2016-03-31
项目状态：
已结题

项目摘要

1. 正規表現を用いた数式検索の実現正規表現を用いた数式検索機能は，本研究の計画当初はコーパス分析のためのツールという位置付けであったが，この機能が結果的に，最も大きな成果として結実した．正規表現とは通常，文字列に対して用いられる機能であり，問い合わせにおいて「任意の1文字」や「文字の繰り返し」などを表現可能にする．本研究では，数式検索において正規表現を利用できるようにした．数式検索で正規表現を利用することで，sinxにもcosxにもマッチするようなパターンを記述したり，「同一の分母を持つ分数同士の足し算」をまとめて検索したりすることができるようになる．数式のコーパスを分析する際には，特定のパターンを有する数式を計数するといった処理が重要な役割を果たすため，この機能は数式の表記の情報から意味の情報を取得するためにも有用なものである．この成果は，情報処理学会の論文誌にジャーナル論文として掲載された．さらに，検索に関連する成果を2つの国際会議において発表した．2. コーパスを用いた意味推定のフレームワーク構築数式の表記の情報から意味の情報を得る手法も提案および実装し，実際に意味の情報を得ることができた．表記の情報と意味の情報を対応付けたコーパスを用意し，コーパス中の数式に対して機械学習におけるランダムフォレストと呼ばれる手法を用いることで分類器（意味推定器）を構築するという方法を用いた．この方法で得られた分類器に対して表記の情報を入力すると，意味の情報が出力される．分類器の構築方法および分類器の性能評価の結果は，国際会議において発表を行った．意味推定のフレームワークは，コーパス中のデータの増加に応じて推定の精度や対応可能な数式記号の多様性が増していくようになっている．このため，今後研究室としてデータの拡充に取り組むことで，意味推定がさらに発展していくことが見込まれる．

1。使用正则表达式实施公式搜索的实施公式搜索功能使用正则表达式定位为最初计划研究时的语料库分析工具，但此功能是最大的结果。正则表达式是通常用于字符字符串的函数，允许表达式在诸如“任何单个字符”或“字符重复”之类的查询中表达。在这项研究中，可以在数学搜索中使用正则表达式。通过在公式搜索中使用正则表达式，您可以编写与Sinx和CoSX匹配的模式，并同时搜索“与同一分母的添加”。当分析数学公式的语料库时，处理诸如特定模式的处理诸如计数公式之类的处理起着重要作用，因此此功能也可用于从数学公式表示中获取信息中的语义信息。该结果在信息处理协会的论文中作为期刊文章发表。此外，在两个国际会议上提出了与搜索有关的结果。 2。使用语料库构建语义估计框架，我们还提出并实施了一种从有关数学公式符号的信息中获取语义信息的方法，并能够实际获取语义信息。准备了一个语料库，该语料库被用来将信息与语义信息联系起来，并使用一种在语料库中用于数学表达式的机器学习中称为随机森林的方法来构建分类器（概要估计器）。当您将符号信息输入使用此方法获得的分类器时，输出语义信息。在国际会议上介绍了构建分类器的方法和分类器绩效评估的结果。随着语料库中的数据的增加，语义估计框架越来越有可能提高估计的准确性和兼容数学符号的多样性。因此，可以预期，随着实验室将来扩展数据的工作，语义估计将进一步发展。

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

A Method for Representing Mathematical Expressions as Words in Natural Language

一种将数学表达式表示为自然语言单词的方法

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
Takayuki Watabe;Yoshinori Miyazaki
通讯作者：
Yoshinori Miyazaki

Diagramming Mathematical Proofs Based on Logical Structures for Learners

为学习者绘制基于逻辑结构的数学证明图

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
Takayuki Watabe;Yoshinori Miyazaki
通讯作者：
Yoshinori Miyazaki

英文汎化における語の品詞化と構文木の非冗長化

英语泛化中的词性与解析树非冗余

DOI：
发表时间：
2016
期刊：
統計数理研究所共同研究リポート
影响因子：
0
作者：
渡部孝幸;田中省作;宮崎佳典
通讯作者：
宮崎佳典

構文構造と共起性を考慮した英文汎化手法

考虑句法结构和共现的英语句子泛化方法

DOI：
发表时间：
2015
期刊：
統計数理研究所共同研究リポート
影响因子：
0
作者：
渡部孝幸;田中省作;宮崎佳典
通讯作者：
宮崎佳典

Evaluation of a Graphical User Interface for Retrieval of Mathematical Expressions

用于检索数学表达式的图形用户界面的评估

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
渡部孝幸;宮崎佳典;Takayuki Watabe
通讯作者：
Takayuki Watabe

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

渡部孝幸其他文献

カリキュラムマップを用いた成績評価に基づく学習成果の可視化(1)科目の到達目標からのボトムアップアプローチ

基于课程地图表现评估的学习成果可视化（1）从科目成绩目标出发的自下而上的方法

DOI：
发表时间：
2013
期刊：
新潟大学高等教育研究
影响因子：
0
作者：
渡部孝幸;田中省作;宮崎佳典;後藤康志,丸山裕輔,間嶋雅樹,雑賀真澄;後藤　康志;椎名久美子;五十嵐由利子・中村和吉・高木幸子・高橋桂子・山口智子・杉村桃子・生田孝至・後藤康志・佐藤喜一
通讯作者：
五十嵐由利子・中村和吉・高木幸子・高橋桂子・山口智子・杉村桃子・生田孝至・後藤康志・佐藤喜一

基本句を考慮したn-gram の計数

考虑基本短语计算 n 元语法

DOI：
发表时间：
2013
期刊：
影响因子：
0
作者：
渡部孝幸;田中省作;宮崎佳典;後藤康志,丸山裕輔,間嶋雅樹,雑賀真澄;後藤　康志;椎名久美子;五十嵐由利子・中村和吉・高木幸子・高橋桂子・山口智子・杉村桃子・生田孝至・後藤康志・佐藤喜一;有田博之・粟生田忠雄・大橋慎太郎・権田豊・箕口秀夫・村上拓彦・山下沙織・生田孝至・後藤康志・佐藤喜一;田中省作
通讯作者：
田中省作

カリキュラムマップを用いた成績評価に基づく学習成果の可視化(2)

使用课程地图基于绩效评估的学习成果可视化 (2)

DOI：
发表时间：
2013
期刊：
新潟大学高等教育研究
影响因子：
0
作者：
渡部孝幸;田中省作;宮崎佳典;後藤康志,丸山裕輔,間嶋雅樹,雑賀真澄;後藤　康志;椎名久美子;五十嵐由利子・中村和吉・高木幸子・高橋桂子・山口智子・杉村桃子・生田孝至・後藤康志・佐藤喜一;有田博之・粟生田忠雄・大橋慎太郎・権田豊・箕口秀夫・村上拓彦・山下沙織・生田孝至・後藤康志・佐藤喜一
通讯作者：
有田博之・粟生田忠雄・大橋慎太郎・権田豊・箕口秀夫・村上拓彦・山下沙織・生田孝至・後藤康志・佐藤喜一