Hagiwara Manabu 萩原学

… Alternative Names

HAGIWARA Manabu 萩原学

HAGIHARA Manabu 萩原学

Less

Researcher Number	80415728
Other IDs
Affiliation (Current)	2025: 千葉大学, 大学院理学研究院, 教授
Affiliation (based on the past Project Information) *help	2020 – 2024: 千葉大学, 大学院理学研究院, 教授 2017 – 2019: 千葉大学, 大学院理学研究院, 准教授 2016: 千葉大学, 大学院理学研究科, 准教授 2013 – 2016: 千葉大学, 理学(系)研究科(研究院), 准教授 2015: 千葉大学, 理学研究科, 准教授 … More 2014: 千葉大学, 大学院理学研究科, 准教授 2010 – 2011: 独立行政法人産業技術総合研究所, 情報セキュリティ研究センター, 研究員 2008: National Institute of Advanced Industrial Science and Technology, 情報セキュリティ研究センター, 研究員 2007: National Institute of Advanced Industrial Science and Technology, 情報セキュリティ研究センター, 研究員 2006: 独立行政法人産業技術総合研究所, 情報セキュリティ研究センター, 研究員 Less
Review Section/Research Field	Principal Investigator Communication/Network engineering / Basic Section 60010:Theory of informatics-related / Basic Section 21020:Communication and network engineering-related / Theory of informatics / Fundamental theory of informatics Except Principal Investigator Communication/Network engineering / Algebra / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator 符号理論 / 組合せ論 / LDPC符号 / 挿入／削除符号 / 削除誤り / 削除符号 / Coq / 誤り訂正符号 / 情報理論 / 形式化 … More / 量子誤り訂正符号 / 量子挿入符号 / 量子削除符号 / 平面配置 / 量子情報 / MDS符号 / マルチ削除 / 誤り訂正 / Knill-Laflamme条件 / 量子挿入誤り / 量子削除誤り / 挿入誤り / 量子符号 / 量子誤り訂正 / ミヌスクル半順序集合 / 表現論的組合せ論 / Weyl群 / リー理論 / d-完全半順序集合 / ディンキン図 / ルート系 / 挿入 / ミヌスクル表現 / ワイル群 / 削除 / 削除誤り訂正符号 / 自動翻訳 / SSReflect / シャノン理論 / 情報源符号化 / 定理証明 / Python / Proviola / Coqtop / 疎 / 型理論 / ssreflect / 密度発展法 / モダン符号 / マスデジタリゼーション / モダン符号理論 / 空間結合ＬＤＰＣ符号 / ＬＤＰＣ符号 / Burnsideの補題 / グラフの同型群 / SFA LDPC符号 / 重み分布 / 検出不可能誤り / ワード誤り率 / 確率伝搬 / Sum-Product復号 / 擬似巡回LDPC符号 / 疑似巡回LDPC符号 / 疑似巡回符号 / 量子LDPC符号 / 低密度パリティ検査符号 / CSS符号 … More Except Principal Investigator 符号理論 / 組合せ論 / 誤り訂正符号 / 同期誤り訂正 / 同期誤り / シューア関数 / hook公式 / 同変K-理論 / Hall-Littlewood函数 / Schur函数 / Casselman問題 / 退化跡 / シューア函数 / 一般コホモロジー / グラスマン多様体 / 対称函数 / 同変K理論 / 同変コホモロジー / シューベルト・カルキュラス / 一般相対化ランク重み / 一般相対化ハミング重み / ハミング重み / 相対一般化ハミング重み / 情報セキュリティ / 情報理論 / 量子秘密分散 / コセット符号化 / 線形符号 / 量子情報 / 量子計算 / ネットワーク符号化 / セキュアネットワーク符号化 / 秘密分散 / デザイン / 組合せデザイン / 格子 / 自己双対符号 / 代数的符号理論 Less

Generalizations of noisy quantum channels and constructions on quantum error-correcting codes for the channelPrincipal Investigator
- Principal Investigator
  
  萩原学
- Project Period (FY)
  2021 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Chiba University
Study on Insertion/Deletion by Mathematical Method of Root SystemsPrincipal Investigator
- Principal Investigator
  
  Hagiwara Manabu
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 21020:Communication and network engineering-related
- Research Institution
  Chiba University
A coding method for synchronous errors
- Principal Investigator
  
  Kasai Kenta
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Communication/Network engineering
- Research Institution
  Tokyo Institute of Technology
Automated Generation of No Logical Gap Readable Proof for Information TheoryPrincipal Investigator
- Principal Investigator
  
  Hagiwara Manabu
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Theory of informatics
- Research Institution
  Chiba University
Study of Linear Codes for Coset Coding with Highest Security
- Principal Investigator
  
  Matsumoto Ryutaroh
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Communication/Network engineering
- Research Institution
  Nagoya University
  Tokyo Institute of Technology
Formalization on Modern Coding TheoryPrincipal Investigator
- Principal Investigator
  
  Hagiwara Manabu
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Communication/Network engineering
- Research Institution
  Chiba University
Combinatorics of Schubert calculus and its application
- Principal Investigator
  
  NARUSE Hiroshi
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  University of Yamanashi
  Okayama University
A New Development of Algebraic Coding Theory
- Principal Investigator
  
  HARADA Masaaki
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
  Yamagata University
On Evaluation Methods of Accurate Error Rate for an LDPC CodePrincipal Investigator
- Principal Investigator
  
  HAGIHARA Manabu
