よしだ けんじ

@xuwei_k

https://github.com/scalaz https://github.com/scalaprops https://github.com/scalikejdbc https://github.com/scalapb-json https://github.com/argonaut-io Scala本体や、Scalaz、その他色々なScalaのライブラリのコミッターやってる

Location

Tokyo, Japan

Participating Organizations(1)

recruitmp

Following Organizations

No Organizations you are following

Followees

  • @mtoyoshi

    調査モノのアウトプットが中心です

  • @okumin

    プログラミング始めました。

  • 吉村 優@yyu

    暗号やプログラム言語の記事をよく書きます。 最近ではZenn.devにも投稿してます。 https://zenn.dev/yyu

  • Ruichi Kos@ruicc

    Haskeller, Vimmer, Engineer.

  • Kazuhiro Sera@seratch

    OpenAI で OpenAI Agents SDK の開発と Developer Relations を担当しています。以前は Slack で同様の業務に従事していました。

  • Kei Hibino@khibino

    http://profile.hatena.ne.jp/khibino0/ http://www.haskellers.com/user/khibino Haskell で RBD query を記述するライブラリを作りました http://khibino.github.io/haskell-relational-record

  • MIZUNO Hiroki@mzp

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

  • Hideyuki Tanaka@tanakh

    Haskellプログラマです。

  • @fumieval

    一般的なHaskeller

  • @bleis

    くぁ

  • Keigo Imai@keigoi

    大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士(情報科学)。

  • Masahiro Honma@hiratara

    I like programming :)

  • @kumagi

    ロックフリーです。