课题基金 / 基金详情

投射モデル計数のためのグラフ表現を用いた問題分類と計数戦略

投射モデル計数のためのグラフ表現を用いた問題分類と計数戦略
使用图形表示进行投影模型计数的问题分类和计数策略
批准号：
23K11045
负责人：
橋本 健二
金额：
$3.0万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2023
资助国家：
日本
项目状态：
未结题
起止时间：
2023-04-01 至 2026-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-23K11045/
关键词：
モデル計数機械学習SAT

项目摘要

项目成果

橋本 健二的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
人型ロボットによるヒトのバランス制御と空中感覚理解
Study on the processes of disparity expansion and their social consequences in Japanese three metropolitan areas
  • 批准号：
    20H00086
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)
  • 资助金额：
    $27.79万
  • 财政年份：
    2020
  • 负责人：
    橋本 健二
  • 依托单位：
    Waseda University
脚接地面の変形を考慮した2足歩行ロボットの歩行安定化技術構築とその定量的評価手法
  • 批准号：
    08J03981
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
  • 资助金额：
    $0.77万
  • 财政年份：
    2008
  • 负责人：
    橋本 健二
  • 依托单位：
    Waseda University
路面の変形を考慮した2足歩行ロボットの歩行安定化技術構築とその定量的評価手法
  • 批准号：
    19760179
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 资助金额：
    $2.04万
  • 财政年份：
    2007
  • 负责人：
    橋本 健二
  • 依托单位：
    Waseda University
海外基金