- Project Period (FY)
  2010 – 2011
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Communication/Network engineering
- Research Institution
  National Institute of Advanced Industrial Science and Technology
Research on error-correcting codes that make quantum information technology stubbornPrincipal Investigator
- Principal Investigator
  
  HAGIWARA Manabu
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  National Institute of Advanced Industrial Science and Technology

[Book] Coq/SSReflect/MathCompによる定理証明2018
- Author(s)
  萩原学、アフェルト・レナルド
- Total Pages
  224
- Publisher
  森北出版
- ISBN
  9784627062412
- Data Source
  KAKENHI-PROJECT-16K12391
[Book] 進化する符号理論2016
- Author(s)
  萩原学（編者）
- Total Pages
  206
- Publisher
  日本評論社
- Data Source
  KAKENHI-PROJECT-16K12391
[Book] 符号理論～デジタルコミュニケーションの為の数学～2012
- Author(s)
  萩原学
- Total Pages
  300
- Publisher
  日本評論社
- Data Source
  KAKENHI-PROJECT-22760286
[Journal Article] Array-designed reversible and complementary codes over GF(4)2023
- Author(s)
  Hagiwara Manabu、Choi Whan-Hyuk、Kim Jon-Lark
- Journal Title
  
  Applicable Algebra in Engineering, Communication and Computing
  
  Volume: n.a. Issue: 3 Pages: 1-17
- DOI
  10.1007/s00200-023-00622-6
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K21642
[Journal Article] Multi Deletion/Substitution/Erasure Error-Correcting Codes for Information in Array Design2023
- Author(s)
  HAGIWARA Manabu
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E106.A Issue: 3 Pages: 368-374
- DOI
  10.1587/transfun.2022TAP0008
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2023-03-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K21642
[Journal Article] Equivalence of Quantum Single Insertion and Single Deletion Error-Correctabilities, and Construction of Codes and Decoders2022
- Author(s)
  Shibayama Taro、Hagiwara Manabu
- Journal Title
  
  Proc. of 2022 IEEE International Symposium on Information Theory (ISIT)
  
  Volume: 1 Pages: 2970-2975
- DOI
  10.1109/isit50566.2022.9834635
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K21642
[Journal Article] Decoding algorithms of monotone codes and azinv codes and their unified view?2022
- Author(s)
  Hokuto Takahashi, Manabu Hagiwara
- Journal Title
  
  Designs, Codes and Cryptography
  
  Volume: - Issue: 12 Pages: 2893-2922
- DOI
  10.1007/s10623-021-01004-0
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H01435, KAKENHI-PROJECT-23K21642
[Journal Article] Constructions of <i>ℓ</i>-Adic <i>t</i>-Deletion-Correcting Quantum Codes2022
- Author(s)
  Ryutaroh MATSUMOTO, Manabu HAGIWARA
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E105.A Issue: 3 Pages: 571-575
- DOI
  10.1587/transfun.2021EAP1034
- NAID
  130008165394
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2022-03-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] Perfect Multi Deletion Codes Achieve the Asymptotic Optimality of Code Size2021
- Author(s)
  Takehiko Mori, Manabu Hagiwara
- Journal Title
  
  IEEE Transactions on Information Theory
  
  Volume: 67 Issue: 6 Pages: 3315-3321
- DOI
  10.1109/tit.2020.3016261
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] The four qubits deletion code is the first quantum insertion code2021
- Author(s)
  Manabu Hagiwara
- Journal Title
  
  IEICE Communications Express
  
  Volume: 10 Issue: 5 Pages: 243-247
- DOI
  10.1587/comex.2020XBL0191
- NAID
  130008033455
- ISSN
  2187-0136
- Year and Date
  2021-05-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] Permutation-Invariant Quantum Codes for Deletion Errors2021
- Author(s)
  Taro Shibayama, Manabu Hagiwara
- Journal Title
  
  Proceeding of 2021 IEEE International Symposium on Information Theory (ISIT)
  
  Volume: - Pages: 1493-1498
- DOI
  10.1109/isit45174.2021.9517870
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H01435, KAKENHI-PROJECT-23K21642
[Journal Article] Two Dimensional Deletion Correcting Codes and their Applications2021
- Author(s)
  Yeow Meng Chee, Manabu Hagiwara, Vu Van Khu
- Journal Title
  
  Proceeding of 2021 IEEE International Symposium on Information Theory (ISIT)
  
  Volume: - Pages: 2792-2797
- DOI
  10.1109/isit45174.2021.9517903
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] A Survey of Quantum Error Correction2021
- Author(s)
  Ryutaroh MATSUMOTO, Manabu HAGIWARA
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E104.A Issue: 12 Pages: 1654-1664
- DOI
  10.1587/transfun.2021EAI0001
- NAID
  130008123138
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2021-12-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] Formalization of VT Codes and Their Single-Deletion Correcting Property in Lean2020
- Author(s)
  Yuki Kondo, Manabu Hagiwara, Midori Kudo
- Journal Title
  
  IEICE Proceeding Series
  
  Volume: 65 Pages: 597-601
- DOI
  10.34385/proc.65.E03-1
- NAID
  230000012657
- ISSN
  2188-5079
- Year and Date
  2020-10-18
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] A number theoretic formula and asymptotic optimality of cardinalities of BAD correcting codes2020
- Author(s)
  Mori Takehiko、Hagiwara Manabu
- Journal Title
  
  Discrete Mathematics
  
  Volume: 343 Issue: 6 Pages: 111852-111852
