連携している友達一覧です。プログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。ラノベワナビada-uScalaとかPHPとか書いてます、ほげほげ。(ML/DataInfra/GCP)smdmtsコーヒージャンキーでガジェット好きなシステム屋です。専門はJavaとScala。非同期処理が得意です。Fukazawaodanwakamezakeいわしまん皆さんこんにちは。技術系ブログをやっています。社外からの刺激や公平な視点を得るために時々イベントに行ったりしています。