LoginSignup

Followees

  • @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> に書いていきます

1 / 1