- DOI
  10.1016/j.disc.2020.111852
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] The first quantum error-correcting code for single deletion errors2020
- Author(s)
  Nakayama Ayumu、Hagiwara Manabu
- Journal Title
  
  IEICE Communications Express
  
  Volume: 9 Issue: 4 Pages: 100-104
- DOI
  10.1587/comex.2019XBL0154
- NAID
  130007825925
- ISSN
  2187-0136
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] Conversion Method from Erasure Codes to Multi-Deletion Error-Correcting Codes for Information in Array Design2020
- Author(s)
  Manabu Hagiwara
- Journal Title
  
  IEICE Proceeding Series
  
  Volume: 65 Pages: 274-278
- DOI
  10.34385/proc.65.B06-1
- NAID
  230000012710
- ISSN
  2188-5079
- Year and Date
  2020-10-18
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] Single Quantum Deletion Error-Correcting Codes2020
- Author(s)
  Ayumu Nakayama, Manabu Hagiwara
- Journal Title
  
  IEICE Proceeding Series
  
  Volume: 65 Pages: 329-333
- DOI
  10.34385/proc.65.B10-1
- NAID
  230000012663
- ISSN
  2188-5079
- Year and Date
  2020-10-18
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] A Four-Qubits Code that is a Quantum Deletion Error-Correcting Code with the Optimal Length2020
- Author(s)
  Manabu Hagiwara, Ayumu Nakayama
- Journal Title
  
  Proceeding of 2020 IEEE International Symposium on Information Theory (ISIT)
  
  Volume: - Pages: 1870-1874
- DOI
  10.1109/isit44484.2020.9174339
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] Applications of Gaussian Binomials to Coding Theory for Deletion Error Correction2020
- Author(s)
  Manabu Hagiwara, Justin Kong
- Journal Title
  
  Annals of Combinatorics
  
  Volume: 24 Issue: 2 Pages: 379-393
- DOI
  10.1007/s00026-020-00494-4
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] Descent Moment Distributions for Permutation Deletion Codes via Levenshtein Codes2018
- Author(s)
  Manabu Hagiwara, Justin Kong
- Journal Title
  
  Proceeding of ISIT 2018
  
  Volume: 1 Pages: 81-85
- DOI
  10.1109/isit.2018.8437626
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] Formalization of Insertion/Deletion Codes and the Levenshtein Metric in Lean2018
- Author(s)
  Justin Kong, David Webb, Manabu Hagiwara
- Journal Title
  
  Proceeding of ISITA 2018
  
  Volume: 1 Pages: 1-6
- DOI
  10.23919/isita.2018.8664354
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H01435, KAKENHI-PROJECT-16K12391
[Journal Article] Cardinalities of BAD Correcting Codes2018
- Author(s)
  Tatsuhiko Mori, Manabu Hagiwara
- Journal Title
  
  Proceeding of ISITA 2018
  
  Volume: 1 Pages: 13-18
- DOI
  10.23919/isita.2018.8664349
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H01435
[Journal Article] Multipermutation Ulam sphere analysis toward characterizing maximal code size2017
- Author(s)
  Justin Kong, Manabu Hagiwara
- Journal Title
  
  Proc. of IEEE International Symposium on Information Theory
  
  Volume: 1 Pages: 1628-1632
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K06336
[Journal Article] バランス隣接挿入／削除誤りの性質2017
- Author(s)
  萩原学
- Journal Title
  
  Proc. of the 40th Symposium on Information Theory and its Applications (SITA2017) Shibata, Niigata, Japan, Nov. 28;Dec. 1, 2017
  
  Volume: 1 Pages: 7-12
- Data Source
  KAKENHI-PROJECT-16K06336
[Journal Article] Binary Multipermutation Ulam Sphere Analysis2017
- Author(s)
  Justin Kong, Manabu Hagiwara
- Journal Title
  
  Proc. of the 40th Symposium on Information Theory and its Applications (SITA2017) Shibata, Niigata, Japan, Nov. 28;Dec. 1, 2017
  
  Volume: 1 Pages: 1-6
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K06336
[Journal Article] Perfect codes for single balanced adjacent deletions2017
- Author(s)
  Manabu Hagiwara
- Journal Title
  
  Proc. of IEEE International Symposium on Information Theory
  
  Volume: 1 Pages: 1938-1942
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K06336
[Journal Article] Formalization of Coding Theory using Lean2016
- Author(s)
  Manabu Hagiwara, Kyosuke Nakano and Justin Kong
- Journal Title
  
  Proceeding of ISITA 2016
  
  Volume: 1 Pages: 527-531
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K12391
[Journal Article] Network, Permutation, Formalization towards Post Modern Coding Theory, Vol. 2: Network Coding2016
- Author(s)
  萩原学
- Journal Title
  
  Bulletin of the Japan Society for Industrial and Applied Mathematics
  
  Volume: 26 Issue: 2 Pages: 27-32
- DOI
  10.11540/bjsiam.26.2_27
- NAID
  130005267460
- ISSN
  2432-1982
- Year and Date
  2016-06-24
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K12391
[Journal Article] A short proof for the multi-deletion error correction property of Helberg codes2016
- Author(s)
  Manabu Hagiwara
- Journal Title
  
  IEICE Communications Express
  
  Volume: 5 Issue: 2 Pages: 49-51
- DOI
  10.1587/comex.2015XBL0182
- NAID
  130005125260
- ISSN
  2187-0136
