田邉裕大

タナベユウダイ | Tanabe Yudai

所属機関・部署：
職名：助教
ホームページURL (1件)： https://yudaitnb.github.io/

研究分野 (2件)：情報学基礎論 , ソフトウェア

研究キーワード (4件)：プログラミング言語 , ソフトウェア , 型理論 , ソフトウェアメンテナンス

競争的資金等の研究課題 (4件)：

論文 (6件)：

Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proceedings of the ACM on Programming Languages. 2024. 8. PLDI. 1585-1608
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara. Compilation Semantics for a Programming Language with Versions. Programming Languages and Systems, 21th Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26, 2023, Proceedings. 2023. 14405. 3-23
Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara. BatakJava: An Object-Oriented Programming Language with Versions. Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022). 2022. 222-234
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara. A Step toward Programming with Versions in Real-World Functional Languages. Proceedings of the 14th ACM SIGPLAN International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition (COP '22). 2022. 44-51
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara. A Functional Programming Language with Versions. The Art, Science, and Engineering of Programming. 2022. 6. 1. 5-5

書籍 (2件)：

COP 2023: Proceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
Association for Computing Machinery 2023 ISBN:9798400702440
COP '22: Proceedings of the 14th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
Association for Computing Machinery 2022 ISBN:9781450399869

講演・口頭発表等 (15件)：

Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
(日本ソフトウェア科学会第41回大会 2024)
TensorSafeのテンソル形状一致検査方式の有向非巡回グラフモデルへの応用
(情報処理学会プログラミング研究会 2024)
Programming Language with Versions
(The STAIR Lab Seminar, Software Technology & Artificial Intelligence Research Laboratory, Chiba Institute of Techonology 2024)
複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性検査機構の提案
(第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024)
Compilation Semantics for a Programming Language with Versions
(第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024)

学歴 (3件)：

学位 (1件)：

経歴 (4件)：

委員歴 (23件)：

全件表示

所属学会 (1件)：

ACM

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

田邉 裕大