形状最適化問題・逆問題の精度保証付き数値計算を使った計算機援用証明に興味があります.学振 PDです.

Joined August 2025
heat content の逆問題と,短時間漸近展開の係数の連続性・不連続性に関するプレプリントを公開しました. Katie Gittins 先生(Durham University),Jacob Walker さん(Trinity College, Cambridge)との共同研究です.arxiv.org/abs/2610.32613
1
4
777
「面積が一定の凸四角形領域のうち,Neumann Laplacian の最小正固有値 μ₁ を最大化するものは正方形である」を計算機援用証明し,プレプリントを公開しました. Braxton Osting 先生 (University of Utah) との共同研究です. arxiv.org/abs/2609.02784
5
2
22
4,917
こちらの研究について、日本応用数理学会から「2025年度年会若手優秀講演賞」を頂きました。ありがとうございます。
「正三角形でない三角形におけるラプラシアンのディリクレ第2固有値は単純である」という命題に対する計算機援用証明の Part Ⅱ が『Numerische Mathematik』にアクセプトされました.
3
15
1,461
こちらの論文が出版されました. link.springer.com/article/10…
「正三角形でない三角形におけるラプラシアンのディリクレ第2固有値は単純である」という命題に対する計算機援用証明の Part Ⅱ が『Numerische Mathematik』にアクセプトされました.
4
13
1,804
個人 website を作りました.よろしくお願いします. ryendo.github.io/en/
3
1
7
647
「正三角形でない三角形におけるラプラシアンのディリクレ第2固有値は単純である」という命題に対する計算機援用証明の Part Ⅱ が『Numerische Mathematik』にアクセプトされました.
1
2
1
10
3,895
計算機援用証明 Part Ⅰ はこちらです. The second Dirichlet eigenvalue is simple on every non-equilateral triangle, Part I: Nearly degenerate triangles sciencedirect.com/science/ar…
200