- Language
  English
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25289118, KAKENHI-PROJECT-26289116
[Journal Article] Formalization of Binary Symmetric Erasure Channel Based on Infotheo2016
- Author(s)
  Kyosuke Nakano and Manabu Hagiwara
- Journal Title
  
  Proceeding of ISITA 2016
  
  Volume: 1 Pages: 512-516
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K12391
[Journal Article] Formalization of Bing's shrinking method in geometric topology2016
- Author(s)
  Ken'ichi Kuga, Manabu Hagiwara, Mitsuharu Yamamoto
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 9791 Pages: 18-21
- DOI
  10.1007/978-3-319-42547-4_2
- ISBN
  9783319425467, 9783319425474
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K13433, KAKENHI-PROJECT-16K12391
[Journal Article] A Deep Neural Network Architecture Using Dimensionality Reduction with Sparse Matrices2016
- Author(s)
  W. Matsumoto, Manabu Hagiwara, P. T. Boufounos, K. Fukushima, T. Mariyama, Z. Xiongxin
- Journal Title
  
  Neural Information Processing
  
  Volume: LNCS 9950 Pages: 397-404
- DOI
  10.1007/978-3-319-46681-1_48
- ISBN
  9783319466804, 9783319466811
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K12391
[Journal Article] Network, Permutation, Formalization towards Post Modern Coding Theory, Vol. 4: Formalization on Coding Theory2016
- Author(s)
  萩原学
- Journal Title
  
  Bulletin of the Japan Society for Industrial and Applied Mathematics
  
  Volume: 26 Issue: 4 Pages: 28-33
- DOI
  10.11540/bjsiam.26.4_28
- NAID
  130007042676
- ISSN
  2432-1982
- Year and Date
  2016-12-22
- Language
  Japanese
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K12391
[Journal Article] On ordered syndromes for multi insertion/deletion error-correcting codes2016
- Author(s)
  Manabu Hagiwara
- Journal Title
  
  2016 IEEE International Symposium on Information Theory (ISIT)
  
  Volume: 1 Pages: 625-629
- DOI
  10.1109/isit.2016.7541374
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K06336, KAKENHI-PROJECT-16K12391
[Journal Article] 誤り訂正符号の例と将来展望2016
- Author(s)
  萩原学
- Journal Title
  
  映像情報メディア学会誌
  
  Volume: 70 (7) Pages: 567-570
- Data Source
  KAKENHI-PROJECT-16K12391
[Journal Article] Consolidation for compact constraints and Kendall tau LP decodable permutation codes2016
- Author(s)
  Manabu Hagiwara and Justin Kong
- Journal Title
  
  Designs, Codes and Cryptography
  
  Volume: 1 Issue: 3 Pages: 1-39
- DOI
  10.1007/s10623-016-0313-5
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K06336, KAKENHI-PROJECT-16K12391
[Journal Article] Network, Permutation, Formalization towards Post Modern Coding Theory, Vol. 3: Permutation Codes2016
- Author(s)
  萩原学
- Journal Title
  
  Bulletin of the Japan Society for Industrial and Applied Mathematics
  
  Volume: 26 Issue: 3 Pages: 29-34
- DOI
  10.11540/bjsiam.26.3_29
- NAID
  130007043100
- ISSN
  2432-1982
- Year and Date
  2016-09-26
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K12391
[Journal Article] Nonexistence of Perfect Permutation Codes in the Ulam Metric2016
- Author(s)
  Justin Kong and Manabu Hagiwara
- Journal Title
  
  Proceeding of ISITA 2016
  
  Volume: 1 Pages: 727-731
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K12391
[Journal Article] 順序のある代数系上の挿入削除誤り訂正符号2015
- Author(s)
  萩原学
- Journal Title
  
  情報理論とその応用シンポジウム予稿集
  
  Volume: 1 Pages: 469-474
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25289118
[Journal Article] Coq/SSReflectによる二元消失通信路の通信路容量の形式化2015
- Author(s)
  中野恭輔、萩原学
- Journal Title
  
  情報理論とその応用シンポジウム予稿集
  
  Volume: 1 Pages: 752-757
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25289118
[Journal Article] On formalization of basic geometric topology2015
- Author(s)
  Ken’ichi Kuga, Manabu Hagiwara
- Journal Title
  
  MI Lecture Note 研究集会高信頼な理論と実装のための定理証明および定理証明器 (TPP2014), 九州大学, December 3--5, 2014
  
  Volume: 61 Pages: 110-114
- Data Source
  KAKENHI-PROJECT-25289118
[Journal Article] Formalization of Shannon's Theorems Using the Coq Proof-Assistant2014
- Author(s)
  Reynald Affeldt, Manabu Hagiwara, Jonas Senizergues
- Journal Title
  
  Journal of Automated Reasoning
  
  Volume: 紙版、印刷中 Issue: 1 Pages: 63-103
- DOI
  10.1007/s10817-013-9298-1
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25289118
[Journal Article] Formalization of the Variable-Length Source Coding Theorem: Direct Part2014
- Author(s)
  Ryosuke Obi, Manabu Hagiwara, and Reynald Affeldt
- Journal Title
  
  Proceeding of International Symposium on Information Theory and its Applications
  
  Volume: 1 Pages: 201-205
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25289118
[Journal Article] SFA-LDPC符号の同値性2013
- Author(s)
  萩原学, J.B.Nation
- Journal Title
  
  第３６回情報理論とその応用シンポジウム予稿集
  
  Volume: 1 Pages: 163-168
- Data Source
  KAKENHI-PROJECT-25289118
