IT企業に勤めています。

Linux好きの５０代のオジサンです。 子供のころ8bitパソコン(PC-8801、MZ-80、FM-7等)に興味を持ち電機屋さんでBASICのプログラムで遊んでいました！ 心の病気を持っています。記憶力が低下と頭の回転が鈍くなっており色々試行錯誤をしています。

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

2020年の目標は健康。

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

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

Struggling as a data engineer.