@bra_cat_ket

(SWIPL)について、うるさい人です。

定理証明系や論理プログラミングに興味をもっています。

記事に対して疑問や不明があればコメントやツイッターへお気軽にどうぞ。

HaskellとAgdaを学び始めた大学院生

コンピューターの性能を引き出せば、エネルギー効率が良くなり、ユーザーのストレスも軽減できる、そんな夢と浪漫があってもいいじゃない

プログラミング言語Signを設計、現在エコシステム開発に向けてプロジェクト進行中 関数型プログラミングをのためのmodule: https://www.npmjs.com/package/white_cats https://www.npmjs.com/package/dsand プログラミングカフェ　札幌　主催

株式会社NTTデータ数理システム (顧問)。アルゴリズムをはじめとしたコンピュータサイエンスの諸分野の啓蒙活動に従事。機械学習やアルゴリズムに関して面白いと思ったことを記事にしていきたいと思います。記事へのリンク等についてはお気軽にしていただいて大丈夫です。よろしくお願いします。

メインはPHPですが、とりあえずなんでも手を出します。 今はReact勉強中。