[Journal Article] Fixed Initialization Decoding of LDPC Codes over Binary Symmetric Channel2012
- Author(s)
  M. Hagiwara, M. P. C. Fossorier, H. Imai
- Journal Title
  
  IEEE Trans. On IT
  
  Volume: vol.58(4) Issue: 4 Pages: 2321-2329
- DOI
  10.1109/tit.2011.2177440
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22760286
[Journal Article] LDPC Codes with Fixed Initialization Decoding over Binary Symmetric Channel2010
- Author(s)
  M.Hagiwara, M.P.C.Fossorier, H. Imai
- Journal Title
  
  Proc. of IEEE International Symposium for Information Theory
  
  Pages: 784-788
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22760286
[Journal Article] Comment on "Quasi-Cyclic Low Density Parity Check Codes from Circulant Permutation Matrix"2009
- Author(s)
  Manabu Hagiwara, Marc Fossorier
- Journal Title
  
  IEEE Transactions on Information Theory 55-3
  
  Pages: 1430-1430
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700017
[Journal Article] Comment on "Quasi-Cyclic Low Density Parity Check Codes from Circulant Permutation Matrix"2009
- Author(s)
  Manabu Hagiwara, Marc Fossorier
- Journal Title
  
  IEEE Transactions on Information Theory vol.55-3
  
  Pages: 1430-1430
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700017
[Journal Article] Error-Correcting Codes and Cryptography2008
- Author(s)
  Hideki Imai, Manabu Hagiwara
- Journal Title
  
  Applicable Algebra In Engineering Communication and Computing vol.19-3
  
  Pages: 213-228
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700017
[Journal Article] Error-Correcting Codes and Cryptography2008
- Author(s)
  Hidaki IMAI, Manabu Hagiwara
- Journal Title
  
  Applicable Algebra In Engineering Communication and Computing 19-3
  
  Pages: 213-228
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700017
[Journal Article] Quantum Quasi-Cyclic LDPC Codes2007
- Author(s)
  Manabu HAGIWARA, Hideki IMAI
- Journal Title
  
  Proceeding of 2007 IEEE International Symposium on Information Theory (to appear)
- Data Source
  KAKENHI-PROJECT-18700017
[Journal Article] A Quantum Secure Direct Communication Protocol for Sending A Quantum State and Its Security Analysis2007
- Author(s)
  Yumiko Murakami, Masaki Nakanisbi, Manabu Hagiwara, Shigeru Yamashita, Yasuhiko Nakashima
- Journal Title
  
  Proceeding of The 6th WSEAS Intenational Conference on Infornation Security and Privacy 1
  
  Pages: 91-97
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700017
[Journal Article] A Simple Construction of Quantum Quasi-Cyclic LDPC codes2007
- Author(s)
  Manabu Hagiwara, Hideki Imai
- Journal Title
  
  2007 Hawaii and SITA Joint Conference on Information Theory (HISC) 1
  
  Pages: 19-23
- Data Source
  KAKENHI-PROJECT-18700017
[Journal Article] Quantum Quasi-Cyclic LDPC codes2007
- Author(s)
  Manabu Hagiwara, Hideki Imai
- Journal Title
  
  Proceeding of 2007 IEEE International Symposium on Information Theory (ISIT2007) 1
  
  Pages: 806-810
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700017
[Journal Article] A Simple Construction of Quantum Quasi-Cyclic LDPC Codes2007
- Author(s)
  Manabu Hagiwara, Hidaki Imai
- Journal Title
  
  Proc. Of 2007 Hawaii and SITA Joint Conference on Information Theory vol.1
  
  Pages: 19-23
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700017
[Journal Article] On Minimal Length of Quasi Cyclic LDPC Codes with Girth Greater Than or Equal to 62006
- Author(s)
  Manabu HAGIWARA, et al.
- Journal Title
  
  Proceeding of The 2006 International Symposium on Information Theory and its Applications 1(CD-ROM)
- Data Source
  KAKENHI-PROJECT-18700017
[Journal Article] On the Correcting Property of a Two-dimensional Error-Correcting Code Based on the Lee Metric on Z _(2^m)2006
- Author(s)
  Banri Bannai, Manabu HAGIWARA, et al.
- Journal Title
  
  Proceeding of The 2006 International Symposium on Information Theory and its Applications 1(CD-ROM)
- Data Source
  KAKENHI-PROJECT-18700017
[Journal Article] On Minimal Length of Quasi Cyclic LDPC Codes with Girth Greater Than or Equal to 62006
- Author(s)
  Manabu Hagiwara, Koji Nuida, Takashi Kitagawa, Marc Fossorier, Hideki Imai
- Journal Title
  
  Proc. Of The 2006 International Symposium on Information Theory and its Applications vol.1
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700017
[Journal Article] On a Construction of a Non-stabilizer Clifford Quantum Code for 2h(2j+1)-Level States2006
- Author(s)
  Manabu Hagiwara, Hideki Imai
- Journal Title
  
  Electronics and Communications in Japan Part III-Fundamental Electronic Science Apr-90
  
  Pages: 63-68
- NAID
  10016632488
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700017
[Journal Article] On a Construction of a Non-stabilizer Clifford Quantum Code for 2h (2j+1) -Level States2006
- Author(s)
  Manabu HAGIWARA, Hideki IMAI
- Journal Title
  
  ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDMENTAL ELECTRONIC SCIENCE Apr-90
  
  Pages: 63-68
- NAID
  10016632488
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] 量子削除誤り訂正のための古典誤り訂正符号の構成2023
- Author(s)
  萩原学
