リモートワークなプログラマー。サービス作ったり、アプリ作ったり、面白いこと色々やって楽しく生きてたい（そして、願わくば一発当てて早々にリタイアしたい。。。）動物占いは華やかな小鹿で性格は社交的な陰キャ。ウェブアプリとスマホアプリの開発がメインですが、基本なんでも書きますし、インフラも触ります。最近は機械学習もちらほら。

フロントエンドエンジニア

日本IBM 東京基礎研究所 リサーチ・スタッフ・メンバー。形式検証、ロジック、定理証明とかソフトウェア工学が専門です。ブロックチェーンの研究をやったり AI フレームワークの設計・実装を手伝ったり、まあ社会人なので色々しています。 ※執筆した記事の内容は私個人の見解です。

日本マイクロソフト株式会社 Azure & Infra プリセールスエンジニア。 記事は個人の見解に基づいた内容であり、所属する会社の公式見解ではありません。また、記事中の情報はいかなる保証を与えるものでもありません。正式な情報は、各製品の販売元にご確認ください。