1988年生まれ。多摩美グラフィックデザイン学科を中退。デザイナーとしてグラフィック・エディトリアル・Web・UIのデザインを経験した後、Webフロントエンドエンジニアも経験。現在はITコンサルタントとして外資系SIerに在籍中。※投稿内容は私個人の意見であり、所属企業・部門見解を代表するものではありません。

定理証明系や論理プログラミングに興味をもっています。

リモートワーク中心のワークライフスタイルで働く、フリーランスのプログラマーです。 少人数/短期間の開発を得意とし、モバイル/PCのWebサイト開発、モバイルアプリの開発を幅広く担当。 最近は主にRuby on Rails/Vue/Flutterを使用することが多いです。

職業プログラマ。Goで遊んでいる人。 Qiita はめっきり読み専になってます。

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.