ayu mushi
Public.icon
https://gyazo.com/645cef013aaa7d829630fb949845a0d7
ayu-mushi
Interested in programming language (Haskell) and analytic philosophy!
NU Information CS B4 (Humanities and Social Sciences → CS Information Systems)
Nagoya University
Scrapbox: http://scrapbox.io/ayu-mushi
University account:
@sushiscript
https://twitter.com/ayu_mushi
https://ayu-mushi.github.io/
/ayu-mushi/ayu-mushi
Self-introduction
Interests
Haskell
Type
Computer Science
Curry-Howard correspondence
Analytic Philosophy
Formal Semantics
Intentionality
Naturalistic philosophy
/ayu-mushi/Scrapbox