Computer Science and Engineering at Yokohama National University (third year), after a ten-month exchange at the University of Sheffield.
I like problems where the answer has to be argued for, not asserted: search and optimisation, data and privacy, formal logic, authorisation design, and the small tools that keep a workflow honest. Most of what I publish is built the same way — the claim is in the README, the evidence is in the repository, and the tests run in CI.
| togakuren-analytics | University football records turned into reproducible analysis: 2,312 fixtures, player-minutes rebuilt from lineups and free-text substitution times, a match forecast scored on seasons its settings never saw, and adjusted plus-minus ratings — none of it redistributing amateur players' data. |
| torcs-racing-controller | An autonomous racing controller taken from 261.42 s to 106.63 s. Every number in the README traces to a committed measurement, including the one run whose weights were never saved. |
| two-stage-evacuation-router | A high-school team project reimplemented as an explainable constrained-routing system that optimises the complete escape-to-shelter route instead of greedily choosing the nearest exit. |
| assessment-system-design-case-study | Reading a system I helped build as an attacker would, then rebuilding its authorisation core so the findings are answered by code, not by prose. |
| evidence-first-travel-planner | Travel-planning practice across roughly fifteen European countries distilled into a deterministic validator for provenance, freshness, time, transfers, conflicts, and fallbacks. |
| learning-logic-in-computer-science | How I studied a logic module, plus a library that makes the ideas executable — DPLL, resolution, unification, bounded model checking. |
| blog-asset-pipeline | A manual delivery workflow turned into a CLI that refuses to ship a broken set. Dependency-free image inspection, so it runs anywhere. |
| java-programming-retrospective | First-year coursework rebuilt two semesters later, as an honest record of what I did not know at the time. |
| ZzzMemo | The task manager I actually use, self-hosted: natural-language capture, LLM sorting with local fallback, calendar sync. |
Building implementation depth through evidence-first software: sports analytics, constrained routing, evolutionary computation, security-focused design, and tools built around real workflows. Interested in software engineering and AI internships.
Japanese (native) · English (IELTS 6.5)