機械学習を勉強していたときのメモをいくつか公開。よく使う言語はC++、C言語。物理、数学、信号処理などが得意。

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

( ˘ω˘ )

Java,PHP,HTML,CSS,javascript,octave,Matlabの経験あり。pythonを最近勉強中

Erlang/OTPやRustで分散DBを開発してます。プログラミングは中学生の頃から、30年ほど独学でやってきてます。大学はアメリカ東海岸にある美大でした。現在は上海在住