圭介 伊集院

よんたった

スクラムマスターとシステムエンジニア。金融機関向けのシステム開発に従事しています。直近は部署横断の支援組織でプロジェクト管理支援、技術支援、エンジニアの教育などを担当。.NET Framework、Google Cloud Platform、Salesforce、開発プロセス/メソドロジ、ファシリテーションが得意領域です。

ランチの時は呼ぶといい！

くぁ

デジタルプロダクトデザイナー

misocaつくってました

ぐへへ

nariさん

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

Hello, World.

隠居しています。探さないでください。

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

顔面偏差値スカウター，Over-NAT-Lib，FunnelKVS, SamehadaDB, gossip-overlay，gord-overlay，Buzzoon等の作者．HPC．ML，分散システム，並列処理，Datastore，Maker系，通信技術等に関心