English | 日本語
Third-year computer science undergraduate, after a ten-month exchange abroad.
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)
English | 日本語
情報工学を専攻している学部3年です。10ヶ月の交換留学から戻ってきました。
答えを主張するのではなく論証しなければならない問題に関心があります。探索と最適化、データとプライバシー、形式論理、認可の設計、そしてワークフローを正直に保つための小さなツールです。公開しているものはどれも同じ作り方をしています。主張はREADMEに書き、根拠はリポジトリに置き、テストはCIで動かします。
| togakuren-analytics | 大学サッカーの記録を再現可能な分析にしたもの。2,312試合、先発と自由記述の交代時刻から再構成した出場時間、設定が見ていないシーズンで採点した試合予測、調整プラスマイナス評価。いずれもアマチュア選手のデータを再配布しない形 |
| torcs-racing-controller | 自律走行のレーシングコントローラを261.42秒から106.63秒まで短縮したもの。READMEの数値はすべてコミット済みの実測に辿れる。重みを保存できなかった1回の走行も含めて記載 |
| two-stage-evacuation-router | 高校のチーム課題を、説明可能な制約付き経路探索として作り直したもの。最も近い出口を貪欲に選ぶのではなく、避難所までの経路全体を最適化 |
| assessment-system-design-case-study | 構築に関わったシステムを攻撃者の視点で読み直し、認可の中核を作り直したもの。指摘に散文ではなくコードで答える構成 |
| evidence-first-travel-planner | ヨーロッパ約15ヶ国での旅程作成の経験を、決定的な検証器にまとめたもの。出典、鮮度、時刻、乗り換え、矛盾、代替手段を検査 |
| learning-logic-in-computer-science | 論理学の科目をどう学んだかの記録と、その考え方を実行可能にしたライブラリ。DPLL、導出、単一化、有界モデル検査 |
| blog-asset-pipeline | 手作業だった納品フローをCLIにしたもの。不備のある一式は納品させない。画像検査は依存なしで、どこでも動作 |
| java-programming-retrospective | 1年次の課題を2学期後に作り直したもの。当時わかっていなかったことをそのまま残した記録 |
| ZzzMemo | 実際に自分で使っているタスク管理ツールをセルフホストしたもの。自然言語での入力、ローカルにフォールバックするLLM分類、カレンダー同期 |
根拠を先に置くソフトウェア開発を通して、実装の力を積み上げています。対象はスポーツ分析、制約付き経路探索、進化計算、セキュリティを意識した設計、そして実際のワークフローに合わせたツールです。ソフトウェアエンジニアリングとAIのインターンに関心があります。
日本語（母語）・英語（IELTS 6.5）