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

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

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

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

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

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

きーた

Jakarta EE/MicroProfile 関連の開発をしてます。学生のときは自動定理証明とかやってました。 Java/Scala/OCaml/Haskell/Coq (掲載内容は私個人の見解であり、所属する組織の公式見解ではありません。)