Tanabe Yudai 田邉裕大

… Alternative Names

田辺裕大タナベユウダイ

Less

Researcher Number	30985198
Other IDs	https://orcid.org/0000-0002-7990-0989
Affiliation (Current)	2025: 東京科学大学, 情報理工学院, 助教
Affiliation (based on the past Project Information) *help	2025: 東京科学大学, 情報理工学院, 助教 2024: 東京工業大学, 情報理工学院, 助教 2023: 京都大学, 情報学研究科, 特定研究員 2022 – 2023: 東京工業大学, 情報理工学院, 特別研究員(DC2)
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / 1001:Information science, computer engineering, and related fields / Basic Section 60050:Software-related Except Principal Investigator Basic Section 60050:Software-related / Medium-sized Section 60:Information science, computer engineering, and related fields
Keywords	Principal Investigator プログラミング言語 / バージョン / ソフトウェア互換性 / ソフトウェア更新支援 / 先進的モジュールシステム / コエフェクト / バージョン管理システム / 型推論 / 型システム Except Principal Investigator 型埋め込みインタプリタ … More / 多言語プログラム実行基盤 / GPGPU / 依存型システム / 継続渡し形式変換 / 内在的型安全コンパイラ / 型安全な計算効果 / 文脈指向プログラミング / メタインタプリタ / コード生成手法 / 演算加速器 / 言語処理系フレームワーク / ソフトウエア契約 / ソフトウェア契約 / 相互運用性 / プログラム検証 / プログラミング言語 Less

Programming Supports for Incremental and Interactive Updates through Compatibility-Oriented Program AnalysisPrincipal Investigator
- Principal Investigator
  
  田邉裕大
- Project Period (FY)
  2025 – 2027
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Institute of Science Tokyo
High-Performance and Highly-Productive Language Infrastructures Based on Language Implementation Frameworks
- Principal Investigator
  
  増原英彦
- Project Period (FY)
  2023 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Institute of Science Tokyo
プログラミング言語への意味的バージョンの導入による更新支援技術の研究Principal Investigator
- Principal Investigator
  
  田邉裕大
- Project Period (FY)
  2023 – 2024
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Review Section
  
  1001:Information science, computer engineering, and related fields
- Research Institution
  Kyoto University
バージョンを言語要素に持つプログラミング言語の開発Principal Investigator
- Principal Investigator
  
  田辺裕大
- Project Period (FY)
  2022 – 2023
- Research Category
  
  Grant-in-Aid for JSPS Fellows
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo Institute of Technology
Research on software contracts for highly interoperable software modules
- Principal Investigator
  
  五十嵐淳
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Kyoto University

All 2024 2023 2022

All Journal Article Presentation

[Journal Article] Space-Efficient Polymorphic Gradual Typing, Mostly Parametric2024
- Author(s)
  Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe
- Journal Title
  
  Proceedings of the ACM on Programming Languages (PLDI)
  
  Volume: - Issue: PLDI Pages: 1585-1608
- DOI
  10.1145/3656441
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K20247, KAKENHI-PROJECT-20H00582
[Journal Article] Compilation Semantics for a Programming Language with Versions2023
- Author(s)
  Tanabe Yudai, Lubis Luthfan Anshar, Aotani Tomoyuki, Masuhara Hidehiko
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 14405 Pages: 3-23
- DOI
  10.1007/978-981-99-8311-7_1
- ISBN
  9789819983100, 9789819983117
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K19961, KAKENHI-PROJECT-23K21656, KAKENHI-PROJECT-23K28058
[Journal Article] A Step toward Programming with Versions in Real-World Functional Languages2022
- Author(s)
  Tanabe Yudai、Lubis Luthfun Anshar、Aotani Tomoyuki、Masuhara Hidehiko
- Journal Title
  
  Proceedings of the 14th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition
  
  Volume: 1 Pages: 44-51
- DOI
  10.1145/3570353.3570359
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22KJ1313
[Journal Article] BatakJava: an Object-Oriented Programming Language with Versions2022
- Author(s)
  Lubis Luthfan Anshar, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
