Following Organizations
No Organizations you are following
Followees
- Yasuhiro Inami@inamiy
iOS Developer
- @fumieval
一般的なHaskeller
- Kazuki Tanaka@gogotanaka
20台前半までRubyのコミッターになるくらいには死ぬほどエンジニアをした後、https://aisaac.jp/ を創業しました。「実験」をテーマに資金調達をせずにメンバー80人、売上10億超ほどの規模になってます。 実験仲間を大募集中
- @bra_cat_ket
A Haskell, Maxima lover, PhD in physics. About to leave qiita, perhaps.
- Keigo Imai@keigoi
大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士(情報科学)。
- 須原 浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。
- Yuji YAMAMOTO@igrep
HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。
- Masahiro Honma@hiratara
I like programming :)
- @lotz
凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます