仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。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

コンピュータ好き。