Vim/Python/C++/Common Lisp/PHP/JavaScript/データ分析/機械学習/画像解析/NEM

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

東京でWeb系エンジニアをやってます。 フロントエンドから始まり、バックエンド、インフラ(AWS利用)まで一通り経験してきました。 ライブラリを作成するときはRubyが最近多くなってきた気がします

横浜好きのPythonistaでありPHPerです。次くらいにObjective-Cが好きです。でも仕事ではJSやJavaも使っています。Windows使いですがLinuxもMacも使っています。エグゼクティブ・フェロー＆フルスタックエンジニアを目指しています。今は特にSwift、Bootstrap4、Electron、Grunt、CentOS7、Docker、Vagrantに興味津々です

株式会社スタイルズでNextcloudとGitLab、Rancher、Kubernetesをやってます。 NextcloudとRancherを仕事としてやっていますが、GitLabは半分仕事です。