课题基金 / 基金详情

帰納推論に基づく幾何学証明支援システムの研究

帰納推論に基づく幾何学証明支援システムの研究
基于归纳推理的几何证明支持系统研究
批准号：
03750250
负责人：
山本 章博
金额：
$0.51万
依托单位：
Hokkaido University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1991
资助国家：
日本
项目状态：
已结题
起止时间：
1991 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-03750250/
关键词：

项目摘要

项目成果

山本 章博的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
高次元ブール値テンソルデータからの多項閉集合を用いた知識発見
  • 批准号：
    21H03499
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $10.07万
  • 财政年份：
    2021
  • 负责人：
    山本 章博
  • 依托单位：
    Kyoto University
浄土教関連和歌の総合的研究
論理式による実数の近似表現を用いた数値データからの機械学習手法
  • 批准号：
    19650029
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
  • 资助金额：
    $2.11万
  • 财政年份：
    2007
  • 负责人：
    山本 章博
  • 依托单位：
    Kyoto University
表現が精密化可能なデータを対象とするソフトウェアの始祖学習による構成
  • 批准号：
    16016246
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
  • 资助金额：
    $4.03万
  • 财政年份：
    2004
  • 负责人：
    山本 章博
  • 依托单位：
    Kyoto University