grants
Leading as a Principal Investigator
-
2023 - 2025 Research on Updating Support Techniques by Introducing Semantic Versioning into Programming Languages
プログラミング言語への意味的バージョンの導入による更新支援技術の研究Japan Society For the Promotion of Science (JSPS) - Grunt Number 23K19961
-
2022 - 2024 Programming Language with Versions
バージョンを言語要素に持つプログラミング言語の開発Japan Society For the Promotion of Science (JSPS) - Grunt Number 22KJ1313 / 22J14382
- ※ Withdrawn in 2023 due to my transfer to Kyoto University.
Contributing as a Co-investigator
-
2024 - 2028 High-Performance and Highly-Productive Language Infrastructures Based on Language Implementation Frameworks
言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出Japan Society For the Promotion of Science (JSPS) - Grunt Number 23K28058
-
2020 - 2025 Research on software contracts for highly interoperable software modules
高相互運用性を持つソフトウェアモジュールのためのソフトウェア契約の研究Japan Society For the Promotion of Science (JSPS) - Grunt Number 20H00582