Tanabe Yudai 田邉裕大

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

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
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

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
[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] 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] 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

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: 1 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

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

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

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

Author(s)

Organizer

Data Source

[Presentation] Compilation Semantics for a Programming Language with Versions2024

Author(s)

Organizer

Data Source

[Presentation] Compilation Semantics for a Programming Language with Versions2024

Author(s)

Organizer

Data Source

[Presentation] Compilation Semantics for a Programming Language with Versions2023

Author(s)

Organizer

Data Source

Tanabe Yudai 田邉裕大