Followees

  • Shunsuke GOTOH@antimon2

    名古屋で数学するプログラマ

  • @adacola

    F#とコーラとみもりんと橘まおさんが好きなプログラマー。わりといろんな分野のコードを書いたことがあります。

  • よ んた@keita44_f4

    よんたった

  • @heignamerican

    なんかメモるよ

  • Nobuhiro Sue@nobusue

    テレコム担当SAチームのマネージャをやっています。以前はOpenShift(Docker+Kubernetes+α)を担当してました。IoT、エンタープライズ系JavaとG*(Groovy,Gradleなど)およびDevOps系もそれなりに経験ありです。

  • @bleis

    くぁ

  • @yoshihiro503

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

  • Yugui Sonoda@yugui

    grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と統合が好き

  • MIZUNO Hiroki@mzp

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

  • Keigo Imai@keigoi

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