2 papers
cs.PL2024
Conditional Nested Pattern Matching in Interaction Net
Shinya Sato
Interaction nets are a form of restricted graph rewrite system that can serve as a graphical or textual programming language. As such, benefits include one-step confluence, ease of…
math.AP2024
Higher-order asymptotic profiles of solutions to the Cauchy problem for the convection-diffusion equation with variable diffusion
Ikki Fukuda, Shinya Sato
We consider the asymptotic behavior of solutions to the convection-diffusion equation: \[ \partial_t u - \mathrm{div}\left(a(x)\nabla u\right) = d\cdot\nabla \left(\left\lvert u\ri…