眞田 嵩大 (Takahiro Sanada)

日本語のページ(Japanese page)

I am an assistant professor at Fukui Prefectural University.

My research interests are programming language and its semantics.

Contact

Takahiro Sanada (眞田 嵩大)

Fukui Prefectural University, Eiheiji-cho 910-1195, Japan.

Email: tsanada (at) fpu.ac.jp, tsanada.cs (at) gmail.com

Papers / Preprints

  1. T.S. Algebraic effects and handlers for arrows. Journal of Functional Programming. 34. 2024. [doi]
  2. Koko Muroya, T.S., and Natsuki Urabe. Preorder-Constrained Simulations for Program Refinement with Effects. CMCS 2024. [doi]
  3. T.S., Ryota Kojima, Yuichi Komorida, Koko Muroya, and Ichiro Hasuo. Explicit Hopcroft’s Trick in Categorical Partition Refinement. CMCS 2024. [doi] [preprint at arXiv]
  4. T.S. Category-Graded Algebraic Theories and Effect Handlers. MFPS 2022. [doi] [extended version]
  5. Koko Muroya, T.S., and Natsuki Urabe. Preorder-Constrained Simulation for Nondeterministic Automata (Early Idea). CALCO 2021. [doi]

Talks / Posters

  1. 逆微分圏に基づいたアローハンドラによるニューラルネットワークプログラミング言語に向けて． 日本ソフトウェア科学会第42回大会． 2025年9月3日． （平井謙信氏，星野恵佑氏，勝股審也氏との共同研究）
  2. ニューラルネットワークプログラミング言語のための代数構造 理論計算機科学と圏論ワークショップ (CSCAT) 2025． 2025年3月10日．
  3. ニューラルネットワークプログラミング言語のための代数構造 第27回プログラミングおよびプログラミング言語ワークショップ（PPL 2025）． 2025年3月7日．
  4. Algebraic Effects and Handlers for Arrows. JFP first paper, ICFP 2024. Milan. September 2024. [slide]
  5. アローに対する代数的エフェクトとエフェクトハンドラ. 日本ソフトウェア科学会 第40回大会. 2023年9月. [slide in Japanese][講演論文]
  6. アローに対する代数的エフェクトとエフェクトハンドラ. SLACS 2023. 2023年 9月.
  7. アローに対する代数的エフェクトとエフェクトハンドラ. RIMS 木曜セミナー. 2023年6月8日. [slide in Japanese]
  8. Algebraic Effects and Handlers for Arrows. International Symposium on Advanced Quantum Technology for Future 2023. 14 March, 2023. [poster]
  9. ファイブレーションを用いた分割細分アルゴリズムとHopcroftの最適化の構造． CSCAT 2023. 2023年3月． [slide in Japanese] joint work with Ryota Kojima, Yuichi Komorida, Koko Muroya, and Ichiro Hasuo.
  10. An Inequality for the Complexity of Bisimilarity Computations and a Fibrational Algorithm. The 8th KTGU Mathematics Workshop for Young Researchers. January 2023. [poster] joint work with Ryota Kojima, Yuichi Komorida, Koko Muroya, and Ichiro Hasuo.
  11. Algebraic Effect and Handlers. Workshop for Advanced Quantum Technology for Future 2022. 30 September 2022. [poster]
  12. Category-Graded Effect System and Algebraic Theory. ERATO Project Colloquium. 6 September 2022. [slide]
  13. Category-Graded Effect System and Algebraic Theory. International Symposium on Advanced Quantum Technology for Future 2022. [poster]
  14. 代数・モナド・プログラム． 学生談話会． 2021年7月8日． [概要] [slide in Japanese]
  15. Category-Graded Algebraic Theories and Effect Handlers. CSCAT 2021. March 2021.

Softwares

I made the following softwares.

Thesis

Links

People: Yota Maeda, Kengo Hirata, Keisuke Hoshino, Yuto Kawase, Hayato Nasu,