Automated Generation of No Logical Gap Readable Proof for Information Theory

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

基本信息

  • 批准号：
    16K12391
  • 负责人：
    Hagiwara Manabu
  • 金额：
    $ 2.16万
  • 依托单位：
    Chiba University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
  • 财政年份：
    2016
  • 资助国家：
    日本
  • 起止时间：
    2016-04-01 至 2019-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（24）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
On the smooth Renyi entropy and variable-length source coding allowing errors
光滑仁义熵与允许错误的变长源编码
  • DOI：
    10.1109/isit.2016.7541398
  • 发表时间：
    2016
  • 期刊：
    Proceeding of ISIT
  • 影响因子：
    0
  • 作者：
    Manabu Hagiwara;Kyosuke Nakano and Justin Kong;Kyosuke Nakano and Manabu Hagiwara;Shigeaki Kuzuoka;Shigeaki Kuzuoka and Shun Watanabe;Shigeaki Kuzuoka
  • 通讯作者：
    Shigeaki Kuzuoka
C型ルート系に付随する挿入削除誤り訂正符号
与C型根系统相关的插入/删除纠错码
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    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
网络、排列、后现代编码理论的形式化，卷。
Formalization of Coding Theory using Lean
使用精益形式化编码理论
  • DOI：
  • 发表时间：
    2016
  • 期刊：
    Proceeding of ISITA 2016
  • 影响因子：
    0
  • 作者：
    Manabu Hagiwara;Kyosuke Nakano and Justin Kong
  • 通讯作者：
    Kyosuke Nakano and Justin Kong
A Deep Neural Network Architecture Using Dimensionality Reduction with Sparse Matrices
使用稀疏矩阵降维的深度神经网络架构
  • DOI：
    10.1007/978-3-319-46681-1_48
  • 发表时间：
    2016
  • 期刊：
    Neural Information Processing
  • 影响因子：
    0
  • 作者：
    W. Matsumoto;Manabu Hagiwara;P. T. Boufounos;K. Fukushima;T. Mariyama;Z. Xiongxin
  • 通讯作者：
    Z. Xiongxin
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Hagiwara Manabu其他文献

Synthesis of Ca-Co hydroxides and their use in facile fabrication of textured CayCoO2 thermoelectric ceramics
Ca-Co氢氧化物的合成及其在织构化CayCoO2热电陶瓷的简易制造中的应用
  • DOI：
    10.1016/j.ceramint.2018.11.020
  • 发表时间：
    2019
  • 期刊：
    Ceramics International
  • 影响因子：
    5.2
  • 作者：
    Shimonishi Rina;Hagiwara Manabu;Fujihara Shinobu
  • 通讯作者：
    Fujihara Shinobu
Equivalence of Quantum Single Insertion and Single Deletion Error-Correctabilities, and Construction of Codes and Decoders
量子单插入和单删除纠错性的等价性以及编码器和解码器的构造
A number theoretic formula and asymptotic optimality of cardinalities of BAD correcting codes
BAD纠错码基数的数论公式及渐近最优性
  • DOI：
    10.1016/j.disc.2020.111852
  • 发表时间：
    2020
  • 期刊：
    Discrete Mathematics
  • 影响因子：
    0.8
  • 作者：
    Mori Takehiko;Hagiwara Manabu
  • 通讯作者：
    Hagiwara Manabu
光音響効果を用いた気相水分解反応の内部量子効率測定
利用光声效应测量气相水分解反应的内量子效率
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Sakamawari Kosuke;Hagiwara Manabu;Fujihara Shinobu;藤田壮陽，村上直也
  • 通讯作者：
    藤田壮陽，村上直也
The first quantum error-correcting code for single deletion errors
第一个针对单个删除错误的量子纠错码
  • DOI：
    10.1587/comex.2019xbl0154
  • 发表时间：
    2020
  • 期刊：
    IEICE Communications Express
  • 影响因子：
    0.3
  • 作者：
    Nakayama Ayumu;Hagiwara Manabu
  • 通讯作者：
    Hagiwara Manabu

Hagiwara Manabu的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Hagiwara Manabu', 18)}}的其他基金