- Organizer
  情報理論研究会
- Data Source
  KAKENHI-PROJECT-23K21642
[Presentation] Quantum Deletion Codes v.s. Quantum Insertion Codes2023
- Author(s)
  Manabu Hagiwara
- Organizer
  Information Theory In Singapore Workshop
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K21642
[Presentation] Construction of Quantum Deletion Error-Correcting Codes: Leveraging the Alternating Sandwich Mapping and Quantum Reed-Solomon Codes2023
- Author(s)
  Manabu Hagiwara
- Organizer
  Colloquium, Department of Industrial Systems Engineering and Management, National University of Singapore
- Data Source
  KAKENHI-PROJECT-23K21642
[Presentation] 量子削除誤り訂正符号の構築法：交代サンドイッチ写像と量子リード・ソロモン符号の応用2023
- Author(s)
  Manabu Hagiwara
- Organizer
  量子基礎論・量子情報オンラインセミナー
- Invited
- Data Source
  KAKENHI-PROJECT-23K21642
[Presentation] 単一量子削除誤り訂正符号を与える分割の条件と例2022
- Author(s)
  萩原学
- Organizer
  第 47 回量子情報技術研究会
- Data Source
  KAKENHI-PROJECT-23K21642
[Presentation] 量子削除誤りおよび単一量子削除誤り訂正符号の構成例2022
- Author(s)
  萩原学
- Organizer
  第 46 回量子情報技術研究会
- Data Source
  KAKENHI-PROJECT-23K21642
[Presentation] Toward cardinality optimality of a deletion error-correcting code by LEAN theorem prover2022
- Author(s)
  萩原学
- Organizer
  Logic Seminar, at the department of mathematics, the university of Hawaii
- Data Source
  KAKENHI-PROJECT-23K21642
[Presentation] Root Systems and Perfect Codes2022
- Author(s)
  萩原学
- Organizer
  Algebraic Lie Theory Seminar, the University of Colorado
- Invited
- Data Source
  KAKENHI-PROJECT-23K21642
[Presentation] An Introduction to How to Relate Coding Theory and d-complete Posets2020
- Author(s)
  Manabu Hagiwara
- Organizer
  Joint Mathematics Meetings 2020
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H01435
[Presentation] Conversion Method from Erasure Codes to Multi-Deletion Error-Correcting Codes for Information in Array Design2020
- Author(s)
  Manabu Hagiwara
- Organizer
  2020 International Symposium on Information Theory and Its Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H01435
[Presentation] 単一削除誤りに対する量子誤り訂正符号の構成2020
- Author(s)
  中山　歩・萩原　学
- Organizer
  情報理論研究会
- Data Source
  KAKENHI-PROJECT-18H01435
[Presentation] A Four-Qubits Code that is a Quantum Deletion Error-Correcting Code with the Optimal Length2020
- Author(s)
  Manabu Hagiwara, Ayumu Nakayama
- Organizer
  2020 IEEE International Symposium on Information Theory (ISIT)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H01435
[Presentation] Levenshteinの削除誤り訂正アルゴリズムの一般化2019
- Author(s)
  高橋朋久斗, 萩原学
- Organizer
  第４２回情報理論とその応用シンポジウム
- Data Source
  KAKENHI-PROJECT-18H01435
[Presentation] Weyl groups and perfect codes for generalized deletions2019
- Author(s)
  Manabu Hagiwara
- Organizer
  American Mathematical Society Meeting
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H01435
[Presentation] 単一削除符号の漸近的最大濃度の別証明2019
- Author(s)
  山崎大雅, 萩原学
- Organizer
  第４２回情報理論とその応用シンポジウム
- Data Source
  KAKENHI-PROJECT-18H01435
[Presentation] Lean を用いたLevenshtein 符号と復号アルゴリズムの形式化2019
- Author(s)
  近藤裕樹, 萩原学
- Organizer
  第４２回情報理論とその応用シンポジウム
- Data Source
  KAKENHI-PROJECT-18H01435
[Presentation] 二次元削除誤り訂正符号の構成2019
- Author(s)
  萩原学
- Organizer
  第４２回情報理論とその応用シンポジウム
- Data Source
  KAKENHI-PROJECT-18H01435
[Presentation] Multipermutation Ulam sphere analysis toward characterizing maximal code size2017
- Author(s)
  Justin Kong, Manabu Hagiwara
- Organizer
  2017 IEEE International Symposium on Information Theory
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26289116
[Presentation] Binary Multipermutation Ulam Sphere Analysis2017
- Author(s)
  Justin Kong, Manabu Hagiwara
- Organizer
  2017情報理論とその応用シンポジウム
- Data Source
  KAKENHI-PROJECT-26289116
[Presentation] バランス隣接挿入／削除誤りの性質2017
- Author(s)
  萩原学
- Organizer
  2017情報理論とその応用シンポジウム
- Data Source
  KAKENHI-PROJECT-26289116
[Presentation] Perfect codes for single balanced adjacent deletions2017
- Author(s)
  Manabu Hagiwara
- Organizer
  2017 IEEE International Symposium on Information Theory
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26289116
[Presentation] C型ルート系に付随する挿入削除誤り訂正符号2016
- Author(s)
  萩原学
- Organizer
  情報理論とその応用シンポジウム 2016
- Place of Presentation
  高山グリーンホテル（岐阜県）
- Year and Date
  2016-12-13
- Data Source
  KAKENHI-PROJECT-16K12391
