课题基金 / 基金详情

Automatic generation of programming questions by symbolic execution

Automatic generation of programming questions by symbolic execution
通过符号执行自动生成编程题
批准号：
20K12106
负责人：
Hagiya Masami
金额：
$2.75万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2020
资助国家：
日本
项目状态：
已结题
起止时间：
2020-04-01 至 2023-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20K12106/
关键词：
プログラミング教育情報教育プログラミング言語記号実行定理証明仕様記述・検証ソフトウェアテストComputer Based Testing

项目摘要

项目成果

Hagiya Masami的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
IFIP WCCE 2022: World Conference on Computers in Education
IFIP WCCE 2022：教育计算机世界会议
DOI： --
发表时间： 2022
期刊：
影响因子： --
作者： []
通讯作者：
試験問題の自動採点が行えるプログラミング言語の検討
考虑一种可以自动对测试问题评分的编程语言
DOI： --
发表时间： 2021
期刊： 信学技報
影响因子： --
作者： [田辺良則, 萩谷昌己]
通讯作者： 萩谷昌己
ブロック部品を用いたプログラミング試験について
关于使用块部件对测试进行编程
DOI： --
发表时间： 2023
期刊：
影响因子： --
作者： [Thongchotchat Vivat, Sato Kazuhiko, Suto Hidetsugu, 田辺良則，萩谷昌己]
通讯作者： 田辺良則，萩谷昌己
ビジュアルプログラミングによるプログラミング試験について
关于使用可视化编程进行编程考试
DOI： --
发表时间： 2023
期刊： 情報処理学会研究報告コンピュータと教育
影响因子： --
作者： [紅葉亜練，小松川浩, 田辺良則，萩谷昌己]
通讯作者： 田辺良則，萩谷昌己
共 7 条
    Learning by Molecular Robot Swarm
    • 批准号：
      17K19961
    • 项目类别：
      Grant-in-Aid for Challenging Research (Exploratory)
    • 资助金额：
      $3.99万
    • 财政年份：
      2017
    • 负责人：
      Hagiya Masami
    • 依托单位：
      The University of Tokyo
    Testing and model checking of IoT protocols
    • 批准号：
      17H01719
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $11.81万
    • 财政年份：
      2017
    • 负责人：
      Hagiya Masami
    • 依托单位：
      The University of Tokyo
    Software model checking methods for cloud computing middleware
    • 批准号：
      23240003
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $30.95万
    • 财政年份：
      2011
    • 负责人：
      Hagiya Masami
    • 依托单位：
      The University of Tokyo
    海外基金