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

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

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

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

#プログラミング,#音ゲー,#酒

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

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

きーた

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