About Me
ソフトウェアエンジニアとして，アプリケーションの開発や，開発プロセスの内製化支援のお仕事をしています．アプリケーションのコーディングからパブリッククラウドまで，なんでも幅広くやっています．最近は DevOps の実践に関心があります．
技術やツールのブラックボックスになっている部分，それらを裏付ける理論計算機科学や数理論理学，関数型プログラミングなどにも興味があります．お気に入りのプログラミング言語は Standard ML です．(流行りの Machine Learning ではなく Meta Language です．)
人 (開発者にもユーザにも) に優しいプログラミング言語やツール，それらを醸成してきた人々を尊敬しています．今後の普及や発展に自分も貢献できたらなと思っています．コミュニティや OSS に支えられながらの日々ですが，これまで享受してきたぶん，還元していけたらなというのが目標です．
Experience
ソフトウェアエンジニア (Web Backend / Public Cloud)
Web アプリケーションの受託開発やレガシーなシステムのリプレイスなどをやっていました．
Education
新潟大学 大学院 自然科学研究科 電気情報工学専攻 情報工学コース
修士 (工学)
プログラミング言語の基礎理論 (特に「項書き換えシステム」という計算モデルの性質) を研究していました．
新潟大学 工学部 情報工学科
学士 (工学)
プログラムを書くことだけでなくコンピュータの仕組みを知ることが好きでした．
福島県立安積高等学校 普通科
Writings
サイト内にもブログ記事があります．
Thesis
Articles
Zanzibar モデルで考えるグラフの単調性と権限追記の安全性
職場の Tech Blog です．Google Zanzibar の権限モデルを題材に，Relation Tuple を有向グラフとして捉え権限判定をパスの到達性に帰着させる流れや，否定 (差集合) が単調性を崩し分散環境で事故を招くこと (CALM 定理) を見ていきます．
TrueTime だけではない Spanner クエリエンジンの役割
職場の Tech Blog です．Spanner は整合性を保つ部分がよく語られますが，今回はコンピュート層が性能を稼ぐ仕組みに着目し，Distributed Union や Batched Apply Join，Restart Token，Ressi といったクエリエンジンの工夫を掘り下げています．
Firestore の競合解決とデータモデルの選択
職場の Tech Blog です．Firestore のオフライン競合解決を CRDT と比較して，競合解決の責任を持たせる設計の違いを考えます．
Sreake 活用事例の紹介 (TIIS さま, インタビュー記事)
職場の顧客案件における事例紹介です．アプリケーション開発のモダナイゼーション支援をやっております．
順序の不確実性と決定性 〜 Cloud Dataflow における可換モノイド
職場の Tech Blog です．Cloud Dataflow のパイプラインの安定性に可換モノイドの構造が見える話です．
地球規模の「時間のずれ」を Cloud Spanner はどう解決したか
職場の Tech Blog です．Cloud Spanner のコアアーキテクチャについて，マルチリージョン構成を支える分散合意 (Paxos) や原子時計を用いた TrueTime の仕組みなど Google Cloud のブラックボックスを掘り下げています．
Talks
OCaml Meeting 2026 in Tokyo
OCaml のコミュニティイベントに登壇しました．LLM の API を呼ぶプログラムを OCaml で書いて，Eio による HTTP サーバとして Cloud Run にデプロイした話です．モジュールシステムによる設計に加えて，コンテナイメージの構築やライブラリの依存管理についても触れています．
関数型まつり 2026
関数型プログラミングのカンファレンスです．コアスタッフおよび登壇者としての参加でした．Standard ML の形式的な仕様から，ソフトウェア開発におけるヒントを探る試みです．
λ Kansai in Summer 2026
大阪に行って Haskell の型クラスや Monad を Standaed ML でやろうとする話をしてきました．
Certifications
Google Cloud2026-02-14: 全冠しました！
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 LeaderAWS
Information Technology Engineers Examination (ITEE)
Misc
Notes
Tools
Functional Programming in SML (関数型まつり 2026 ハンズオン)
Functional Programming in Scala の演習を Standard ML でやっていくハンズオン教材です．SML を書いたことがなくても前提知識の準備から始められます．なるべく処理系に依存した機能は避けて，MLton と SML/NJ の両方で動くようにしています．
Bluesky の投稿を消すやつ
自分の発言を削除して責任逃れをするための簡単な Python スクリプトです．GitHub Actions で Workflow を動かして定期実行できます．
退職届を作るやつ
退職届 (PDF) を作るための LuaLaTeX のコードスニペットです．
項書き換え系を完備化するやつ
Standard ML で書いた一階項書き換え系を操作する CLI ツールです．MLton で実行形式にコンパイルできます．
証明写真のリストを作るやつ
写真データを縮小して単一の PDF ファイルに並べます．コンビニプリントして切り取ることで印刷代をケチることができます．
Brainf*ck のインタプリタ
Standard ML で書いたインタプリタです．
もけ寄生
Gleam で簡単な CSR ページを作りました．Cloudflare Pages にデプロイします．
担々麺屋
担々麺屋に行きたくなるページです．Matrix Canvas Code を参考にしています．
Hobby
Standard ML
モジュールシステムや実直な仕様がお気に入りです．思い入れがある．
関数型プログラミング
OCaml, Haskell, Racket, Gleam, Koka など．とりわけ ML 系言語が好き．
型システムや定理証明
型自体の強さと扱いやすさ (型推論など) のバランスは大事だと思う．
音楽鑑賞
古楽から現代音楽や民謡まで幅広く．King Gnu (常田さん) リスペクトです．
楽器演奏や歌うこと
中学から大学まで Tuba をやっていた．実家に帰省したらピアノを練習する．
数学
計算は得意じゃないけれど証明を追うのは好き．数理論理学に関心がある．
国内旅行
直近は，高知 (四万十/足摺) や浜松 (天竜二俣) や三島，熱海 (初島) など．
散歩
かなり長く歩けて，浅草 ~ 新宿は余裕，2 日で 42.195 × 2 km 歩いたり．
日本庭園
四季折々の景観が楽しいです (浜離宮恩賜庭園の年パス持ってます)．
読書
理工書や謎雑学など．SF なら藤子F不二雄の短篇や柞刈湯葉さんが好き．
けろけろけろっぴ
サンリオの人気投票では毎年入れています (最近は不調みたいでつらい)．
科博
直近だと鳥展から超危険生物展まで，特別展は毎回ずっと見に行っています
神保町のカレー
疲れているときに共栄堂のスマトラカレーを食べると，ありえん美味い．
おいしいもの
揚げたての天麩羅や刺身，あっさり系のラーメン，トマトジュース (無塩) など．
ビール
天然素材の液体でこんな黄金だと神に祝福されているなと．(not 任意の酒)
カフェ通い
カフェ「巡り」とは似て異なります．お気に入りのお店にたくさん行きます．
アニメ
ごちうさ，ゆるキャン△，重めのだと，まどマギ，サイコパス1期が好きです．
ドラえもん
大長編は全部持っているし，映画は小さい頃から劇場で見ていました．
ゲーム
サルゲッチュ，ロマサガ，オクトラ，ドラクエ7，深夜廻などが好きです．
言葉遊び
自己言及文，回文，駄洒落，あとは語録ごっこで遊ぶのなんかも好きです．
自分
他人に優しく，自分にはちょー優しい．