Evolution and development of high-level modeling languages integrating programming lanuguage technologies
Evolution and development of high-level modeling languages integrating programming lanuguage technologies
集成编程语言技术的高级建模语言的演变和发展
批准号：
18H03223
负责人：
Ueda Kazunori
金额：
$10.48万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Duracz らの操作的意味論に基づく ハイブリッドシステムの高信頼シミュレータの実装
基于 Duracz 等人的操作语义实现混合系统的可靠模拟器。
基于 Duracz 等人的操作语义实现混合系统的可靠模拟器。
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[小嶋翔太, 石井大輔]
通讯作者：
石井大輔
参照を用いたデータ構造の形状のユーザ定義の型に基づく型検査
使用引用基于数据结构形状的用户定义类型进行类型检查
使用引用基于数据结构形状的用户定义类型进行类型检查
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[佐野 仁, 上田 和紀]
通讯作者：
上田 和紀
グラフの内包記法の実現に向けたLMNtalにおけるメッシュ構造の定義検討
检查LMNtal中网格结构的定义，实现图理解方法
检查LMNtal中网格结构的定义，实现图理解方法
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[田村 滉明, 上田 和紀, 冨岡 太一]
通讯作者：
冨岡 太一
純粋型なし・型付きラムダ計算の実用的かつ高機能なインタプリタの実装
实现一个实用且高性能的纯无类型和类型 lambda 演算解释器
实现一个实用且高性能的纯无类型和类型 lambda 演算解释器
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Naoki Yamamoto, Kazunori Ueda]
通讯作者：
Kazunori Ueda
情報可視化やインタラクションのためのライブラリ Siv3D の機能強化と C++17, C++20 への対応
Siv3D（信息可视化和交互库）的增强功能，以及对 C++17 和 C++20 的支持
Siv3D（信息可视化和交互库）的增强功能，以及对 C++17 和 C++20 的支持
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[佐野 仁, 上田 和紀, 佐野 仁，上田 和紀, 中田 昌輝，上田 和紀, 橋本 彩美，上田 和紀, 秦 国大，上田 和紀, 山本 直輝，上田 和紀, 鈴木 遼，上田 和紀，坂井 滋和]
通讯作者：
鈴木 遼，上田 和紀，坂井 滋和
共 54 条
Developing highly functional 3D-printing technologies supported by advanced programming methodologies
-
批准号：18K19788
-
项目类别：Grant-in-Aid for Challenging Research (Exploratory)
-
资助金额：$3.91万
-
财政年份：2018
-
负责人：Ueda Kazunori
-
依托单位：
Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers
-
批准号：26280024
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$10.98万
-
财政年份：2014
-
负责人：Ueda Kazunori
-
依托单位：