Last Update: 2009/11/28
日本語ページ

News:

2010/02/27-28 : 3rd Interdisciplinary Ontology Conference (InterOntology10 Tokyo)

Past Events:

2009/04/10 : John Mitchell and Anupam Datta talks

2009/02/27-03/01 : 2nd Interdisciplinary Ontology Conference (InterOntology09 Tokyo)

2008/12/05-06 : The 4th Franco-Japanese "Computer Security" Workshop

2008/07/04-05 : French-Japanese Philosophy Tokyo Meeting "Ontology and Phenomenology"

2008/02/26-27 : Interdisciplinary Ontology Conference (InterOntology08 Tokyo)

2007/03/26,28 : Round-Table Symposium on Proof Theory, Linear Logic and Program Semantics

The 2nd Franco-Japanese Computer Security Workshop, Tokyo Dec 4-5, 2006

Asian Computing Science Conference (Asian 06) Dec 6-8, 2006

Research Theme

We are studying logical reasoning by employing various mehtodologies of modern logic, information science, cognitive science, cognitive neuroscience, 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 )