Formalization on Modern Coding Theory
Formalization on Modern Coding Theory
现代编码理论的形式化
批准号：
25289118
负责人：
Hagiwara Manabu
金额：
$10.9万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
infotheoライブラリ
信息理论图书馆
信息理论图书馆
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
可変長情報源符号化定理の形式化の改良
改进的变长源编码定理的形式化
改进的变长源编码定理的形式化
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[萩原学, 小尾良介]
通讯作者：
小尾良介
順序のある代数系上の挿入削除誤り訂正符号
有序代数系统上的插入/删除纠错码
有序代数系统上的插入/删除纠错码
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Editor: H. Naito, （分担執筆）K. Okamotoほか, 萩原学]
通讯作者：
萩原学
Spatially-Coupled MacKay-Neal Codes with No Bit Nodes of Degree Two Achieve the Capacity of BEC
无二阶比特节点的空间耦合 MacKay-Neal 码实现了 BEC 的容量
无二阶比特节点的空间耦合 MacKay-Neal 码实现了 BEC 的容量
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Takuya Okazaki, Kenta Kasai]
通讯作者：
Kenta Kasai
Coq/SSReflectによる二元消失通信路の通信路容量の形式化
使用 Coq/SSReflect 对双擦除通道的通道容量进行形式化
使用 Coq/SSReflect 对双擦除通道的通道容量进行形式化
DOI：
--
发表时间：
2015
期刊：
情報理論とその応用シンポジウム予稿集
影响因子：
--
作者：
[中野恭輔, 萩原学]
通讯作者：
萩原学
共 26 条
Study on Insertion/Deletion by Mathematical Method of Root Systems
-
批准号：18H01435
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$10.23万
-
财政年份：2018
-
负责人：Hagiwara Manabu
-
依托单位：
Creation of dielectric materials for high-temperature capacitor applications using relaxor phases of A-site complex perovskites
-
批准号：16K18241
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.16万
-
财政年份：2016
-
负责人：Hagiwara Manabu
-
依托单位：
Automated Generation of No Logical Gap Readable Proof for Information Theory
-
批准号：16K12391
-
项目类别：Grant-in-Aid for Challenging Exploratory Research
-
资助金额：$2.16万
-
财政年份：2016
-
负责人：Hagiwara Manabu
-
依托单位：
海外基金