wasabi315
ENJA
Satoshi Takimoto
スウェーデン・ヨーテボリにて (2023)

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
Satoshi Takimoto, Sosuke Moriguchi and Takuo Watanabe
To appear in Proceedings of the 14th Workshop on Computation: Theory and Practice (WCTP2025)
Unification Modulo Isomorphisms between Dependent Types for Type-Based Library Search
Satoshi Takimoto, Sosuke Moriguchi and Takuo Watanabe
To appear in Proceedings of the 10th ACM SIGPLAN international workshop on type-driven development (TyDe2025)
Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists
Sosuke Moriguchi, Satoshi Takimoto, Mizuki Shirai and Takuo Watanabe
13th Workshop on Computation: Theory and Practice, Atlantic Press, pp. 7–19, Nov., 2024.
https://doi.org/10.2991/978-94-6463-684-0_2
組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御
瀧本 哲史・森口 草介・渡部 卓雄
コンピュータソフトウェア, 日本ソフトウェア科学会, Vol 42 (No. 1), pp. 40-53, Jan., 2025.
https://doi.org/10.11309/jssst.42.1_40

CV

CVはこちら.