"Philosophy of Proofs" - Towards New Developments of Philosophy of Logic and Mathematics
"Philosophy of Proofs" - Towards New Developments of Philosophy of Logic and Mathematics
《证明哲学》——走向逻辑与数学哲学的新发展
批准号：
17H02265
负责人：
Okada Mitsuhiro
金额：
$9.48万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
日仏「論理と数学の哲学」ワークショップ 'Philosophy of logic and mathematics"
日本-法国研讨会“逻辑与数学哲学”
日本-法国研讨会“逻辑与数学哲学”
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[]
通讯作者：
Workshop"New issues on technology and algorithmic ethics/privacy/fairness, related to Digital/AI/ML"
研讨会“与数字/人工智能/机器学习相关的技术和算法伦理/隐私/公平的新问题”
研讨会“与数字/人工智能/机器学习相关的技术和算法伦理/隐私/公平的新问题”
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[]
通讯作者：
Logic Meeting
逻辑会议
逻辑会议
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[]
通讯作者：
「文脈原理の哲学」
《语境原则的哲学》
《语境原则的哲学》
DOI：
--
发表时间：
2017
期刊：
『現代思想』12月臨時増刊 総特集「分析哲学」
影响因子：
--
作者：
[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
期刊：
影响因子：
--
作者：
[月本 昭男, 松居竜五, 伊藤貴雄, 鈴木岩弓・小林 隆（編）, Yoshinobu SHINO, 岩佐光晴, Mitsuhiro Okada]
通讯作者：
Mitsuhiro Okada
共 58 条
Growth of 2D semiconductors-based lateral homojunctions
-
批准号：19K15403
-
项目类别：Grant-in-Aid for Early-Career Scientists
-
资助金额：$2.75万
-
财政年份：2019
-
负责人：Okada Mitsuhiro
-
依托单位：
Interdisciplinary study on logic, with a special focus on intuitionistic logic
-
批准号：26284005
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$3.58万
-
财政年份：2014
-
负责人：Okada Mitsuhiro
-
依托单位：
海外基金