ayu mushi
public.icon
https://gyazo.com/645cef013aaa7d829630fb949845a0d7
ayu-mushi
プログラミング言語(
Haskell
)と
分析哲学
に興味があります！
NU情報CS B4 (人社→CS 情シス)
名古屋大
Scrapbox:
http://scrapbox.io/ayu-mushi
大学垢:
@
sushiscript
https://twitter.com/ayu_mushi
https://ayu-mushi.github.io/
/ayu-mushi/ayu-mushi
自己紹介
興味
Haskell
型
計算機科学
カリー・ハワード対応
分析哲学
形式意味論
志向性
自然主義哲学
/ayu-mushi/Scrapbox