Following Organizations
No Organizations you are following
Followees
- @amoO_O
うん、まぁ。 I think so.
- Ruichi Kos@ruicc
Haskeller, Vimmer, Engineer.
- Subobject Classifier@sct
圏論について書きます。
- 須原 浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。
- Swift/Flutter 🐶 mono @mono0926
( ´･‿･｀) Qiita Jobsなどからのご連絡は https://mono0926.notion.site/Flutter-Firebase-16225b07089345db93c220ec9215238f をご確認の上お願いします(記載の通り基本的にはメールでの直接のご連絡の方が望ましいです)。
- @koyopro
Null安全な静的型付言語が好きです
- Kazuki Tanaka@gogotanaka
20台前半までRubyのコミッターになるくらいには死ぬほどエンジニアをした後、https://aisaac.jp/ を創業しました。「実験」をテーマに資金調達をせずにメンバー80人、売上10億超ほどの規模になってます。 実験仲間を大募集中
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- Yuku Takahashi@yuku_t
HQ社でソフトウェアエンジニアをしています。大昔に Qiita を開発していました。
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
