About Me
As a software engineer, I specialize in application development and supporting organizations in bringing their development processes in-house. My work spans the full spectrum—from application coding to public cloud infrastructure. Recently, I've been focused on putting DevOps practices into action.
I have a strong interest in the theoretical side of computing—fields like theoretical computer science, mathematical logic, and functional programming—which help uncover the "black box" mechanisms behind the tools we use. My favorite programming language is Standard ML (that's Meta Language, not Machine Learning!).
I deeply respect programming languages and tools that are kind to people (both developers and users) and the communities that have nurtured them. Supported by the open-source ecosystem, my goal is to give back to the community as much as I have gained.
Experience
3-shake Inc. - Sreake
Application Development Support (Full Stack)
Providing hands-on support for application development and facilitating the internalization (in-housing) of cloud-native development processes for client teams.
Sonicmoov Co., Ltd. - Solution Division
Software Engineer (Web Backend / Public Cloud)
Engaged in client-facing web application development and led the modernization of legacy systems (system replacement/refactoring).
Education
Graduate School of Science and Technology, Niigata University
Master of Engineering
Researched the foundational theory of programming languages, specifically investigating the computational properties of Term Rewriting Systems.
Faculty of Engineering, Department of Information Engineering, Niigata University
Bachelor of Engineering
Studied Computer Science systematically, with a passion not just for writing code, but for understanding the underlying mechanisms of computers.
Fukushima Prefectural Asaka Senior High School
Writings
Posts on this site are listed on the Posts page.
Thesis
Master's Thesis: Nominal Rewriting with Permutation Fixed Point Constraints
View details
A study on the properties of a computational model known as the Nominal Rewriting System. Also presented at PPL 2022 (Programming and Programming Languages Workshop).
Articles
Graph Monotonicity and the Safety of Permission Additions in the Zanzibar Model
View details
A post from my company's Tech Blog. Using Google Zanzibar's authorization model, I treat relation tuples as a directed graph and reduce permission checks to reachability, then explore how negation (set difference) breaks monotonicity and can cause incidents in distributed systems (the CALM theorem).
Beyond TrueTime: The Role of the Spanner Query Engine
View details
A post from my company's Tech Blog. Rather than the storage layer that guarantees consistency, I focus on the compute layer that earns performance, exploring query engine techniques such as Distributed Union, Batched Apply Join, Restart Token, and Ressi.
Firestore Conflict Resolution and Choosing a Data Model
View details
A post from my company's Tech Blog. I compare Firestore's offline conflict resolution (last write wins and Field transform) with CRDTs (G-Counter, RGA, etc.), exploring the design difference of where the responsibility for conflict resolution should live.
Sreake Use Case (Interview with TIIS)
View details
A case study from a client project at my company. It involves providing support for the modernization of application development.
Commutative Monoids in Cloud Dataflow
View details
A post from my company's Tech Blog. It discusses how commutative monoid structures contribute to the stability of Cloud Dataflow pipelines.
How Cloud Spanner Solved the Global "Time Lag"
View details
A post from my company's Tech Blog. Unlocking the Google Cloud black box: A deep dive into Cloud Spanner's architecture. I examine the inner workings of TrueTime (atomic clocks) and Paxos-based distributed consensus that make multi-region deployments possible.
Talks
"The Definition of Standard ML" in 2026: As a Source of Robust and Modern Software Design
関数型まつり 2026
View details
A functional programming conference. I participated as both a core staff member and a speaker. This talk is an attempt to explore insights for software development from the formal specification of Standard ML.
How to Represent Monads in a Language Without HKTs: The Case of Standard ML
λ Kansai in Summer 2026
View details
A functional programming event held in Osaka. Shared an attempt to implement Haskell-like type classes and Monads in Standard ML.
Reflections on Practicing Spec-Driven Development
AI を紡ぐ者たち #1
View details
Spoke at the meetup hosted by 3-shake Inc., sharing my reflections on adopting spec-driven development in real-world projects.
Certifications
Google Cloud Certifications
Professional Cloud Architect
Professional Cloud Database Engineer
Professional Cloud Developer
Professional Data Engineer
Professional Cloud DevOps Engineer
Professional Cloud Security Engineer
Professional Cloud Network Engineer
Professional Machine Learning Engineer
Professional Security Operations Engineer
Associate Cloud Engineer
Associate Google Workspace Administrator
Associate Data Practitioner
Cloud Digital Leader
