Followees
@piacerex福岡でプログラマしながらIT商社とIT企業を経営してます。Elixir／Kerasをよく使う。Elixirコミュ#fukuokaex、福岡理学部#FukuokaScienceを主催。プログラマ歴41年／XPer歴22年／デジタルマーケッター／経営者／CTO／技術顧問数社。 シボと重力子放射線射出装置は別腹(^^)
- 山崎 進@zacky1972
北九州市立大学 准教授 Univ. of Kitakyushu Associate Professor / Computer and software for artificial satellite and space rover / Domain-specific architecture / Elixir
- りゅういち だんの@daxanya1
2018年はVRで動かす方向で。 勉強中：Houdini,VR,FPGA,python,MODO,OpenGL,go,node,Chainer,Slack,CUDA,OpenCV,Arduino
- Inada Naoki@methane
Python Golang
- @irof
はてなブログに書いてます。
- @wonderful_panda
なのるほどのものでは
- Tomoharu Nagasawa@tnagasawa
企業アドバイザー/エバンジェリスト。認定 Scrum Master (SCM)。 サーバントワークス株式会社 創業者兼代表取締役。 現在、複数社のアドバイザーやエバンジェリストをしています。 ご支援のご相談は、お気軽に！ https://www.servantworks.co.jp/contact/
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- @bleis
くぁ
- @kumagi
ロックフリーです。
- Katz Kawai@katzkawai
隠居しています。探さないでください。
- @snsk@snsk
日本のQA/テストエンジニア。ウェブとちっさいパソコンとふとんがすき。
- Masaki Kase@softest
メールシステム・メールセキュリティの専門会社に勤めています。 以前は、インターネットサービスプロバイダーでメールシステムの企画・開発・運用・マネジメントをしていました。
- @toyoshi
misocaつくってました
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- Keigo Imai@keigoi
大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。
