| 研究課題/領域番号 |
20K03727
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分12030:数学基礎関連
|
|---|
| 研究機関 | 東京国際工科専門職大学 (2023)
国立情報学研究所 (2020-2022) |
|---|
研究代表者 |
町出 智也 東京国際工科専門職大学, 情報工学科, 講師 (60614526)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2024-03-31
|
| キーワード | 多重ゼータ値 / Boolean多項式 / ガウスの消去法 / 充足可能性問題(SAT) / 彩色問題 / Alon-Tarsi多項式 |
|---|
| 研究成果の概要 |
本研究は、数学に現れる多重ゼータ値と計算機科学における充足可能性問題(Satisfiability problem, SAT)の間に存在する共通の性質を見出し、融合研究を目指した。後者から前者の応用として、多重ゼータ値の関係式のランク計算に成功した。前者から後者の応用として、Boolean 多項式の連立方程式の公式を通じたアルゴリズムの発展に貢献した。応用の際は自然言語処理の知識も利用した。
|
| 自由記述の分野 |
解析的整数論、SAT、自然言語処理
|
| 研究成果の学術的意義や社会的意義 |
本研究では数学の多重ゼータ値と計算機科学のSAT問題の結果を互いに応用した。また応用の際は自然言語処理の知識と経験を用いた。このことは研究の他分野連携を促進する。異なる分野の連携は思いもかけない発展につながる可能性が高く、昨今の大規模言語モデルの隆盛とともに、今後さらなる融合が考えられる。実際、多重ゼータ値の線形関係式の整数係数を mod 2 の条件下（つまり真偽の２値の条件下）で考察した場合、不可思議な法則があることが発見された。
|
