研究者番号 |
30985198
|
その他のID |
|
所属 (現在) |
2024年度: 東京科学大学, 情報理工学院, 助教
|
所属 (過去の研究課題情報に基づく) *注記 |
2024年度: 東京工業大学, 情報理工学院, 助教
2023年度: 京都大学, 情報学研究科, 特定研究員
|
審査区分/研究分野 |
- 研究代表者
-
1001:情報科学、情報工学およびその関連分野
- 研究代表者以外
-
小区分60050:ソフトウェア関連 /
中区分60:情報科学、情報工学およびその関連分野
|
キーワード |
- 研究代表者
-
バージョン / ソフトウェア互換性 / ソフトウェア更新支援 / プログラミング言語
- 研究代表者以外
-
型埋め込みインタプリタ / 多言語プログラム実行基盤 / GPGPU / メタインタプリタ / コード生成手法 / 演算加速器
… もっと見る
/ 言語処理系フレームワーク / ソフトウエア契約 / ソフトウェア契約 / 相互運用性 / プログラム検証 / プログラミング言語
隠す
|