XSLT製フレームワークのFramexsを改造しています。 https://inomoto-hironobu.github.io/index.xhtml 他にはWeb Componentsプロダクトの八百幡コンポーネンツを開発中。 https://inomoto-hironobu.github.io/components/index.xhtml

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

土木工学(学部)→気象・気候学(修士)→土木系CAEエンジニア(2013.4〜2020.2)→気象系ソフトウェアエンジニア(2020.4～)．日立(茨城)→東京→札幌→横浜→川崎→大阪→つくば．気象予報士(第51回)．鹿島アントラーズサポーター．

プログラミング全くの初心者につき情報があやふやな部分がありますが、ご了承ください。

某大手ECサイトの開発・運用に関わってます。 もっぱら最近はPL業とAWSのどちらかしかやってません。

一応Javaエンジニアです。仕事の関係でPHP、Python、Rubyをやることも。開発環境を構築することもあるので、そのレベルでのインフラネタもたまに。

テスト原理主義者。記事は日々の記録です。ポートフォリオ → https://qiita.com/sengoku/private/d02e55ab15b6daa8aa48