田邉裕大 Tanabe Yudai

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

言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出
- 研究代表者
  
  増原英彦
- 研究期間 (年度)
  2023 – 2027
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東京工業大学
プログラミング言語への意味的バージョンの導入による更新支援技術の研究研究代表者
- 研究代表者
  
  田邉裕大
- 研究期間 (年度)
  2023 – 2024
- 研究種目
  
  研究活動スタート支援
- 審査区分
  
  1001:情報科学、情報工学およびその関連分野
- 研究機関
  京都大学
高相互運用性を持つソフトウェアモジュールのためのソフトウェア契約の研究
- 研究代表者
  
  五十嵐淳
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  基盤研究(A)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  京都大学

すべて 2024 2023

すべて雑誌論文学会発表

[雑誌論文] Space-Efficient Polymorphic Gradual Typing, Mostly Parametric2024
- 著者名/発表者名
  Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe
- 雑誌名
  
  Proceedings of the ACM on Programming Languages (PLDI)
  
  巻: - 号: PLDI ページ: 1585-1608
- DOI
  10.1145/3656441
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19K20247, KAKENHI-PROJECT-20H00582
[雑誌論文] Compilation Semantics for a Programming Language with Versions2023
- 著者名/発表者名
  Tanabe Yudai, Lubis Luthfan Anshar, Aotani Tomoyuki, Masuhara Hidehiko
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 14405 ページ: 3-23
- DOI
  10.1007/978-981-99-8311-7_1
- ISBN
  9789819983100, 9789819983117
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23K19961, KAKENHI-PROJECT-23K21656, KAKENHI-PROJECT-23K28058
[学会発表] 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性機構の提案2024
- 著者名/発表者名
  Satsuki Kasuya, Hidehiko Masuhara, Tomoyuki Aotani, Yudai Tanabe, Luthfan Anshar Lubis
- 学会等名
  The 26th JSSST Workshop on Programming and Programming Languages (PPL 2024)
- データソース
  KAKENHI-PROJECT-23K19961
[学会発表] Compilation Semantics for a Programming Language with Versions2024
- 著者名/発表者名
  Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, and Hidehiko Masuhara
- 学会等名
  The 26th JSSST Workshop on Programming and Programming Languages (PPL 2024)
- データソース
  KAKENHI-PROJECT-23K19961
[学会発表] Compilation Semantics for a Programming Language with Versions2024
- 著者名/発表者名
  Tanabe, Yudai and Anshar, Lubis Luthfan and Aotani, Tomoyuki and Masuhara, Hidehiko
- 学会等名
  The 26th JSSST Workshop on Programming and Programming Languages
- データソース
  KAKENHI-PROJECT-23K28058
[学会発表] Compilation Semantics for a Programming Language with Versions2023
- 著者名/発表者名
  Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, and Hidehiko Masuhara
- 学会等名
  The 21st Asian Symposium on Programming Languages and Systems (APLAS2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K19961

1. 五十嵐淳 (40323456)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 末永幸平 (70633692)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 池渕未来 (70961796)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 関山太朗 (80828476)

共同の研究課題数: 1件

共同の研究成果数: 1件
5. 松下祐介 (41003875)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 増原英彦 (40280937)

共同の研究課題数: 1件

共同の研究成果数: 1件
7. 叢悠悠 (30847629)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 伊澤侑祐 (40890827)

共同の研究課題数: 1件

共同の研究成果数: 0件

田邉 裕大 Tanabe Yudai

研究課題

研究成果

共同研究者

言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

高相互運用性を持つソフトウェアモジュールのためのソフトウェア契約の研究

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] Space-Efficient Polymorphic Gradual Typing, Mostly Parametric2024

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Compilation Semantics for a Programming Language with Versions2023

著者名/発表者名

雑誌名

DOI

ISBN

データソース

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

著者名/発表者名

学会等名

データソース

[学会発表] Compilation Semantics for a Programming Language with Versions2024

著者名/発表者名

学会等名

データソース

[学会発表] Compilation Semantics for a Programming Language with Versions2024

著者名/発表者名

学会等名

データソース

[学会発表] Compilation Semantics for a Programming Language with Versions2023

著者名/発表者名

学会等名

データソース

田邉裕大 Tanabe Yudai