@takuchan

うん、まぁ。 I think so.

Haskeller, Vimmer, Engineer.

圏論について書きます。

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

(　´･‿･｀) Qiita Jobsなどからのご連絡は https://mono0926.notion.site/Flutter-Firebase-16225b07089345db93c220ec9215238f をご確認の上お願いします(記載の通り基本的にはメールでの直接のご連絡の方が望ましいです)。

フリーのエンジニアでスマホアプリ開発がメイン。

20台前半までRubyのコミッターになるくらいには死ぬほどエンジニアをした後、https://aisaac.jp/ を創業しました。「実験」をテーマに資金調達をせずにメンバー80人、売上10億超ほどの規模になってます。 実験仲間を大募集中

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

HQ社でソフトウェアエンジニアをしています。大昔に Qiita を開発していました。

Coqなどによるプログラムの正しさの検証・証明に興味があります。