Following Organizations
No Organizations you are following
Followees
- よ んた@keita44_f4
よんたった
- Hideki Hashizume@84zume
スクラムマスターとシステムエンジニア。金融機関向けのシステム開発に従事しています。直近は部署横断の支援組織でプロジェクト管理支援、技術支援、エンジニアの教育などを担当。.NET Framework、Google Cloud Platform、Salesforce、開発プロセス/メソドロジ、ファシリテーションが得意領域です。
- amay077@amay077
ランチの時は呼ぶといい!
- @bleis
くぁ
- @VoQn
デジタルプロダクトデザイナー
- @toyoshi
misocaつくってました
- @nari3
nariさん
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- @kakutani
Hello, World.
- Katz Kawai@katzkawai
隠居しています。探さないでください。
- Keigo Imai@keigoi
大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士(情報科学)。
- Ryo Kanbayashi@ryo_grid
Over-NAT-Lib,FunnelKVS, SamehadaDB, gossip-overlay,gord-overlay,NostrP2P等の作者.ハチロク.自作RDBMSやろうぜ!サイト管理人.ML,分散システム,並列処理,Datastore,通信技術等に関心.ryo . contact at gmail.com