Formalization on Modern Coding Theory
| Project/Area Number |
25289118
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Partial Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Communication/Network engineering
|
|---|
| Research Institution | Chiba University |
|---|
Principal Investigator |
Hagiwara Manabu 千葉大学, 理学(系)研究科(研究院), 准教授 (80415728)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
Reynald Affeldt 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 主任研究員 (40415641)
KASAI Kenta 東京工業大学, 理工学研究科, 准教授 (70431997)
KUZUOKA Shigeaki 和歌山大学, システム工学部, 准教授 (60452538)
Garrigue Jacques 名古屋大学, 多元数理科学研究科, 准教授 (80273530)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
MIZOGUCHI Yoshihiro 九州大学, マス・フォア・インダストリ研究所, 准教授 (80209783)
|
|---|
| Research Collaborator |
NATION James B.
OBI Ryosuke
NAKANO Kyosuke
SAIKAWA Takafumi
|
|---|
| Project Period (FY) |
2013-04-01 – 2016-03-31
|
| Project Status |
Completed (Fiscal Year 2015)
|
| Budget Amount *help |
¥17,030,000 (Direct Cost: ¥13,100,000、Indirect Cost: ¥3,930,000)
Fiscal Year 2015: ¥6,500,000 (Direct Cost: ¥5,000,000、Indirect Cost: ¥1,500,000)
Fiscal Year 2014: ¥6,760,000 (Direct Cost: ¥5,200,000、Indirect Cost: ¥1,560,000)
Fiscal Year 2013: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
|
|---|
| Keywords | 形式化 / 情報理論 / 符号理論 / LDPC符号 / 誤り訂正符号 / ＬＤＰＣ符号 / 空間結合ＬＤＰＣ符号 / モダン符号理論 / マスデジタリゼーション / モダン符号 / 密度発展法 / ssreflect / Coq / 型理論 / 疎 |
|---|
| Outline of Final Research Achievements |
To formalize modern coding theory, our research formalized "(spatially coupled) LDPC codes", "sum-product decoding algorithm" and related topics and also developed related theories. For example, we formalized channel capacities over BEC and BSEC, properties of stopping set, and Reed-Solomong codes and Euclidean decoding algorithm. We have organized workshops and open our result through web-sites.
|
Report
(4 results)
Research Products
(46 results)
