2015 Fiscal Year Final Research Report
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
|
| Keywords | 形式化 / 情報理論 / 符号理論 / LDPC符号 / 誤り訂正符号 |
|---|
| 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.
|
| Free Research Field |
符号理論
|
