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
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.
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
Articles
Graph Monotonicity and the Safety of Permission Additions in the Zanzibar Model
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
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
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)
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
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"
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
OCaml Meeting 2026 in Tokyo
Spoke at an OCaml community event. Wrote a program in OCaml that calls an LLM API and deployed it on Cloud Run as an HTTP server built with Eio. Beyond the design built around the module system, the talk also covers building the container image and managing library dependencies.
関数型まつり 2026
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.
λ Kansai in Summer 2026
A functional programming event held in Osaka. Shared an attempt to implement Haskell-like type classes and Monads in Standard ML.
AI を紡ぐ者たち #1
Spoke at the meetup hosted by 3-shake Inc., sharing my reflections on adopting spec-driven development in real-world projects.
Certifications
Google Cloud
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
Generative AI Leader
