Satoshi Takimoto
こんにちは！東京科学大学のProgramming Systems Group（渡部研究室）で博士学生をしています．プログラミング言語と定理証明支援系が好きで，ソフトウェアをより信頼できるものにすることを目指しています．
普段はプログラムを書いたりお気に入りのポストカードを集めたりして過ごしています．
Skills & Interests
研究分野
関数型プログラミング, 定理証明, 型理論
プログラミング言語
Haskell (普段使い), Agda, OCaml, Rust, TypeScript, JavaScript
ソフトウェア開発
コンパイラ・ツール開発, Webアプリケーション開発
Education & Academic Experiences
- 東京科学大学
- 博士学生, 2024/10 - 現在
- 東京工業大学
- 工学修士 (情報工学), 2024/09
- Chalmers University of Technology
- 派遣交換留学, 2022/08 - 2023/06
- 東京工業大学
- 工学学士 (情報工学), 2022/03
Publications
- Formalization of Coverage Checking in Agda
- , Sosuke Moriguchi and Takuo Watanabe
- To appear in Proceedings of the 14th Workshop on Computation: Theory and Practice (WCTP2025)
- PDF GitHub
- Unification Modulo Isomorphisms between Dependent Types for Type-Based Library Search
- , Sosuke Moriguchi and Takuo Watanabe
- TyDe '25: Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development
- DOI PDF GitHub
- Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists
- Sosuke Moriguchi, , Mizuki Shirai and Takuo Watanabe
- 13th Workshop on Computation: Theory and Practice, Atlantic Press, pp. 7–19, Nov., 2024.
- DOI GitHub
- 組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御
- ・森口 草介・渡部 卓雄
- コンピュータソフトウェア, 日本ソフトウェア科学会, Vol 42 (No. 1), pp. 40-53, Jan., 2025.
- DOI GitHub
CV
CVはこちら.