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