Daiki Matsuoka

PhD student in the Department of Linguistics at Yale University (he/him)

prof_pic.jpg

I work on the formal semantics of natural language. In other words, I aim to develop a mathematical model that explains the human cognitive ability to compute the meaning of natural language expressions.

More concretely, my research focuses on the following topics.

  • Type-theoretical semantics
    • Type theory, a formal system developed in computer science, serves as a powerful tool for analyzing meaning (see my slides here for details).
  • Categorial grammar
    • In this framework, syntactic structures are built together with meaning representations, providing a computationally plausible model of meaning composition.

I have another website (in Japanese), where I occasionally post some notes on topics I have studied outside of class (partly as a hobby).