計算機科学等を全く学んでこなかった学生です… 備忘録として書き残していきたいです． どうぞ宜しくお願い申し上げます( ·ㅂ·)و ̑̑

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

キテレツおもしろ自然言語処理本出ました。 https://www.shoeisha.co.jp/book/detail/9784798170619 「Qiitaの殿堂」(http://youwht.ga/) 「赤の他人の対義語」 「平成の次の元号」 「写経を自動化」 「パワポリント君」etc... wwwxuexihanyu@gmail.com

動画広告で諸君のギガを食い尽くしたい