研究者
J-GLOBAL ID：201801004783777227
更新日: 2024年09月19日
塚田 武志
Tsukada Takeshi
所属機関・部署：
職名：
准教授
ホームページURL (1件)：
https://takeshi-tsukada.github.io/
研究分野 (2件)：
ソフトウェア
, 情報学基礎論
研究キーワード (4件)：
プログラム検証
, 型システム
, ゲーム意味論
, プログラム意味論
競争的資金等の研究課題 (7件)：
論文 (50件)：
-
Takeshi Tsukada, Hiroshi Unno. Inductive Approach to Spacer. PLDI 2024. 2024
-
TARO SEKIYAMA, TAKESHI TSUKADA, ATSUSHI IGARASHI. Signature restriction for polymorphic algebraic effects. Journal of Functional Programming. 2024. 34
-
Takeshi Tsukada, Kazuyuki Asada. Enriched Presheaf Model of Quantum FPC. Proceedings of the ACM on Programming Languages. 2024
-
Yu Gu, Takeshi Tsukada, Hiroshi Unno. Optimal CHC Solving via Termination Proofs. Proc. ACM Program. Lang. 2023. 7. POPL. 604-631
-
Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada. HFL(Z) Validity Checking for Automated Program Verification. Proc. ACM Program. Lang. 2023. 7. POPL. 154-184
もっと見る
書籍 (1件)：
-
理論計算機科学事典
朝倉書店 2022 ISBN:9784254122633
学位 (1件)：
経歴 (5件)：
- 2020/09 - 現在 千葉大学 大学院理学研究院 准教授
- 2015/04 - 2020/08 東京大学 大学院情報理工学系研究科 助教
- 2013/10 - 2015/03 オックスフォード大学 客員研究員(日本学術振興会 海外特別研究員)
- 2013/04 - 2013/09 東京大学 大学院情報理工学系研究科 特任研究員
- 2010/04 - 2013/03 日本学術振興会 特別研究員 (DC1)
委員歴 (2件)：
- 2024/04 - 現在 情報処理学会 プログラミング研究会 幹事
- 2019/04 - 2023/03 情報処理学会 プログラミング研究会 運営委員
所属学会 (4件)：
日本数学会
, ACM
, 情報処理学会
, 日本ソフトウェア科学階
