自动生成信息论的无逻辑间隙可读证明-猫眼课题宝

自动生成信息论的无逻辑间隙可读证明

批准号：

16K12391

负责人：

Hagiwara Manabu

金额：

$2.16万

依托单位：

Chiba University

依托单位国家：

日本

项目类别：

Grant-in-Aid for Challenging Exploratory Research

财政年份：

2016

资助国家：

日本

项目状态：

已结题

起止时间：

2016-04-01 至 2019-03-31

来源：

https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16K12391/

关键词：

情報理論形式化 Coq Coqtop Proviola Python 定理証明情報源符号化シャノン理論 SSReflect 自動翻訳

项目摘要

项目成果

Hagiwara Manabu的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

期刊论文(24)

专著(0)

科研奖励(0)

会议论文

On the smooth Renyi entropy and variable-length source coding allowing errors

光滑仁义熵与允许错误的变长源编码

DOI： 10.1109/isit.2016.7541398

发表时间： 2016

期刊：

Proceeding of ISIT

影响因子： --

作者：

[Manabu Hagiwara, Kyosuke Nakano and Justin Kong, Kyosuke Nakano and Manabu Hagiwara, Shigeaki Kuzuoka, Shigeaki Kuzuoka and Shun Watanabe, Shigeaki Kuzuoka]

通讯作者： Shigeaki Kuzuoka

Network, Permutation, Formalization towards Post Modern Coding Theory, Vol. 4: Formalization on Coding Theory

网络、排列、后现代编码理论的形式化，卷。

DOI： 10.11540/bjsiam.26.4_28

发表时间： 2016

期刊：

Bulletin of the Japan Society for Industrial and Applied Mathematics

影响因子： --

作者：

[Justin Kong, David Webb, Manabu Hagiwara, Shigeaki Kuzuoka, 萩原学]

通讯作者：萩原学

Formalization of Coding Theory using Lean

使用精益形式化编码理论

DOI： --

发表时间： 2016

期刊：

Proceeding of ISITA 2016

影响因子： --

作者：

[Manabu Hagiwara, Kyosuke Nakano and Justin Kong]

通讯作者： Kyosuke Nakano and Justin Kong

C型ルート系に付随する挿入削除誤り訂正符号

与C型根系统相关的插入/删除纠错码

DOI： --

发表时间： 2016

期刊：

影响因子： --

作者：

[Manabu Hagiwara, Kyosuke Nakano and Justin Kong, Kyosuke Nakano and Manabu Hagiwara, Shigeaki Kuzuoka, Shigeaki Kuzuoka and Shun Watanabe, Shigeaki Kuzuoka, Shigeaki Kuzuoka, 萩原学]

通讯作者：萩原学

A Deep Neural Network Architecture Using Dimensionality Reduction with Sparse Matrices

使用稀疏矩阵降维的深度神经网络架构

DOI： 10.1007/978-3-319-46681-1_48

发表时间： 2016

期刊：

Neural Information Processing

影响因子： --

作者：

[W. Matsumoto, Manabu Hagiwara, P. T. Boufounos, K. Fukushima, T. Mariyama, Z. Xiongxin]

通讯作者： Z. Xiongxin