| 研究課題/領域番号 |
22KJ0344
|
|---|
| 補助金の研究課題番号 |
21J00593 (2021-2022)
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 基金 (2023)
補助金 (2021-2022) |
|---|
| 応募区分 | 国内 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 筑波大学 |
|---|
研究代表者 |
角田 有 筑波大学, システム情報系, 特別研究員(PD)
|
|---|
| 研究期間 (年度) |
2023-03-08 – 2024-03-31
|
| 研究課題ステータス |
完了 (2023年度)
|
| 配分額 *注記 |
3,640千円 (直接経費: 2,800千円、間接経費: 840千円)
2023年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2022年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2021年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
|
|---|
| キーワード | 確率的組合せ論 / 極値集合論 / 符号理論 / 自己同期符号 / ブロック符号 / アルゴリズム / グループテスト / 情報理論 / DSS |
|---|
| 研究開始時の研究の概要 |
物事を数学的に抽象化し、事象の理論限界を、曖昧性を介在させることなく厳密に明らかにすることは、科学の発展において非常に重要かつ基本的な問題の一つである。本研究では、この理論限界の追求という観点から、極値集合論と呼ばれる、与えられた条件を極限状態で達成する集合を考究する離散数学とそこで中心的役割を果たす確率的組合せ論並びにその情報科学への応用を研究する。
（本研究課題は研究課題（課題番号：21J00593）の継続課題であるが、特別研究員奨励費が基金化したことに伴い、基金課題として改めて新たに課題番号が付番された。そのため、本研究の概要として研究課題（課題番号：21J00593）の概要を引用した。）
|
| 研究実績の概要 |
本研究課題では、理論限界の追求という観点から、極値集合論と呼ばれる、与えられた条件を満たす最大あるいは最小の集合を考究する離散数学とそこで中心的役割を果たす確率的組合せ論を、情報科学における符号理論分野での応用を探求することを主眼に、情報科学と離散数学の境界領域において活発に研究を行なった。
本研究では特に、その問題解決により他の問題への波及効果が見込まれる離散構造に焦点を当て、具体的には weak superimposed 符号や自己同期符号等の離散構造に関して、理論限界や構成アルゴリズムを導出している。
最終年度の研究では、情報通信において、シンボルレベルでの同期がすでに取れているという前提の下で、フレームと呼ばれる意味ごとの区切り間の境界を検出するためのフレーム同期の問題に取り組んだ。伝送率を大きく犠牲にしてしまう空白等の特殊文字の使用や、文脈に頼ることなく、機械的にフレーム同期を可能とする符号は自己同期符号と呼ばれる。この符号については、代数学が特に有効であるような限られた状況のみを考察する研究が盛んに進んでいる一方で、現実的な時間で符号化と復号が可能なものはそのほとんどが非常に低い伝送率か、あるいは雑音に対して弱いものしか知られていなかった。
本研究では、50年以上未解決であった、Levenshtein 限界と呼ばれる符号理論の限界式が漸近的に達成可能であるかという歴史的問題を確率的組合せ論により肯定的に解決することにより、実用的な自己同期符号の効率的構成アルゴリズムを、漸近的に達成可能な範囲にある任意の伝送率と任意の誤り訂正能力について提示することができた。
|
