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

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

• 批准号: 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. 创建示例问题集和求解器评估：我们从问答网站等在线资源收集了 820 个使用骰子或球的概率/期望值问题，并创建了示例问题集。当我使用我创建的求解器来解决这个问题集时，我能够正确解决 87% 的问题。无法解决的问题大致是（a）涉及共指的问题，（b）包括清楚表达复杂情况（例如“交替”）的问题，以及（c）涉及多个不同骰子的问题（产品事件问题）。 ）。