日本語ページ
2015 ``Logic for Computation'' Text (PDF) (Last Update: 2016/01/08)
2015 ``Logic for computation'' example solutions (PDF)(Last Update: 2016/01/08)

News:

Research Theme

We are studying logical reasoning by employing various mehtodologies of modern logic, information science, cognitive science, and linguistics. More specifically, we have been trying to understand the basic structure of logical reasoning and the situation-dependent structure of logical judgement.

Current Members:

Okada Lab, Recent Graduates:

How to be a member or a Ph.D student of Okada Lab ? ( in Japanese )