部署まるごとすぐにもリストラされそうになってきたので、就職活動がてら、Qiitaに記事を投稿しています。っというのは仮の姿で、Twitterでリン廃キャラを演じるのが本業です。

プログラミングはしょしんしゃです。サーバインフラはだいたい10年ちょっと。 閲覧ありがとうございます:-)

[a.k.a. ypresto] Android StudioとXcodeを同時起動しながらAtomでRubyとかES6とか書きつつgitでmergeしてpushする日々。

Linux、BSD、kernel

Vim lover

とある自社事業のWebシステム開発チームアーキテクト(2019年-2022)→某自社サービスのエンジニアリングマネージャー Golangでマイクロサービス開発してます それまではLinux組み込み開発で10年くらい 組み込み時代はミドルウェアより上位層が主戦場でした 技術の幅を増やすのはもちろんだけど、それ以上にチーム構築・チーム開発への貢献力を大事にしたい

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