テキストを実行可能なプログラムに変換するための基本技術の探究

探索将文本转换为可执行程序的基本技术

• 批准号: 22K19811
• 负责人: 佐藤 理史
• 金额: $ 3.99万
• 依托单位: Nagoya University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Challenging Research (Exploratory)
• 财政年份: 2022
• 资助国家: 日本
• 起止时间: 2022-06-30 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K19811/
• 关键词: 自然言語処理; 条件記述; 確率・期待値の文章題; 条件分岐; 名付け

本年度は以下の研究を行なった。1. 条件記述を構成する要素の整理：確率・期待値問題を解くためには、事象を規定する条件記述の日本語表現を実行可能なプログラムコードに変換することが必要となる。条件記述を構成する要素を、まず、属性値、属性名、述語、数値演算、制約表現、並列表現の6種類に大分類し、中分類16種類、詳細分類20種類となる分類体系を設計した。2. 文脈自由文法によるコード合成：条件記述をコードに変換する過程を構文解析過程としてモデル化し、それを実現する辞書規則・構文規則を定義した。この体系は、組み立てるべきコードの型情報を非終端記号に用いる点に特徴がある。文法は、詳細分類に対応する辞書規則と、120個の構文規則から構成される。3. 確率・期待値問題ソルバーの作成：サイコロまたは玉を題材とした確率・期待値問題を解くプログラムを作成した。まず、問題文を簡単なパターンマッチングで分解したのち、そこに含まれる条件記述を抜き出して、これをコードに変換する。そして、このコードを実行することにより、答を求める。4. 例題集の作成とソルバーの評価：Q＆Aサイトなどのオンラインソースからサイコロまたは玉を題材とした確率・期待値問題820題を収集し、例題集を作成した。作成したソルバーでこの例題集と解かせたところ、87%の問題を正しく解くことができた。解くことができなかった問題は、大きく(a)共参照を含む問題、(b)「交互に」などの複雑な状況を端的に表す表現を含む問題、(c)異なる複数のサイコロを含む問題（積事象の問題）、の3種類に分類される。

今年，我们进行了以下研究：1。组织构成条件描述的元素：要解决概率/期望值问题，有必要将将事件定义为可执行程序代码定义的条件描述的日语表达式转换。构成条件描述的元素首先被广泛地分为六种类型：属性值，属性名称，谓词，数值操作，约束和并行表达式，并且分类系统旨在包括16个中等分类和20个详细的分类。 2。使用无上下文语法的代码综合：将条件描述转换为代码的过程被建模为句法分析过程，并定义了字典规则和语法规则以实现这一点。该系统的特征是使用代码的类型信息将其作为非末端符号组装。语法由与详细的分类和120个语法规则相对应的字典规则组成。 3。创建一个概率/期望值问题解决者：创建一个程序来根据骰子或球解决概率/期望值问题。首先，问题语句用简单的模式匹配分解，然后提取其中包含的条件语句，然后将其转换为代码。然后，通过执行此代码，可以获得答案。 4.创建一个示例问题收集和评估求解器：从Q＆A网站等在线来源收集了基于骰子或球的820个概率和预期价值问题，并创建了一个示例问题收集。当我使用我创建的求解器解决此示例问题收集时​​，我能够正确解决87％的问题。无法解决的问题可以广泛分为三种类型：（a）包括共同参考的问题，（b）包括代表“交替”等复杂情况的简单表达式的问题，以及（c）涉及多个不同DICE的问题（事件问题）。