[Presentation] Shifted Young diagrams and binary I/D error-correcting codes2016
- Author(s)
  Manabu Hagiwara
- Organizer
  SIAM Conference on Discrete Mathematics
- Place of Presentation
  米国ジョージア州
- Year and Date
  2016-06-06
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12391
[Presentation] Coq/SSReflectによる通信路の同型性の形式化2016
- Author(s)
  中野恭輔, 萩原学
- Organizer
  情報理論とその応用シンポジウム 2016
- Place of Presentation
  高山グリーンホテル（岐阜県）
- Year and Date
  2016-12-13
- Data Source
  KAKENHI-PROJECT-16K12391
[Presentation] 順序のある代数系上の挿入削除誤り訂正符号2015
- Author(s)
  萩原学
- Organizer
  情報理論とその応用シンポジウム予稿集
- Place of Presentation
  岡山県倉敷市
- Year and Date
  2015-11-24
- Data Source
  KAKENHI-PROJECT-26289116
[Presentation] 多重挿入／削除誤り訂正符号の構成と表現2015
- Author(s)
  萩原学
- Organizer
  実験計画法と符号および関連する組合せ構造
- Place of Presentation
  箱根水明荘（神奈川県・足柄下郡）
- Year and Date
  2015-12-01
- Invited
- Data Source
  KAKENHI-PROJECT-25289118
[Presentation] 多重挿入／削除誤り訂正符号の順序付代数による構成とその表現2015
- Author(s)
  萩原学
- Organizer
  琉球大学理学部セミナー
- Place of Presentation
  琉球大学（沖縄県・中頭郡）
- Year and Date
  2015-12-04
- Invited
- Data Source
  KAKENHI-PROJECT-25289118
[Presentation] 空間結合構造を持つ量子LDP C符号2011
- Author(s)
  萩原学
- Organizer
  空間結合符号とその周辺ワークショップ
- Place of Presentation
  東京工業大学
- Year and Date
  2011-02-19
- Data Source
  KAKENHI-PROJECT-22760286
[Presentation] 空間結合構造を持つ量子LDPC符号2011
- Author(s)
  萩原学
- Organizer
  空間結合符号とその周辺ワークショップ
- Place of Presentation
  東京工業大学
- Year and Date
  2011-02-19
- Data Source
  KAKENHI-PROJECT-22760286
[Presentation] LDPC Codes with Fixed Initialization Decoding over Binary Symmetric Channel2010
- Author(s)
  M.Hagiwara, M.P.C.Fossorier, H.Imai
- Organizer
  IEEE International Symposium for Information Theory 2010
- Place of Presentation
  Austin, USA
- Year and Date
  2010-06-15
- Data Source
  KAKENHI-PROJECT-22760286
[Presentation] LDPC Codes with Fixed Initialization Decoding over Binary Symmetric Channel2010
- Author(s)
  M. Hagiwara, M. P. C. Fossorier, H. Imai
- Organizer
  IEEE International Symposium on Information Theory
- Place of Presentation
  Austin, USA
- Year and Date
  2010-06-15
- Data Source
  KAKENHI-PROJECT-22760286
[Presentation] 準巡回低密度パリティ検査符号にまつわる離散数学的側面と量子符号への拡張にまつわる問題2008
- Author(s)
  萩原学
- Organizer
  COS 08
- Place of Presentation
  沖縄県
- Year and Date
  2008-09-09
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] A Study on a Key Establishment Scheme with QC LDPC Codes and UH-Protocols2008
- Author(s)
  Yuto Matsunaga, M.Hagiwara, K.Kobara, H.Imai
- Organizer
  ISITA 2008
- Place of Presentation
  ニュージーランド、オークランド
- Year and Date
  2008-12-08
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] LDPC符号の各ビット位置のエラー率を求めるシミュレーションの高速化の検討2008
- Author(s)
  松永雄斗、萩原学
- Organizer
  LDPC符号ワークショップ
- Place of Presentation
  沖縄県
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] 誤り訂正とプライバシ増幅の関係についての検討2008
- Author(s)
  松永雄斗、萩原学、美添一樹、古原和邦、今井秀樹
- Organizer
  暗号と情報セキュリティシンポジウム(SCIS2008)
- Place of Presentation
  宮崎県
- Year and Date
  2008-01-22
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] 準巡回低密度パリティ検査符号にまつわる離散数学的側面と量子符号への拡張にまつわる問題2008
- Author(s)
  萩原学
- Organizer
  COS08
- Place of Presentation
  沖縄県
- Year and Date
  2008-09-09
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] ねじれ関係にあるLDPC符号の組の構成2007
- Author(s)
  萩原学、今井秀樹
- Organizer
  情報理論とその応用シンポジウム(SITA2007)
- Place of Presentation
  三重県
- Year and Date
  2007-11-27
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] ねじれ関係にあるLDPC符号の組の構成2007
- Author(s)
  萩原学, 今井秀樹
- Organizer
  情報理論とその応用シンポジウム
- Place of Presentation
  三重県
- Year and Date
  2007-11-27
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] Quantum Error-Correcting Codes2007
- Author(s)
  Manabu Hagiwara
- Organizer
  Summer School on Mathemtical Aspects of Quantum Computing
- Place of Presentation
  近畿大学
- Year and Date
  2007-08-27
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] LDPC符号を用いた可変指向性アンテナを用いた秘密鍵共有システムの雑音除去2007
- Author(s)
  松永雄斗、萩原学、古原和邦、今井秀樹