- Journal Title
  
  Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering
  
  Volume: - Pages: 222-234
- DOI
  10.1145/3567512.3567531
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03219, KAKENHI-PROJECT-22KJ1313
[Presentation] Compilation Semantics for a Programming Language with Versions2024
- Author(s)
  Tanabe, Yudai and Anshar, Lubis Luthfan and Aotani, Tomoyuki and Masuhara, Hidehiko
- Organizer
  The 26th JSSST Workshop on Programming and Programming Languages
- Data Source
  KAKENHI-PROJECT-23K28058
[Presentation] 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性機構の提案2024
- Author(s)
  Satsuki Kasuya, Hidehiko Masuhara, Tomoyuki Aotani, Yudai Tanabe, Luthfan Anshar Lubis
- Organizer
  The 26th JSSST Workshop on Programming and Programming Languages (PPL 2024)
- Data Source
  KAKENHI-PROJECT-23K19961
[Presentation] Compilation Semantics for a Programming Language with Versions2024
- Author(s)
  Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, and Hidehiko Masuhara
- Organizer
  The 26th JSSST Workshop on Programming and Programming Languages (PPL 2024)
- Data Source
  KAKENHI-PROJECT-23K19961
[Presentation] 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性機構の提案2024
- Author(s)
  糟谷, 颯希 and 増原, 英彦 and 青谷, 知幸 and 田辺, 裕大 and Anshar, Lubis Luthfan
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ(PPL2024)
- Data Source
  KAKENHI-PROJECT-23K28058
[Presentation] A Functional Programming Language with Versions2023
- Author(s)
  Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
- Organizer
  The 7th International Conference on the Art, Science, and Engineering of Programming
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22KJ1313
[Presentation] Toward Parameterized Versions in Object-oriented Version Programming2023
- Author(s)
  Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
- Data Source
  KAKENHI-PROJECT-22KJ1313
[Presentation] Compilation Semantics for a Programming Language with Versions2023
- Author(s)
  Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, and Hidehiko Masuhara
- Organizer
  The 21st Asian Symposium on Programming Languages and Systems (APLAS2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K19961
[Presentation] BatakJava: An Object-Oriented Programming Language with Versions2022
- Author(s)
  Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
- Organizer
  The 15th ACM SIGPLAN International Conference on Software Language Engineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22KJ1313

1. 五十嵐淳 (40323456)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. 末永幸平 (70633692)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 池渕未来 (70961796)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 関山太朗 (80828476)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
5. 松下祐介 (41003875)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 増原英彦 (40280937)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
7. 叢悠悠 (30847629)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 伊澤侑祐 (40890827)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Tanabe Yudai 田邉 裕大

田辺 裕大 タナベ ユウダイ

Research Projects

Research Products

Co-Researchers

Programming Supports for Incremental and Interactive Updates through Compatibility-Oriented Program AnalysisPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

High-Performance and Highly-Productive Language Infrastructures Based on Language Implementation Frameworks

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

プログラミング言語への意味的バージョンの導入による更新支援技術の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

バージョンを言語要素に持つプログラミング言語の開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on software contracts for highly interoperable software modules

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Space-Efficient Polymorphic Gradual Typing, Mostly Parametric2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Compilation Semantics for a Programming Language with Versions2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] A Step toward Programming with Versions in Real-World Functional Languages2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] BatakJava: an Object-Oriented Programming Language with Versions2022

Author(s)

Journal Title

DOI

Data Source

[Presentation] Compilation Semantics for a Programming Language with Versions2024

Author(s)

Organizer

Data Source

[Presentation] 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性機構の提案2024

Author(s)

Organizer

Data Source

[Presentation] Compilation Semantics for a Programming Language with Versions2024

Author(s)

Organizer

Data Source

[Presentation] 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性機構の提案2024

Author(s)

Organizer

Data Source

[Presentation] A Functional Programming Language with Versions2023

Author(s)

Organizer

Data Source

[Presentation] Toward Parameterized Versions in Object-oriented Version Programming2023

Author(s)

Organizer

Data Source

Tanabe Yudai 田邉裕大

田辺裕大タナベユウダイ