13 citations · 24 across the 5 of their papers we have counts for
6 papers
A Coalgebraic Dijkstra Algorithm
Takahiro Sanada, Yoàv Montacute, Kittiphon Phalakarn +1
The Dijkstra algorithm is a classical method for solving the shortest path problem on weighted graphs. There are several variations of the Dijkstra algorithm, including algorithms…
Programming Backpropagation with Reverse Handlers for Arrows
Takahiro Sanada, Keisuke Hoshino, Kenshin Hirai +1
We introduce a new programming language and its categorical semantics in order to design and implement neural networks within the framework of algebraic effects and handlers for ar…
Explicit Hopcroft's Trick in Categorical Partition Refinement
Takahiro Sanada, Ryota Kojima, Yuichi Komorida +2
Algorithms for partition refinement are actively studied for a variety of systems, often with the optimisation called Hopcroft's trick. However, the low-level description of those…
Category-Graded Algebraic Theories and Effect Handlers
Takahiro Sanada
We provide an effect system CatEff based on a category-graded extension of algebraic theories that correspond to category-graded monads. CatEff has category-graded operations and h…
A Hydrodynamical Study on the Conversion of Hadronic Matter to Quark Matter: I. Shock-Induced Conversion
Shun Furusawa, Takahiro Sanada, Shoichi Yamada
We study transitions of hadronic matter (HM) to 3-flavor quark matter (3QM) locally, regarding the conversion processes as combustion and describing them hydrodynamically. Not only…
A Hydrodynamical Study on the Conversion of Hadronic Matter to Quark Matter: II. Diffusion-Induced Conversion
Shun Furusawa, Takahiro Sanada, Shoichi Yamada
We study transitions of hadronic matter (HM) to 3-flavor quark matter (3QM), regarding the conversion processes as combustion and describing them hydrodynamically. Under the assump…