eventグループ登録日antimon2名古屋で数学するプログラマ。2017/09/02(Sat)exoego田舎からリモートワークでSaaS開発しています。2017/09/02(Sat)kuu/くぅ寿司大好き@fumiya_kumeです。アプリ開発に興味あります。eventグループ登録日kwy8791ITインフラエンジニアやってますが、技術の話はあんまりしてません。2017/09/02(Sat)kawaji_scratch名古屋でAWSを中心にSIをしています。2017/09/05(Tue)bleis-tiftF#/Scala/C#/SQL/Git/Jenkins/Vimとかだいたいそんな感じ。2017/11/23(Thu)mzp気づいたらSKKを作ってた。2017/11/15(Wed)maeda_Scalaが好きです。Smalltalkも好きです。DyNagoyaを主催してます。2017/09/04(Mon)yoshihiro503Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。