takuchan

0 Contribution

/ Following users

うん、まぁ。 I think so.

Haskeller, Vimmer, Engineer.

圏論について書きます。

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

プロフィール: https://stackoverflow.com/story/mono0926 今開発中のiGhost・iActor: https://www.ighost.jp 以前開発していたJOIN US: http://joinus30.com 2015年に開発しててベストアプリにも選ばれたPlayer!: http://www.playerapp.tokyo

フリーのエンジニアでスマホアプリ開発がメイン。 最近は改めて機械学習について勉強中。

便所の落書きのような自分の作業メモを少し整形して投稿してます。 Ruby言語のコミッター、dataset.jp, aisaac inc founder.

関数型言語とかCoqとか

Qiita の中で PM 兼エンジニアをしています

Coqなどによるプログラムの正しさの検証・証明に興味があります。