日本語ページ
France-Japan Cybersecurity Research Collaboration
General Information 5th Workshop Program,
April 23-25,2019,Kyoto
Professor Jean-Yves Girard: Intensive Lectures
Lectures “LOGIC 2.0 : A derealistic refoundation of logic”
Sept 25th-Oct.2nd, 2018
Details
Slides of LecturesNEW!
Workshop on Philosophy of Logic “Around Norm, Rule and Disagreement” - The 5th Annual French-Japanese Workshop
Detail
Introduction to Logic of Computation

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 )