眞田 嵩大 (Takahiro Sanada)

Contact

Takahiro Sanada (眞田 嵩大)

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

Email: tsanada.cs (at) gmail.com

Papers / Preprints

• Koko Muroya, T. S., and Natsuki Urabe. Preorder-Constrained Simulations for Program Refinement with Effects. CMCS 2024.
• T. S., Ryota Kojima, Yuichi Komorida, Koko Muroya, and Ichiro Hasuo. Explicit Hopcroft’s Trick in Categorical Partition Refinement. CMCS 2024.
• T. S. Category-Graded Algebraic Theories and Effect Handlers. MFPS 2022. [pdf]
• Koko Muroya, T. S., and Natsuki Urabe. Preorder-Constrained Simulation for Nondeterministic Automata (Early Idea). CALCO 2021. [pdf]

Talks / Posters

• アローに対する代数的エフェクトとエフェクトハンドラ. 日本ソフトウェア科学会 第40回大会. 2023年9月. [slide in Japanese][講演論文]
• アローに対する代数的エフェクトとエフェクトハンドラ. SLACS 2023. 2023年 9月.
• アローに対する代数的エフェクトとエフェクトハンドラ. RIMS 木曜セミナー. 2023年6月8日. [slide in Japanese]
• Algebraic Effects and Handlers for Arrows. International Symposium on Advanced Quantum Technology for Future 2023. 14 March, 2023. [poster]
• ファイブレーションを用いた分割細分アルゴリズムとHopcroftの最適化の構造． CSCAT 2023. 2023年3月． [slide in Japanese] joint work with Ryota Kojima, Yuichi Komorida, Koko Muroya, and Ichiro Hasuo.
• 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.
• Algebraic Effect and Handlers. Workshop for Advanced Quantum Technology for Future 2022. 30 September 2022. [poster]
• Category-Graded Effect System and Algebraic Theory. ERATO Project Colloquium. 6 September 2022. [slide]
• Category-Graded Effect System and Algebraic Theory. International Symposium on Advanced Quantum Technology for Future 2022. [poster]
• 代数・モナド・プログラム． 学生談話会． 2021年7月8日． [概要] [slide in Japanese]
• Category-Graded Algebraic Theories and Effect Handlers. CSCAT 2021. March 2021.

Softwares

I made the following softwares.

• Oekaki: a string diagram editor to generate tikzpicture code.
• QCirS: a quantum circuit simulator
• Surikagaku: a software to compute simplicial and cubical homology.

Thesis

• Takahiro Sanada. Algebraic Effects and Handlers for Arrows. Ph.D. thesis. Kyoto University. 2024.
• Takahiro Sanada. Category-Graded Algebraic Theories and Effect Handlers. MSc thesis. Kyoto University. 2021.

Links

My accounts are:

• ORCID: https://orcid.org/0000-0003-3409-6963
• GitHub: sndtkrh
• GitLab: sndtkrh

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