--- title: "Hiroyuki Nakahata (@iroha1203) | Hashnode" description: "Algebraic Architecture Theory. Read the latest articles by Hiroyuki Nakahata on Hashnode." url: "https://hashnode.com/@iroha1203" --- @iroha1203 # Hiroyuki Nakahata @iroha1203 · Tokyo, Japan · Joined May 2026 Algebraic Architecture Theory [Website](https://iroha1203.dev/) ### [ArchSig: A Tool That Asks Why, Not How](https://blog.iroha1203.dev/archsig-a-tool-that-asks-why-not-how?utm_source=hashnode&utm_medium=feed) ArchSig examines why software works. Explore how Laws and Atoms reveal shared structures, explain design choices, and connect software to mathematics. 15 min read · [blog.iroha1203.dev](https://blog.iroha1203.dev/archsig-a-tool-that-asks-why-not-how?utm_source=hashnode&utm_medium=feed) [2d ago](https://hashnode.com/posts/archsig-a-tool-that-asks-why-not-how/6af09f8595d37ee34391fbf0) ### [Code Review Starts with What Must Stay True](https://blog.iroha1203.dev/code-review-starts-with-what-must-stay-true?utm_source=hashnode&utm_medium=feed) AI writes code faster than we can review it. Explore how Laws, code observation, and mathematics help you check changes against what must remain true. 20 min read · [blog.iroha1203.dev](https://blog.iroha1203.dev/code-review-starts-with-what-must-stay-true?utm_source=hashnode&utm_medium=feed) [7](https://hashnode.com/posts/code-review-starts-with-what-must-stay-true/6ade12731c09b9fd0c9f51b4) [Oct 25](https://hashnode.com/posts/code-review-starts-with-what-must-stay-true/6ade12731c09b9fd0c9f51b4) ### [Ariadne: The Mathematics of Refactoring in the Age of AI](https://blog.iroha1203.dev/ariadne-the-mathematics-of-refactoring-in-the-age-of-ai?utm_source=hashnode&utm_medium=feed) Explore Ariadne and the mathematics of AI-era refactoring: what can change, when repair is possible, and the information needed to produce one repair. 21 min read · [blog.iroha1203.dev](https://blog.iroha1203.dev/ariadne-the-mathematics-of-refactoring-in-the-age-of-ai?utm_source=hashnode&utm_medium=feed) [2](https://hashnode.com/posts/ariadne-the-mathematics-of-refactoring-in-the-age-of-ai/6ac1fc211b926d0ee0b9eb6f) [Oct 4](https://hashnode.com/posts/ariadne-the-mathematics-of-refactoring-in-the-age-of-ai/6ac1fc211b926d0ee0b9eb6f) ### [The Mathematics of Software Change](https://blog.iroha1203.dev/the-mathematics-of-software-change?utm_source=hashnode&utm_medium=feed) Exploring consistency, migration, and reconstruction through Algebraic Architecture Theory. 25 min read · [blog.iroha1203.dev](https://blog.iroha1203.dev/the-mathematics-of-software-change?utm_source=hashnode&utm_medium=feed) [1](https://hashnode.com/posts/the-mathematics-of-software-change/6ab5610c3f53e63e72d48620) [Sep 24](https://hashnode.com/posts/the-mathematics-of-software-change/6ab5610c3f53e63e72d48620) ### [AI Reads Your Codebase. Then It Forgets Everything.](https://blog.iroha1203.dev/ai-reads-your-codebase-then-it-forgets-everything?utm_source=hashnode&utm_medium=feed) AAT: A Semantic Layer for the AI Era 15 min read · [blog.iroha1203.dev](https://blog.iroha1203.dev/ai-reads-your-codebase-then-it-forgets-everything?utm_source=hashnode&utm_medium=feed) [5](https://hashnode.com/posts/ai-reads-your-codebase-then-it-forgets-everything/6a9ed058168eda7560b3648f) [Sep 7](https://hashnode.com/posts/ai-reads-your-codebase-then-it-forgets-everything/6a9ed058168eda7560b3648f)