Study on Insertion/Deletion by Mathematical Method of Root Systems
根系插入/删除的数学方法研究
  • 批准号：
    18H01435
  • 财政年份：
    2018
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Creation of dielectric materials for high-temperature capacitor applications using relaxor phases of A-site complex perovskites
使用 A 位复合钙钛矿的弛豫相创建用于高温电容器应用的介电材料
  • 批准号：
    16K18241
  • 财政年份：
    2016
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
Formalization on Modern Coding Theory
现代编码理论的形式化
  • 批准号：
    25289118
  • 财政年份：
    2013
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)

相似国自然基金

智能汽车可信软件形式化方法理论及应用
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
面向智能交通的全同态加密安全计算体系与形式化验证架构方法研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
面向自动驾驶测试平台的长尾场景通用 生成方法及形式化验证研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    10.0 万元
  • 项目类别：
    省市级项目
信息安全约束下信息物理系统的形式化分析与博弈控制理论
  • 批准号：
  • 批准年份：
    2024
  • 资助金额：
    15.0 万元
  • 项目类别：
    省市级项目
面向系统软件内存安全问题的轻量级形式化验证
  • 批准号：
    24ZR1406100
  • 批准年份：
    2024
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
基于形式化方法的处理器安全验证
  • 批准号：
    62372258
  • 批准年份：
    2023
  • 资助金额：
    50 万元
  • 项目类别：
    面上项目
工业控制系统信息安全防护的形式化分析与验证
  • 批准号：
    62320106005
  • 批准年份：
    2023
  • 资助金额：
    212 万元
  • 项目类别：
    国际(地区)合作与交流项目
智能电池管理系统模态随动状态估计和形式化协同均衡研究
  • 批准号：
    52377221
  • 批准年份：
    2023
  • 资助金额：
    50.00 万元
  • 项目类别：
    面上项目
量子信息理论的高阶逻辑形式化及其在量子通信系统验证中的应用
  • 批准号：
    62372312
  • 批准年份：
    2023
  • 资助金额：
    50 万元
  • 项目类别：
    面上项目
面向复杂系统多目标性的形式化框架、能力测评理论及方法研究
  • 批准号：
    62377003
  • 批准年份：
    2023
  • 资助金额：
    50 万元
  • 项目类别：
    面上项目

相似海外基金

差分プライバシーの検証の基盤となる形式化の構築
构建作为差异隐私验证基础的形式化
  • 批准号：
    24K14893
  • 财政年份：
    2024
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
形式名詞の多義ネットワーク的研究―認知主体と形式化・主観化の関りに着目してー
形式名词的多义网络研究：关注认知主体与形式化/主体化的关系
  • 批准号：
    24K03922
  • 财政年份：
    2024
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
証明支援系による図式証明の形式化：コヒーレンス定理からのアプローチ
使用证明支持系统的图解证明的形式化：来自相干定理的方法
  • 批准号：
    24K16915
  • 财政年份：
    2024
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
近代日本語における名詞の接続形式化に関する研究
现代日语名词连词形式化研究
  • 批准号：
    23K12189
  • 财政年份：
    2023
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
Formalise results in algebra and cryptography, and develop a unified theory of end-to-end security for web applications
将代数和密码学的结果形式化，并开发 Web 应用程序端到端安全的统一理论
  • 批准号：
    2784426
  • 财政年份：
    2022
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Studentship
トポロジーの形式化における深層学習の適用の研究
深度学习在拓扑形式化中的应用研究
  • 批准号：
    20K20340
  • 财政年份：
    2020
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Challenging Research (Pioneering)
社会的選好におけるゼロ効果：形式化と測定
社会偏好的零影响：形式化和衡量。
  • 批准号：
    19K01545
  • 财政年份：
    2019
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
状況モデルの形式化に基づく自然言語読解システムの構築
基于情境模型形式化的自然语言阅读理解系统构建
  • 批准号：
    18J12960
  • 财政年份：
    2018
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
記号計算の手法を駆使した証明とアルゴリズムの形式化
使用符号计算技术将证明和算法形式化
  • 批准号：
    10F00044
  • 财政年份：
    2010
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
日本語を対象とした語用論の動的側面の形式化の研究
日语语用动态方面的形式化研究
  • 批准号：
    19652034
  • 财政年份：
    2007
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了