Automated Debugging with Soft Constraints(Fostering Joint International Research)

具有软约束的自动调试（促进国际联合研究）

基本信息

  • 批准号：
    15KK0016
  • 负责人：
    Hosobe Hiroshi
  • 金额：
    $ 7.16万
  • 依托单位：
    Hosei University
  • 依托单位国家：
    日本
  • 项目类别：
    Fund for the Promotion of Joint International Research (Fostering Joint International Research)
  • 财政年份：
    2016
  • 资助国家：
    日本
  • 起止时间：
    2016 至 2019
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Solving Hierarchical Soft Constraints with an SMT Solver
使用 SMT 求解器求解分层软约束
ソフト制約のモデル化・解決とその応用
软约束建模与求解及其应用
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Masaki Ito;Tatsu Kuwatani;Ryosuke Oyanagi and Toshiaki Omori;Teppei Yajima and Hiroshi Hosobe;大森敏明，岡本敦，道林克禎，Oman Drilling Project Phase 2 Science Party;伊藤雅起，桑谷立，大柳良平，大森敏明;Kei Takei and Hiroshi Hosobe;政廣蓮，大森敏明;Satoru Imura and Hiroshi Hosobe;政廣蓮，大森敏明;細部博史;井上広明，大森敏明;細部博史
  • 通讯作者：
    細部博史
A Japanese Software Keyboard for Tablets That Reduces User Fatigue
用于平板电脑的日语软件键盘可减少用户疲劳
A 2-by-6-Button Japanese Software Keyboard for Tablets
适用于平板电脑的 2 x 6 按钮日语软件键盘
  • DOI：
    10.5220/0006652701470154
  • 发表时间：
    2018
  • 期刊：
    Proceedings of VISIGRAPP2018
  • 影响因子：
    0
  • 作者：
    Masaki Ito;Tatsu Kuwatani;Ryosuke Oyanagi and Toshiaki Omori;Teppei Yajima and Hiroshi Hosobe;大森敏明，岡本敦，道林克禎，Oman Drilling Project Phase 2 Science Party;伊藤雅起，桑谷立，大柳良平，大森敏明;Kei Takei and Hiroshi Hosobe
  • 通讯作者：
    Kei Takei and Hiroshi Hosobe
ニースソフィアアンティポリス大学(フランス)
尼斯索菲亚安蒂波利斯大学（法国）
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Hosobe Hiroshi其他文献

Voice adaptation by color-encoded frame matching as a multi-objective optimization problem for future games
通过颜色编码帧匹配进行语音适应作为未来游戏的多目标优化问题
  • DOI：
    10.1007/s40747-021-00604-6
  • 发表时间：
    2022
  • 期刊：
    Complex & Intelligent Systems
  • 影响因子：
    5.8
  • 作者：
    Midtlyng Mads;Sato Yuji;Hosobe Hiroshi
  • 通讯作者：
    Hosobe Hiroshi

Hosobe Hiroshi的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Hosobe Hiroshi', 18)}}的其他基金

Technology for Reliable Reactive Programming
可靠的反应式编程技术
  • 批准号：
    17H01726
  • 财政年份：
    2017
  • 资助金额：
    $ 7.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)

相似海外基金

ソフトウェア計装を用いたデバッグが容易なC/C++メモリ関連脆弱性検知器の開発
开发易于使用软件检测进行调试的 C/C++ 内存相关漏洞检测器
  • 批准号：
    24K14890
  • 财政年份：
    2024
  • 资助金额：
    $ 7.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
デバッグ技能だけでなく周辺知識の学習に関する支援も行う学習支援環境
一个学习支持环境，不仅为调试技能提供支持，还为学习外围知识提供支持。
  • 批准号：
    23K17014
  • 财政年份：
    2023
  • 资助金额：
    $ 7.16万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
Analysis of logging configurations on output and support of their optimization based on project characteristics
日志输出配置分析，支持根据项目特点进行优化
  • 批准号：
    23K16862
  • 财政年份：
    2023
  • 资助金额：
    $ 7.16万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
設計価値を実感し活用できる演習環境によるプログラミング方法・価値観の定着支援
通过可以体验和运用设计价值的练习环境，支持建立编程方法和价值观
  • 批准号：
    22K12311
  • 财政年份：
    2022
  • 资助金额：
    $ 7.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
プログラミング初学者の支援に向けたバグ自動修正・生成技術の創出
创建自动错误修正和生成技术以支持编程初学者
  • 批准号：
    22K18630
  • 财政年份：
    2022
  • 资助金额：
    $ 7.16万
  • 项目类别：
    Grant-in-Aid for Challenging Research (Exploratory)
High-Quality Deep Learning Systems via Tracability Exploration between Requirements and Implementation
通过需求和实现之间的可追溯性探索来构建高质量的深度学习系统
  • 批准号：
    21H03420
  • 财政年份：
    2021
  • 资助金额：
    $ 7.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Ruby on Railsの初学者のための躓き自己解決支援システムの開発
为 Ruby on Rails 初学者开发自解决支持系统
  • 批准号：
    21K02758
  • 财政年份：
    2021
  • 资助金额：
    $ 7.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
回路分野の学生実験における検証・デバッグ技術の活用による高度化・効率化
通过在电路领域的学生实验中使用验证和调试技术来提高复杂性和效率
  • 批准号：
    20K03114
  • 财政年份：
    2020
  • 资助金额：
    $ 7.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
授業と学習支援システムを連携した初修プログラミング向けデバッグ学習支援環境の開発
为初学者编程开发连接课程和学习支持系统的调试学习支持环境
  • 批准号：
    19K20422
  • 财政年份：
    2019
  • 资助金额：
    $ 7.16万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
データに基づき自動修正も含む型エラーデバッギングの理論と実際
基于数据自动修正的类型错误调试理论与实践
  • 批准号：
    19K20248
  • 财政年份：
    2019
  • 资助金额：
    $ 7.16万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了