| Project/Area Number |
22KJ0344
|
|---|
| Project/Area Number (Other) |
21J00593 (2021-2022)
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Multi-year Fund (2023)
Single-year Grants (2021-2022) |
|---|
| Section | 国内 |
|---|
| Review Section |
Basic Section 60010:Theory of informatics-related
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
角田 有 筑波大学, システム情報系, 特別研究員(PD)
|
|---|
| Project Period (FY) |
2023-03-08 – 2024-03-31
|
| Project Status |
Completed (Fiscal Year 2023)
|
| Budget Amount *help |
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2023: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2022: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2021: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Keywords | 確率的組合せ論 / 極値集合論 / 符号理論 / 自己同期符号 / ブロック符号 / アルゴリズム / グループテスト / 情報理論 / DSS |
|---|
| Outline of Research at the Start |
物事を数学的に抽象化し、事象の理論限界を、曖昧性を介在させることなく厳密に明らかにすることは、科学の発展において非常に重要かつ基本的な問題の一つである。本研究では、この理論限界の追求という観点から、極値集合論と呼ばれる、与えられた条件を極限状態で達成する集合を考究する離散数学とそこで中心的役割を果たす確率的組合せ論並びにその情報科学への応用を研究する。
（本研究課題は研究課題（課題番号：21J00593）の継続課題であるが、特別研究員奨励費が基金化したことに伴い、基金課題として改めて新たに課題番号が付番された。そのため、本研究の概要として研究課題（課題番号：21J00593）の概要を引用した。）
|
| Outline of Annual Research Achievements |
本研究課題では、理論限界の追求という観点から、極値集合論と呼ばれる、与えられた条件を満たす最大あるいは最小の集合を考究する離散数学とそこで中心的役割を果たす確率的組合せ論を、情報科学における符号理論分野での応用を探求することを主眼に、情報科学と離散数学の境界領域において活発に研究を行なった。
本研究では特に、その問題解決により他の問題への波及効果が見込まれる離散構造に焦点を当て、具体的には weak superimposed 符号や自己同期符号等の離散構造に関して、理論限界や構成アルゴリズムを導出している。
最終年度の研究では、情報通信において、シンボルレベルでの同期がすでに取れているという前提の下で、フレームと呼ばれる意味ごとの区切り間の境界を検出するためのフレーム同期の問題に取り組んだ。伝送率を大きく犠牲にしてしまう空白等の特殊文字の使用や、文脈に頼ることなく、機械的にフレーム同期を可能とする符号は自己同期符号と呼ばれる。この符号については、代数学が特に有効であるような限られた状況のみを考察する研究が盛んに進んでいる一方で、現実的な時間で符号化と復号が可能なものはそのほとんどが非常に低い伝送率か、あるいは雑音に対して弱いものしか知られていなかった。
本研究では、50年以上未解決であった、Levenshtein 限界と呼ばれる符号理論の限界式が漸近的に達成可能であるかという歴史的問題を確率的組合せ論により肯定的に解決することにより、実用的な自己同期符号の効率的構成アルゴリズムを、漸近的に達成可能な範囲にある任意の伝送率と任意の誤り訂正能力について提示することができた。
|