- Organizer
  情報理論とその応用シンポジウム(SITA2007)
- Place of Presentation
  三重県
- Year and Date
  2007-11-27
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] Quantum Quasi-Cyclic LDPC codes2007
- Author(s)
  Manabu Hagiwara, Hideki Imai
- Organizer
  2007 IEEE International Symposium on Information Theory
- Place of Presentation
  ニース
- Year and Date
  2007-06-26
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] Quantum Quasi-Cyclic LDPC Codes2007
- Author(s)
  Manabu Hagiwara, Hideki Imai
- Organizer
  2007 IEEE International Symposium on Information Theory
- Place of Presentation
  Nice
- Year and Date
  2007-06-26
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] A Quantum Secure Direct Communication Protocol for Sending A Quantum State and Its Security Analysis2007
- Author(s)
  Yumiko Murakami, Masaki Nakanishi, Manabu Hagiwara, Shigeru Yamashita, Yasuhiko Nakashima
- Organizer
  The 6th WSEAS International Conference on information Security and Privacy
- Place of Presentation
  スペイン
- Year and Date
  2007-12-17
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] Quantum Error-Correcting Codes2007
- Author(s)
  Manabu Hagiwara
- Organizer
  Summer School on Mathematical Aspects of Quantum Computing
- Place of Presentation
  Kinki University
- Year and Date
  2007-08-27
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] A Simple Construction of Quantum Quasi-Cyclic LDPC codes2007
- Author(s)
  Manabu Hagiwara, Hideki Imai
- Organizer
  2007 Hawaii and SITA Joint Conference on Infor mation Theory
- Place of Presentation
  ハワイ大学
- Year and Date
  2007-05-29
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] 非正則疑似巡薗低密度パリティ検査符号の量子符号化にまつわる組合せ論的アプローチ2007
- Author(s)
  萩原学
- Organizer
  組合せ論サマースクール2007
- Place of Presentation
  沖縄県
- Year and Date
  2007-09-04
- Data Source
  KAKENHI-PROJECT-18700017
[Presentation] 可変長情報源符号化逆定理の形式化
- Author(s)
  小尾良介, 萩原学, 山本光晴
- Organizer
  SITA2014
- Place of Presentation
  富山県宇奈月ニューオータニホテル
- Year and Date
  2014-12-09 – 2014-12-12
- Data Source
  KAKENHI-PROJECT-25289118
[Presentation] On the Primitive Polynomial as the Characteristic Polynomial of a Symmetric Companion Matrix
- Author(s)
  Manabu Hagiwara and Takaaki Sasaki
- Organizer
  International Symposium on Information Theory and its Applications
- Place of Presentation
  Melborne, Australia
- Year and Date
  2014-10-26 – 2014-10-29
- Data Source
  KAKENHI-PROJECT-26289116
[Presentation] 可変長情報源符号化定理の形式化の改良
- Author(s)
  萩原学, 小尾良介
- Organizer
  SITA2014
- Place of Presentation
  富山県宇奈月ニューオータニホテル
- Year and Date
  2014-12-09 – 2014-12-12
- Data Source
  KAKENHI-PROJECT-25289118
[Presentation] 非正則疑似巡回低密度パリティ検査符号の量子符号化にまつわる組合せ論的アプローチ
- Author(s)
  萩原学
- Data Source
  KAKENHI-PROJECT-18700017

1. KASAI Kenta (70431997)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. KUZUOKA Shigeaki (60452538)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. Garrigue Jacques (80273530)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. NAKANO Kyosuke

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
5. HARADA Masaaki (90292408)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. MUNEMASA Akihiro (50219862)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. KITAZUME Masaaki (60204898)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. WADAYAMA Tadashi (20275374)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. ARAYA Makoto (70303526)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. Reynald Affeldt (40415641)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
11. MIZOGUCHI Yoshihiro (80209783)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. Matsumoto Ryutaroh (10334517)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. NARUSE Hiroshi (20172596)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. IKEDA Takeshi (40309539)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. NAKAGAWA Masaki (50370036)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. ISHIKAWA Masao (40243373)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 仲田研登 (70532555)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. OBI Ryosuke

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
19. SAIKAWA Takafumi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. GEIL Olav

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. RUANO Diego

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. Kong Justin

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
23. NATION James B.

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
24. YAMAMOTO Mitsuharu

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
25. GAARUGUE Jacques

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results
26. 久我健一

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Hagiwara Manabu 萩原 学

HAGIWARA Manabu 萩原 学

HAGIHARA Manabu 萩原 学

Research Projects

Research Products

Co-Researchers

Generalizations of noisy quantum channels and constructions on quantum error-correcting codes for the channelPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Study on Insertion/Deletion by Mathematical Method of Root SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A coding method for synchronous errors

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Automated Generation of No Logical Gap Readable Proof for Information TheoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study of Linear Codes for Coset Coding with Highest Security

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Formalization on Modern Coding TheoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Combinatorics of Schubert calculus and its application

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A New Development of Algebraic Coding Theory

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On Evaluation Methods of Accurate Error Rate for an LDPC CodePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on error-correcting codes that make quantum information technology stubbornPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Coq/SSReflect/MathCompによる定理証明2018

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] 進化する符号理論2016

Author(s)

Total Pages

Publisher

Data Source

[Book] 符号理論～デジタルコミュニケーションの為の数学～2012

Author(s)

Total Pages

Hagiwara Manabu 萩原学

HAGIWARA Manabu 萩原学

HAGIHARA Manabu 萩原学