400万人が利用するビジネスSNS
株式会社スリーシェイク / Sreake 事業部 アプリケーション開発支援チーム
・プログラミング言語や人に優しい技術・ツールがすき ・ソフトウェアエンジニア (主に Web アプリ開発やパブリッククラウドなど) をやっています ・最近は DevOps の実践に関心があります ・理論計算機科学や言語処理系 (型システム) や関数型プログラミングなどにも興味があります
人 (開発者にもユーザにも) に優しいプログラミング言語やツールの普及と発展に貢献したい．コミュニティや OSS などに支えられながらの日々ですが，享受してきたぶん自分も還元していきたいなと考えています．
/assets/images/5076589/original/a8f69e0b-b288-47a2-b3e2-59b059ef3c53?1590468986){kind=avatar}
フルスタックエンジニア業務： ・アプリケーションの開発 ・開発プロセスのモダナイゼーション (内製化支援)
/assets/images/13416081/original/868649af-4cde-4108-b5a7-0f0d4cfda4b8?1685351433){kind=avatar}
主に Web バックエンド・インフラ寄りの業務をやっておりました： ・モバイル，Web アプリケーションのバックエンドやインフラの開発 ・運用中のサービスのサーバレス化やミドルウェアの EOL 対応
コンピュータサイエンスの基礎研究．特に「項書き換えシステム」という計算モデルに関する性質を，数理論理学の道具を用いて調べていました．
コンピュータの仕組みについて学ぶなかで，プログラミング「言語」や数理論理学に興味を持つようになりました．その傍らで，テューバ奏者/指揮者として吹奏楽部でも活動していました．
株式会社スリーシェイク / Sreake 事業部 アプリケーション開発支援チーム
職場の公式テックブログです． Google Cloud には Cloud Spanner というフルマネージド RDB サービスがありますが，このサービスのコアアーキテクチャを原論文を読んで調査しながらまとめました． 個人サイトに補足記事も上げています：https://silasol.la/posts/2025-12-16-01_cloud-spanner/
cir.nii.ac.jp
