刷新
{{item.name}}会员
Automatic generation of programming questions by symbolic execution
通过符号执行自动生成编程题
基本信息
- 批准号：20K12106
- 负责人：
- 金额：$ 2.75万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2020
- 资助国家：日本
- 起止时间：2020-04-01 至 2023-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（10）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
IFIP WCCE 2022: World Conference on Computers in Education
IFIP WCCE 2022：教育计算机世界会议
- DOI：
- 发表时间：2022
- 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
ブロック部品を用いたプログラミング試験について
关于使用块部件对测试进行编程
- DOI：
- 发表时间：2023
- 期刊：
- 影响因子：0
- 作者：Thongchotchat Vivat;Sato Kazuhiko;Suto Hidetsugu;田辺良則，萩谷昌己
- 通讯作者：田辺良則，萩谷昌己
ビジュアルプログラミングによるプログラミング試験について
关于使用可视化编程进行编程考试
- DOI：
- 发表时间：2023
- 期刊：
- 影响因子：0
- 作者：紅葉亜練，小松川浩;田辺良則，萩谷昌己
- 通讯作者：田辺良則，萩谷昌己
Automatic Scoring in Programming Examinations for Beginners
初学者编程考试自动评分
- DOI：10.1007/978-3-031-17583-1_10
- 发表时间：2022
- 期刊：
- 影响因子：0
- 作者：Yoshinori Tanabe;Masami Hagiya
- 通讯作者：Masami Hagiya
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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 }}
Hagiya Masami其他文献
High-Dimensional Outiler Detection Algorithm via Locality Sensitive Hashing
基于局部敏感哈希的高维异常点检测算法
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Aubert-Kato Nathanael;Hagiya Masami;Zhuo Qin and Kenta Nakai - 通讯作者：
Zhuo Qin and Kenta Nakai
Designing Controllers for Molecular Robots with the PEN DNA Toolbox
使用 PEN DNA 工具箱设计分子机器人控制器
- DOI：
10.11499/sicejl.58.270 - 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Aubert-Kato Nathanael;Hagiya Masami - 通讯作者：
Hagiya Masami
A reservoir computing approach for molecular computing
分子计算的储层计算方法
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Aubert-Kato Nathanael;Yahiro Wataru;Hagiya Masami - 通讯作者：
Hagiya Masami
Hagiya Masami的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Hagiya Masami', 18)}}的其他基金
Learning by Molecular Robot Swarm
分子机器人群学习
- 批准号：
17K19961 - 财政年份：2017
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
Testing and model checking of IoT protocols
物联网协议的测试和模型检查
- 批准号：
17H01719 - 财政年份：2017
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Software model checking methods for cloud computing middleware
云计算中间件软件模型检验方法
- 批准号：
23240003 - 财政年份：2011
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (A)
相似海外基金
数理・情報教育を機能させる大学生のメタ認知能とその伸長へと導く授業改善手法の開発
使数学与信息教育有效的大学生元认知能力的发展及促进其发展的教学改进方法
- 批准号：
24K06284 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
大学の一般情報教育におけるマルチモーダル形態への移行と効果検証
大学普通信息教育向多模式转型及有效性验证
- 批准号：
24K06411 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
高大接続を意識した情報教育教材とデータ駆動型教育のための学習支援環境の構築
构建具有高中和大学联系意识的信息化教材和数据驱动教育的学习支持环境
- 批准号：
23K25716 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
小学生から高校生のためのＷｅｂプログラミングによるＩｏＴ体験型情報教育教材の開発
利用网络编程开发面向小学生至高中生的物联网体验式信息教育材料
- 批准号：
24H02743 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Encouragement of Scientists
データ活用の指導不安を解消する教科横断型情報教育実践モデルの開発
开发跨学科信息化教育实践模型，消除教学数据利用担忧
- 批准号：
24K05914 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
一般情報教育のデジタルトランスフォーメーション（DX）
普通信息教育的数字化转型（DX）
- 批准号：
23K25704 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
一般情報教育のカリキュラム設計を目的とした正課内外の活動に基づく学生の類型化
根据课外活动和课外活动对学生进行分类，以便进行普通信息教育的课程设计
- 批准号：
24K06286 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Web併用体験型情報遺産展示を伴った未来志向教科架橋型情報教育体系の構築
以网络体验式信息遗产展览构建面向未来的学科桥梁信息教育体系
- 批准号：
23K25669 - 财政年份：2024
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Construction of Future-oriented Curriculum Bridging Information Education System with Web-based Experiential Information Heritage Exhibition
以网络体验式信息遗产展构建面向未来的课程桥接信息教育体系
- 批准号：
23H00972 - 财政年份：2023
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
主体的な学びを涵養する初年次情報教育プログラムの開発
制定促进独立学习的第一年信息教育计划
- 批准号：
23K02823 - 财政年份：2023
- 资助金额：
$ 2.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)