ORCID
学位
-
博士(理学) （ 2023年3月 東京工業大学 ）
研究キーワード
-
ソフトウェア保守
-
型システム
-
プログラミング言語理論
-
プログラミング言語
-
ソフトウェア
研究分野
-
情報通信 / ソフトウェア
-
情報通信 / 情報学基礎論
学歴
-
東京工業大学 情報理工学院 数理・計算科学系 数理・計算科学コース
2020年4月 - 2023年3月
国名： 日本国
-
東京工業大学 情報理工学院 数理・計算科学系 数理・計算科学コース
2018年4月 - 2020年3月
国名： 日本国
-
東京工業大学 理学部 情報科学科
2014年4月 - 2018年3月
国名： 日本国
経歴
-
東京科学大学 情報理工学院 数理・計算科学系 助教
2024年10月 - 現在
国名：日本国
-
東京工業大学 情報理工学院 数理・計算科学系 助教
2024年4月 - 2024年9月
国名：日本国
-
京都大学 大学院情報学研究科 通信情報システム専攻 特定研究員
2023年4月 - 2024年3月
国名：日本国
-
独立行政法人日本学術振興会 特別研究員 (DC2)
2022年4月 - 2023年3月
国名：日本国
所属学協会
-
情報処理学会
2025年4月 - 現在
-
ACM
2023年 - 現在
委員歴
-
PPL 2027 財務担当
2027年
団体区分：学協会
-
PPL 2026 財務副担当
2026年
団体区分：学協会
-
SLE 2026 Program Committee
2026年
団体区分：学協会
-
PPL 2025 財務担当, プログラム委員
2025年
団体区分：学協会
-
‹Programming› 2025 Artifact Evaluation Committee
2025年
団体区分：学協会
-
POPL2025 Artifact Evaluation Committee
2025年
団体区分：学協会
-
OOPSLA 2025 Artifact Evaluation Committee
2025年
団体区分：学協会
-
PLDI 2025 Research Artifacts Artifact Evaluation Committee
2025年
団体区分：学協会
-
Joint Seminar on Programming Languages 発起人, 運営委員
2024年 - 現在
-
情報処理学会 プログラミング研究会 (IPSJ SIGPRO) 外部査読者
2024年
団体区分：学協会
-
PLDI 2024 Research Artifacts Artifact Evaluation Committee
2024年
団体区分：学協会
-
TyDe 2024 Program Committee
2024年
団体区分：学協会
-
ECOOP 2024 Extended Review Committee and Artifact Evaluation Committee
2024年
団体区分：学協会
-
ATVA 2024 Poster Chair
2024年
団体区分：学協会
-
ICFP 2024 Artifact Evaluation Committee
2024年
団体区分：学協会
-
APSEC 2024 External Reviewer
2024年
団体区分：学協会
-
APLAS 2024 Student Research Competition and Posters Oraganizer, Selection Committee, and Judge
2024年
団体区分：学協会
-
ICCQ 2024 Program Committee
2024年
団体区分：学協会
-
APSEC 2023 Student Research Competition Program Committee
2023年
団体区分：学協会
-
ICSME 2023 Industry Track Program Committee
2023年
団体区分：学協会
-
APLAS 2023 Student Research Competition and Posters Judge
2023年
団体区分：学協会
-
COP 2023 Organizing Committee and Program Committee Chair
2023年
団体区分：学協会
-
ICCQ 2023 Program Committee
2023年
団体区分：学協会
-
PeerJ Computer Science Reviewer
2022年
団体区分：学協会
-
COP 2022 Organizing Committee and Program Committee Chair
2022年
団体区分：学協会
-
PEPM History Project Organizing Committee
2022年
団体区分：学協会
-
Scheme 2021 External Reviewer
2021年
団体区分：学協会
-
Onward! Essays 2020 Program Committee (Co-reviewer)
2020年
団体区分：学協会
論文
-
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric 査読 国際誌
Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe
Proceedings of the ACM on Programming Languages (PACMPL) 8 ( PLDI ) 1585 - 1608 2024年6月
-
Compilation Semantics for a Programming Language with Versions 査読 国際誌
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
Programming Languages and Systems, 21th Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26, 2023, Proceedings 14405 3 - 23 2023年11月
-
A Functional Programming Language with Versions 査読 国際誌
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
The Art, Science, and Engineering of Programming 6 ( 1 ) 5 - 5 2022年
-
Multi-Version Objects: Mediating Object Access in Mixed-Version Programs for Python 査読
Satsuki Kasuya, Yudai Tanabe, Hidehiko Mauhara
The 28th JSSST Workshop on Programming and Programming Languages (PPL2026), Category 1 2026年3月
-
Towards Borrowable Ownership Types with Algebraic Effect Handlers 査読
Peien Chen, Yudai Tanabe, Taro Sekiyama
The 28th JSSST Workshop on Programming and Programming Languages (PPL2026), Category 1 2026年3月
-
トレーシングJITコンパイラを用いた多段階計算の高速かつ簡易な実行方式 査読
吉村友成, 田邉裕大, 増原英彦
The 28th JSSST Workshop on Programming and Programming Languages (PPL2026), Category 1 2026年3月
-
Language-Level Support for Multiple Versions for Software Evolution
Tomoyuki Aotani, Satsuki Kasuya, Luthfan Anshar Lubis, Hidehiko Masuhara, Yudai Tanabe
The 24th Belgium-Netherlands Software Evolution Workshop (BENEVOL2025), Summary of Highlights and Outstanding Work (SHOW) Track 2025年11月
-
Kosuke Kiuchi, Yudai Tanabe, Hidehiko Masuhara
Journal of Information Processing 33 840 - 851 2025年10月
-
Dynamic Version Checking for Gradual Updating 査読 国際誌
Satsuki Kasuya, Yudai Tanabe, Hidehiko Masuhara
Journal of Information Processing 33 471 - 486 2025年
-
BatakJava: An Object-Oriented Programming Language with Versions 査読 国際誌
Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022) 222 - 234 2022年11月
-
A Step toward Programming with Versions in Real-World Functional Languages 査読 国際誌
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
Proceedings of the 14th ACM SIGPLAN International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition (COP '22) 44 - 51 2022年
-
A Context-Oriented Programming Approach to Dependency Hell 査読 国際誌
Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
Proceedings of the 10th ACM SIGPLAN International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition (COP '18) 8 - 14 2018年
書籍等出版物
-
COP 2023: Proceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
Yudai Tanabe, Lars Schütze, Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara（ 担当： 編集）
Association for Computing Machinery 2023年7月 （ ISBN:9798400702440 ）
-
COP '22: Proceedings of the 14th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
Yudai Tanabe, Jens Lincke, Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara（ 担当： 編集）
Association for Computing Machinery 2022年12月 （ ISBN:9781450399869 ）
MISC
-
Jorunal of Functional Programming PhD Abstracts 国際誌
Yudai Tanabe
Journal of Functional Programming 33 ( e6 ) 2023年7月
講演・口頭発表等
-
Language-Level Support for Multiple Versions for Software Evolution 招待 国際会議
Tomoyuki Aotani, Satsuki Kasuya, Luthfan Anshar Lubis, Hidehiko Masuhara, Yudai Tanabe
The 24th Belgium-Netherlands Software Evolution Workshop (BENEVOL2025), Keynote Talk & Summary of Highlights and Outstanding Work (SHOW) Track 2025年11月 Vadim Zaytsev, Fernando Castor
-
Chasing Efficiency in Sound Gradual Typing 招待
田邉 裕大
第156回プログラミング研究会 若手研究者招待講演 2025年11月 日本情報処理学会
-
Chasing Sound and Practical Gradual Typing, in Action 招待
田邉裕大
国際高等セミナー 2025年9月 国立情報学研究所
-
Bringing Fine-Grained Task Parallelism to GPUs 招待
Yudai Tanabe
MIT-Toyohashi ASPIRE workshop 2025 2025年6月
-
Programming Language with Versions 招待
Yudai Tanabe
The 7th STAIR Lab ST Seminar 2024年5月 Software Technology & Artificial Intelligence Research Laboratory, Chiba Institute of Techonology
-
A Language to Safely Exploit Multi-Version Modules at the Expression-level 招待
田辺 裕大
The 13th ACM SIGPLAN International Workshop on Context-Oriented Programming and Advanced Modularity (COP 2021) 2021年7月
-
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric 招待
田邉裕大
日本ソフトウェア科学会第41回大会 トップカンファレンス特別講演 2024年9月
-
Multi-Version Objects: Mediating Object Access in Mixed-Version Programs for Python
Satsuki Kasuya, Yudai Tanabe, Hidehiko Masuhara
The 28th JSSST Workshop on Programming and Programming Languages (PPL2026), Category 1 2026年3月 Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)
-
Towards Borrowable Ownership Types with Algebraic Effect Handlers
Peien Chen, Yudai Tanabe, Taro Sekiyama
The 28th JSSST Workshop on Programming and Programming Languages (PPL2026), Category 1 2026年3月 Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)
-
トレーシングJITコンパイラを用いた多段階計算の高速かつ簡易な実行方式
吉村友成, 田邉裕大, 増原英彦
The 28th JSSST Workshop on Programming and Programming Languages (PPL2026), Category 1 2026年3月 Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)
-
川上竜司, 田邉裕大, 関山太郎
The 28th JSSST Workshop on Programming and Programming Languages (PPL 2026), Category 3 (Poster) 2026年3月 Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)
-
補助データの構造データへの色付けによる可視化と残像アニメーションの提案
林みなみ, 田邉裕大, 増原英彦
The 28th JSSST Workshop on Programming and Programming Languages (PPL 2026), Category 3 (Poster) 2026年3月 Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)
-
Towards Borrowable Ownership Types with Algebraic Effect Handlers (Poster)
Peien Chen, Yudai Tanabe, Taro Sekiyama
The 28th JSSST Workshop on Programming and Programming Languages (PPL 2026), Category 3 (Poster) 2026年3月 Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)
-
吉尾拓真, 田邉裕大, 増原英彦
The 28th JSSST Workshop on Programming and Programming Languages (PPL 2026), Category 3 (Poster) 2026年3月 Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)
-
Multi-Version Objectsによる複数バージョンが共存するアプリケーションの構築と進化
糟谷颯希, 田邉裕大, 増原英彦
The 28th JSSST Workshop on Programming and Programming Languages (PPL 2026), Category 3 (Poster) 2026年3月 Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)
-
多版オブジェクト機構による漸進的ソフトウェア移行
糟谷颯希, 田邉裕大, 増原英彦
ソフトウェアエンジニアリングシンポジウム2025 (SES2025) 2025年9月 情報処理学会 ソフトウェア工学研究会
-
漸進的ソフトウェア移行に向けた多版オブジェクト機構の導入
糟谷颯希, 田邉裕大, 増原英彦
日本ソフトウェア科学会第42回大会 2025年9月 日本ソフトウェア科学会
-
田邉裕大
高校生・受験生のための東京科学大学 理工学系 オープンキャンパス2025 2025年8月 東京科学大学
-
吉村友成, 田邉裕大, 増原英彦
The 2nd Workshop on Metaprogramming and Related Topics 2025 2025年6月
-
Fork-Joinモデルで記述された細粒度並列プログラムのGPU上での効率的な実行手法の提案
木内康介, 田邉裕大, 増原英彦
情報処理学会 第153回プログラミング研究発表会 2025年3月
-
非互換な振る舞いの変更に対応した更新タイミングの決定戦略
糟谷颯希, 田邉裕大, 増原英彦
第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 2025年3月
-
Language Server Protocolを用いたライブプログラミング環境Kanonの汎環境化
稲葉亮太, 増原英彦, 田邉裕大, 叢悠悠
第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 2025年3月
-
Linear Haskell での Rust 流借用の純粋な実現
松下祐介, 田邉裕大, 関山太郎, 五十嵐淳
第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 2025年3月
-
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe
第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 2025年3月
-
Adapting Ownership Types for Resource-Safe Algebraic Effect Handling
Peien Chen, Yudai Tanabe, Youyou Cong, Hidehiko Masuhara
The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025) 2025年3月
-
ライブプログラミング環境Kanonにおけるプログラマの関心事の強調法の提案
林みなみ, 田邉裕大, 増原英彦
第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 2025年3月
-
可視化されたデータ構造の編集による対話的プログラム合成手法RefSynの提案
吉尾拓真, 田邉裕大, 増原英彦
第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 2025年3月
-
メタトレーシングJITコンパイラを用いた多段階計算の高速化への試み
吉村友成, 田邉裕大, 増原英彦
第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 2025年3月
-
Dynamic Version Checking for Gradual Updating
Satsuki Kasuya, Yudai Tanabe, Hidehiko Masuhara
情報処理学会 第152回プログラミング研究発表会 2025年1月
-
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe
The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024) 2024年6月
-
TensorSafeのテンソル形状一致検査方式の有向非巡回グラフモデルへの応用
須田太斗, 田邉裕大, 増原英彦, 叢悠悠
情報処理学会 第149回プログラミング研究発表会 2024年6月
-
Compilation Semantics for a Programming Language with Versions
田辺 裕大, Luthfan Anshar Lubis, 青谷 知幸, 増原 英彦
第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024年3月
-
複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性検査機構の提案
糟谷 颯希, 増原 英彦, 青谷 知幸, 田辺 裕大, Luthfan Anshar Lubis
第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024年3月
-
Compilation Semantics for a Programming Language with Versions
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) 2023年11月
-
A Functional Programming Language with Versions
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
The International Conference on the Art, Science, and Engineering of Programming (‹Programming›'23) 2023年3月
-
BatakJava: An Object-Oriented Programming Language with Versions
Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
The 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022) 2022年12月
-
A Step toward Programming with Versions in Real-World Functional Languages
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhar
The 14th ACM SIGPLAN International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition (COP '22) 2022年6月
-
A Functional Programming Language with Versions
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
The International Conference on the Art, Science, and Engineering of Programming (‹Programming›'22) 2022年4月
-
A Functional Programming Language with Versions
田辺 裕大, Luthfan Anshar Lubis, 青谷 知幸, 増原 英彦
第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022) 2022年3月
-
Graded Modalityを用いた型ベースの互換性解析
田辺 裕大, Luthfan Anshar Lubis, 青谷 知幸, 増原 英彦
日本ソフトウェア科学会第37回大会 2020年9月
-
BatakJava: A Java Extension with Versions
Luthfan Anshar Lubis, 田辺 裕大, 青谷 知幸, 増原 英彦
日本ソフトウェア科学会第37回大会 2020年9月
-
Object-oriented Programming with Versions
Luthfan Anshar Lubis, 田辺 裕大, 青谷 知幸, 増原 英彦
第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 2020年3月
-
コエフェクト多相性に基づいた版多相性の実現
田辺 裕大, Luthfan Anshar Lubis, 青谷 知幸, 増原 英彦
第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 2020年3月
-
コエフェクト計算に基づく量化型の再形式化
田辺 裕大, Luthfan Anshar Lubis, 青谷 知幸, 増原 英彦
情報処理学会 第124回プログラミング研究発表会 2019年6月
-
バージョン付きモジュールシステムの提案
田辺 裕大, 青谷 知幸, 増原 英彦
第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019) 2019年3月
-
依存性地獄へのCOPアプローチ
田辺 裕大
組木ミーティング6.0 2018年9月
-
A Context-Oriented Programming Approach to Dependency Hell
Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
The 10th ACM SIGPLAN International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition (COP '18) 2018年7月
-
プログラミング言語へのバージョンの導入の研究
田辺 裕大, Luthfan Anshar Lubis, 青谷 知幸, 増原 英彦
第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018) 2018年3月
受賞
-
2025年9月 ソフトウェアエンジニアリングシンポジウム2025 (SES2025) 多版オブジェクト機構による漸進的ソフトウェア移行
糟谷颯希, 田邉裕大, 増原英彦
-
2025年3月 第27回プログラミングおよびプログラミング言語ワークショップ (PPL2025) Linear Haskell での Rust 流借用の純粋な実現
松下祐介, 田邉裕大, 関山太朗, 五十嵐淳
共同研究・競争的資金等の研究課題
-
互換性指向プログラム解析による漸進的・対話的なプログラム更新支援
研究課題/領域番号：25K21178 2025年4月 - 2028年3月
日本学術振興会 科学研究費助成事業 若手研究
田邉 裕大
-
プログラミング言語への意味的バージョンの導入による更新支援技術の研究
研究課題/領域番号：23K19961 2023年8月 - 2025年3月
日本学術振興会 科学研究費助成事業 研究活動スタート支援
田邉 裕大
-
言語処理系フレームワークによる性能と開発効率を両立させる言語基盤の創出
研究課題/領域番号：23K28058 2023年4月 - 2028年3月
日本学術振興会 科学研究費助成事業 基盤研究(B)
増原 英彦, 叢 悠悠, 田邉 裕大, 伊澤 侑祐
-
バージョンを言語要素に持つプログラミング言語の開発
研究課題/領域番号：22KJ1313 2023年3月 - 2024年3月
日本学術振興会 科学研究費助成事業 特別研究員奨励費
田辺 裕大
配分額：1400000円 （ 直接経費：1400000円 ）
交付申請書で挙げた3つの項目について以下の成果を得た。
項目Ⅰ「コア言語の設計」コア言語λVLの体系を変更し、型安全性の言明を洗練させた。本成果は萌芽的な研究アイデアと共に<Programming>2023で発表した。
項目Ⅱ「現代的言語機能の提案言語への導入」（オブジェクト指向言語）提案機能を持つオブジェクト指向言語BatakJavaを設計した。BatakJavaではバージョニングの対象はクラス定義である。型検査機は各クラスの持つバージョン情報を収集し、特定のバージョン向けのJavaクラスへとコンパイルする。BatakJava言語処理系を拡張可能JavaコンパイラExtendJを用いて実装し、事例研究を行った。本成果はSLE2023で発表された。また、BatakJavaの柔軟性を向上させるためのアイデア・応じたコンパイル手法の拡張のアイデアをPPL2023で発表した。（関数型言語）Haskellのサブセットを提案機能で拡張した言語VLを設計した。VLではバージョニングの対象はモジュールである。各式の外部モジュールへの依存性はインターフェースに集約され、モジュール外に提供される。また検討を行った結果、当初の計画とは異なり、提案機能とパターンマッチに相互作用があることが明らかになった。本成果はVL言語処理系として実装され、現在執筆中の論文に纏め2023年末の国際会議に投稿予定である。
項目Ⅲ「既存言語のプログラミングと提案手法の接続」既存の関数型言語プログラムから式レベルの依存性情報を含むインターフェースを自動生成する手法Bundlingを提案した。Bundlingは各バージョンのトップレベル式の持つバージョン情報を集約する。本成果はCOP2023で発表しVL言語の言語処理系の一部として実装された。本成果は現在執筆中の論文に纏め、2023年末の国際会議に投稿予定である。 -
バージョンを言語要素に持つプログラミング言語の開発
研究課題/領域番号：22J14382 2022年4月 - 2023年3月
日本学術振興会 科学研究費助成事業 特別研究員奨励費
田辺 裕大
-
高相互運用性を持つソフトウェアモジュールのためのソフトウェア契約の研究
研究課題/領域番号：20H00582 2020年4月 - 2025年3月
日本学術振興会 科学研究費助成事業 基盤研究(A)
五十嵐 淳, 末永 幸平, 関山 太朗, 池渕 未来, 田邉 裕大, 松下 祐介
担当区分：研究分担者
配分額：44460000円 （ 直接経費：34200000円 、 間接経費：10260000円 ）
【研究項目1. モジュール間のデータ変換機構とその自動化の研究】前年度から行っているレコードとハッシュテーブルが相互運用な可能な言語の研究を進め，基本的な機能をSML#コンパイラ上に実装することができ，この成果について国内研究集会で論文発表を行った．一方で，SML#に実装されているOhoriの多相レコード計算の制限から再帰的データ構造の取り扱いに当初想定していなかった問題があること，ならびにコンパイラ内での中間処理に起因する制限から，ある種類のプログラムについてはうまくコンパイルできないことが判明した．前者について，解決の方策は既に得られているが理論的な問題がないことを確認する必要がある．後者については純粋にエンジニアリング的な問題であり時間をかければ解決可能であると見込んでいる．一般的なデータ変換の自動化機構については関連研究のサーベイなどを行った．
<BR>
また、関連して、LLVM IR からスマートコントラクト言語Michelsonへのコンパイル方式の研究を行った。これは多言語モジュールでスマートコントラクトを記述することにも繋がる。
<BR>
【研究項目2. 多言語モジュールで構成されたソフトウェアシステムの検証機構】交付申請書であげた(項目2-1)については，項目1のデータ変換自動化機構とも密接に関連することもあり，関連研究のサーベイに費した．
(項目2-2)の多相型を持つ言語と動的型付言語間の相互運用を行うための実行検査については，前年度までの空間効率のよい実装の不可能性の理論的結果に基づき，不可能性がパラメータ性を実行時に保証するために使われている名前生成機構のみに因ることを理論的に示した．具体的には，空間効率の指標となるサイズ関数の定義を，連続したコアーションについてはサイズを定数と見做すことにすれば，空間効率がよいと見做せることを証明した．
担当経験のある科目（授業）
-
情報理工学フォーラム
2024年10月 - 現在 機関名：東京科学大学
-
研究プロジェクト（数理・計算科学系）
2024年10月 - 現在 機関名：東京科学大学
-
プログラミング第二
2024年10月 - 現在 機関名：東京科学大学
-
情報理工学フォーラム
2024年4月 - 2024年9月 機関名：東京工業大学
-
プログラミング第二
2024年4月 - 2024年9月 機関名：東京工業大学
学術貢献活動
-
PPL 2021 ソーシャルイベント パネリスト
役割：パネル司会・セッションチェア等
関山 太郎 2021年
-
SPLASH 2020 Student Volunteer
役割：企画立案・運営等
Robert Dyer and Samantha Syeda Khairunnesa 2020年