>プログラミング言語(Haskell)と分析哲学に興味があります！

> NU情報CS B4 (人社→CS 情シス)

> Scrapbox: http://scrapbox.io/ayu-mushi

> 大学垢:

> @sushiscript

>興味

> Haskell

> 型

> 計算機科学

> カリー・ハワード対応

> 分析哲学

> 形式意味論

> 志向性

> 自然主義哲学