IT企業に勤めています。

Linux好きの５０代のオジサンです。 国産（個人開発）Linuxを応援しています。※過去に国産カスタムLinuxのマネージメントをしていました(黒歴史) 心の病気を持っています。記憶力が弱いですが工夫をしてカバーしています

今はデータ基盤ソフトウェアのテクニカルセールスをやっています。 新卒で銀行系SIERで市場系システムのインフラエンジニア、アプリ開発推進（PL）の後、 外資系セキュリティベンダーにてセキュリティ製品のセールスエンジニアを経て、現職です。 このサイトの掲載内容は私自身の見解であり、必ずしも所属組織の立場、戦略、意見を代表するものではありません。

2020年の目標は健康。

投稿された情報はあくまで個人の見解なので、内容に関して責任を負うものではないことをご了承下さい。

大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。

Struggling as a data engineer.