"Philosophy of Proofs" - Towards New Developments of Philosophy of Logic and Mathematics

《证明哲学》——走向逻辑与数学哲学的新发展

基本信息

  • 批准号:
    17H02265
  • 负责人:
  • 金额:
    $ 9.48万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
  • 财政年份:
    2017
  • 资助国家:
    日本
  • 起止时间:
    2017-04-01 至 2022-03-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
日仏「論理と数学の哲学」ワークショップ 'Philosophy of logic and mathematics"
日本-法国研讨会“逻辑与数学哲学”
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Workshop"New issues on technology and algorithmic ethics/privacy/fairness, related to Digital/AI/ML"
研讨会“与数字/人工智能/机器学习相关的技术和算法伦理/隐私/公平的新问题”
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Logic Meeting
逻辑会议
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
「文脈原理の哲学」
《语境原则的哲学》
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Yuta Takahashi;Mitsuhiro Okada;原塑;Tomoyuki Yamada and Katsuhiko Sano;手嶋 英貴;荒谷大輔;Masanobu Toyooka and Katsuhiko Sano;岡本賢吾;松浦和也;梶原 三恵子;山蔦真之;辻井義輝・播本崇史・福田真吾・黒田祐介・吉田公平;三重野清顕;近藤智彦;稲場圭信;藤井正人;高橋祥吾;Tai-Wei Hu and Mamoru Kaneko;手嶋 英貴;松浦和也;王文潔・稲場圭信;柴田 大輔;Mitsuhiro Okada;直江 清隆;Mamoru Kaneko;頼住光子;岡本賢吾;下釜 和也;Satoshi Tojo;Tomohiko Kondo;吉田公平・小路口聡・早坂俊廣・鶴成久章・伊香賀隆・播本崇史;Kengo Okamoto;Tsuneyuki ABE;稲場圭信;伊香賀隆・播本崇史;Kengo Okamoto;藤井正人・手嶋英貴(編);菊池誠;Enrico FONGARO;金子洋之
  • 通讯作者:
    金子洋之
Why “formal” for algorithmic ethics research
为什么算法伦理研究“正式”
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    月本 昭男;松居竜五;伊藤貴雄;鈴木岩弓・小林 隆(編);Yoshinobu SHINO;岩佐光晴;Mitsuhiro Okada
  • 通讯作者:
    Mitsuhiro Okada
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ 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 }}

Okada Mitsuhiro其他文献

固有ジョセフソン接合素子アレイを用いたテラヘルツ波発振器の開発
使用独特的约瑟夫森结元件阵列开发太赫兹波振荡器
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Lim Hong En;Irisawa Toshifumi;Okada Naoya;Okada Mitsuhiro;Endo Takahiko;Nakanishi Yusuke;Maniwa Yutaka;Miyata Yasumitsu;田川美穂;柏木隆成,今井貴之,桑野玄気,大野雪乃,中川駿吾,志津友幸,金子陽太,楠瀬慎二,中山繭,Kim Jeonghyuk,山本卓,辻本学,南英俊,門脇和男
  • 通讯作者:
    柏木隆成,今井貴之,桑野玄気,大野雪乃,中川駿吾,志津友幸,金子陽太,楠瀬慎二,中山繭,Kim Jeonghyuk,山本卓,辻本学,南英俊,門脇和男
Influence of an oblique magnetic field on planar flame front instability
倾斜磁场对平面火焰锋不稳定性的影响
  • DOI:
    10.1007/978-3-030-62497-2_26
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kuroda Takashi;Hoshi Yusuke;Masubuchi Satoru;Okada Mitsuhiro;Kitaura Ryo;Watanabe Kenji;Taniguchi Takashi;Machida Tomoki;Mako Sato and Yasuhide Fukumoto
  • 通讯作者:
    Mako Sato and Yasuhide Fukumoto
Very Low-Delay H.264 Coding Control Algorithm amd System for Consumer Applications
适用于消费类应用的极低延迟 H.264 编码控制算法和系统
  • DOI:
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    博樹 溝添;光弘 岡田;弘典 小味;好律 羽鳥;Mizosoe Hiroki;Okada Mitsuhiro;Komi Hironori;Sasamoto Manabu;Hatori Yoshinori
  • 通讯作者:
    Hatori Yoshinori
Flexor pollicis longus tendon rupture by sandwiched underlying volar locking plate and distal radius
夹在下面的掌侧锁定板和远端桡骨导致拇长屈肌腱断裂
  • DOI:
    10.1007/s10396-018-0882-1
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    1.8
  • 作者:
    Uemura Takuya;Okano Tadashi;Onode Ema;Yokoi Takuya;Shintani Kosuke;Okada Mitsuhiro;Nakamura Hiroaki
  • 通讯作者:
    Nakamura Hiroaki
brahmacarin, brahmacarya, and Chastity in Vedic Literature
吠陀文学中的梵行、梵行和贞操

Okada Mitsuhiro的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Okada Mitsuhiro', 18)}}的其他基金

Growth of 2D semiconductors-based lateral homojunctions
基于二维半导体的横向同质结的生长
  • 批准号:
    19K15403
  • 财政年份:
    2019
  • 资助金额:
    $ 9.48万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Interdisciplinary study on logic, with a special focus on intuitionistic logic
逻辑的跨学科研究,特别关注直觉逻辑
  • 批准号:
    26284005
  • 财政年份:
    2014
  • 资助金额:
    $ 9.48万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)

相似海外基金

論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
旨在深化论证和证明哲学的跨学科“逻辑哲学”研究
  • 批准号:
    23K20416
  • 财政年份:
    2024
  • 资助金额:
    $ 9.48万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了