ayu mushi
Public.icon
https://gyazo.com/645cef013aaa7d829630fb949845a0d7
ayu-mushi
NU Information CS B4 (Humanities and Social Sciences → CS Information Systems)
University account:
Self-introduction
Interests
Type
Curry-Howard correspondence
Intentionality
Naturalistic philosophy