PHP(2018.05 - 2021.06) C#(2021.07 - now)

メガベンチャーで生成AI系のサービス開発をやってます

普段は純粋数学とかしてるプログラマ志望です

OpenJDKソムリエ🍷と呼ばれることもあります。

何か有りましたら、diaboro87@gmail.comまで。 ただの会社員兼大学生です。 正社員しながら学生してます。

このサイトの掲載内容は私自身の見解であり、必ずしも所属会社の立場、戦略、意見を代表するものではありません。

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

主に自分のための備忘録を書きます。