Independent researcher in mathematics and computer science.
M.S. Computer Engineering, New York University. Based in Tokyo, Japan.
Elected Full Member of Sigma Xi, The Scientific Research Honor Society (2026).
Erdős Problem 848: A Kernel-Checked Proof of the Exact Extremal Bound
A kernel-checked proof of the exact extremal statement for every natural number N. Rather than enumerating individual values of N, the proof combines a Hall reformulation, range compression, valuation–cell–fibre descent, and finite certificates consumed by Lean 4. The manuscript, source, theorem map, and replay package are public.
Paper concept DOI · Repository
Hamilton Cycles in Noncrossing Partition Refinement Graph — Submitted to The Electronic Journal of Combinatorics
A complete classification for every natural number: the graph is Hamiltonian exactly for n = 0, n = 1, or even n >= 4; it has a Hamilton path exactly for n <= 3 or even n. The manuscript, theorem map, and Lean 4 formalization are public, with the publication endpoints checked under standard axioms.
Which Structural Constraints Are Learnable? A Regime Map for a Minecraft Voxel Generator — Accepted at the FDG 2026 17th PCG Workshop
A code-and-data-backed study of structural learnability in a fixed 32³ voxel-generation pipeline. Fourteen measured properties separate into nine controllable, four approachable, and one unresponsive regime; the released package includes the analysis, robustness checks, and an interactive explainer.
ACM DOI · Zenodo concept DOI · Repository
The Blackwell Dilemma
A theoretical study of how more informative signals can reduce attainable welfare when feasibility is endogenous. The public materials include the working paper, formal claim ledger, Lean 4 development, simulations, and a preregistered prediction.
On Rado Numbers for x + by = bz: The b^k Pattern and a Threshold Conjecture
SAT- and Lean-backed work on multicolor Rado numbers, including verified artifacts for R_4(3) = 81, an explicit verified witness for R_5(3) > 296, and a clearly separated conjectural frontier.
SSRN · Zenodo concept DOI · Repository
The broader public research corpus spans mathematics, computer science, decision theory, AI governance, and philosophy of cognition. Personal site · SSRN paper list
AEGIS Protocol — Reference implementation of a three-layer protocol for AI-agent action accountability, with tamper-evident records, independent signature verification, and 202 automated tests.
Hot Bath — Independently developed and maintained Minecraft mod with more than one million downloads across public releases.
ModPorter — Developer-preview migration tool for deterministic Forge-to-NeoForge transformations, protected by regression tests and strict real-mod runtime gates.