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

ぼくわるいえんじにあじゃないよ

OSSエンスー。最近はKeycloakと機械学習。 執筆活動：事例で学ぶ特徴量エンジニアリング、実践 Keycloak（オライリー）、認証と認可 Keycloak入門（リックテレコム）、AutoML OSS入門、Keycloak超入門、認証の最新動向とOpenAMの適用事例を探る、OSSによるID管理（@IT）、SSOとOpenAM（CodeZine）、統合認証からSSOまで（日経Linux）

ただのSE。Java好き。

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

都内でシステム開発に従事しております。 使う言語はJavaが多め。 なるだけ気をつけていますが、掲載する内容に間違いがある場合もあります。 その場合はコメント等でご指摘いただければと思います。