课题基金 / 基金详情

Philosophy of Computation: Towards Various Developements

Philosophy of Computation: Towards Various Developements
计算哲学：走向多样化发展
批准号：
24320008
负责人：
MIYOSHI Hiroyuki
金额：
$9.24万
依托单位：
Kyoto Sangyo University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2016-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24320008/
关键词：
計算の哲学量子論論理学圏論音楽の哲学量子論の基礎不確定性原理ミクロ-マクロ双対性偶然性科学の科学力学的不変量

项目摘要

项目成果

MIYOSHI Hiroyuki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
量子測定の数理と不確定性原理(10)
量子测量的数学和不确定性原理（10）
DOI： --
发表时间： 2014
期刊： 不確定性原理と相補性原理,数学セミナー
影响因子： --
作者： [M. Matsumoto, M. Saito, K. Matoba, 小澤正直]
通讯作者： 小澤正直
バロックの哲学　２　ジル・ドゥルーズにおけるバロック
巴洛克哲学 2 吉尔·德勒兹的巴洛克
DOI： --
发表时间： 2013
期刊： 思想　岩波書店
影响因子： --
作者： [中畑正志, 中畑正志, 中畑正志, 中畑正志, 中畑正志, 中畑正志, 中畑正志, 西日本哲学会編, 中畑正志, 中畑　正志, Tatsuya HIGAKI, Goro YAMAZAKI, 檜垣立哉, 檜垣立哉, HIGAKI,Tatsuya, 檜垣立哉, Goro YAMAZAKI, 檜垣立哉, 檜垣立哉]
通讯作者： 檜垣立哉
On the crispness of omega and arithmetic with a bisimulation in a constructive naive set theory
论构造性朴素集合论中欧米伽和互模拟算术的清晰性
DOI： 10.1093/jigpal/jzt045
发表时间： 2014
期刊： Logic Journal of IGPL
影响因子： --
作者： [Yatabe, S., Shunsuke YATABE]
通讯作者： Shunsuke YATABE
天然知能：総合と貼り合わせ
自然智能：综合和粘贴
DOI： --
发表时间： 2015
期刊： 比較思想研究
影响因子： --
作者： [Y. Kamiya, R. Saeki, K. Tachibana, K. Yasuoka, Satoshi Kokado and Masakiyo Tsunoda, 郡司ペギオ幸夫]
通讯作者： 郡司ペギオ幸夫
共 124 条
    The mechanisms of preneoplastic nodule formation in the liver by loss of LKB1
    • 批准号：
      18590368
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.55万
    • 财政年份：
      2006
    • 负责人：
      MIYOSHI Hiroyuki
    • 依托单位：
      Kyoto University
    Philosophy of Computation-developments and explorations
    • 批准号：
      17320009
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $7.87万
    • 财政年份：
      2005
    • 负责人：
      MIYOSHI Hiroyuki
    • 依托单位：
      Kyoto Sangyo University
    Philosophy of Computation: radical reconstruction of the notion of computation
    • 批准号：
      15320007
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $3.39万
    • 财政年份：
      2003
    • 负责人：
      MIYOSHI Hiroyuki
    • 依托单位：
      Kyoto Sangyo University
    Development of method for gene function analysis using lentiviral vectors
    • 批准号：
      15510167
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.5万
    • 财政年份：
      2003
    • 负责人：
      MIYOSHI Hiroyuki
    • 依托单位：
      RIKEN
    海外基金