コード書くより読むほうが好き

職場でひそかに業務改善するためにコツコツやってます

最近は Zenn にて活動しております。 https://zenn.dev/wsuzume

関西型言語の研究をしています。

クソ雑魚(プログラマー|音ゲーマー)

元数学専攻のエンジニア。Web系のアプリケーション開発がメインだが、HTMLやCSSよりはバックエンドロジックの分析などが得意。Haskell, Scala, Elmなどを嗜む程度に。

ゆるふわ系 カモ属カモ科だった人

きーた

仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq