课题基金 / 基金详情

古典論理を基礎とした同期プリミティブを持つ,並列プログラム言語の研究

古典論理を基礎とした同期プリミティブを持つ,並列プログラム言語の研究
基于经典逻辑的同步原语并行编程语言研究
批准号：
03858008
负责人：
立木 秀樹
金额：
$0.64万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1991
资助国家：
日本
项目状态：
已结题
起止时间：
1991 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-03858008/
关键词：

项目摘要

项目成果

立木 秀樹的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
連続な空間上の計算とその複雑さの研究
  • 批准号：
    23K28036
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $9.32万
  • 财政年份：
    2024
  • 负责人：
    立木 秀樹
  • 依托单位：
    Kyoto University
連続な空間上の計算とその複雑さの研究
  • 批准号：
    23H03346
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $11.81万
  • 财政年份：
    2023
  • 负责人：
    立木 秀樹
  • 依托单位：
    Kyoto University
実数プログラミングと実関数の計算可能性
  • 批准号：
    12780217
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 资助金额：
    $1.22万
  • 财政年份：
    2000
  • 负责人：
    立木 秀樹
  • 依托单位：
    Kyoto University
コンピュータ上での無限精度実数の実現
  • 批准号：
    10780207
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 资助金额：
    $1.15万
  • 财政年份：
    1998
  • 负责人：
    立木 秀樹
  • 依托单位：
    Kyoto University