At 112-th CAPE Lecture, I will give a talk on a proof theoretical semantics of classical logic and its application to a strong normalization proof.
The slides on our recent work are posted.
Our new paper, Log-based Anomaly Detection of CPS Using a Statistical Method is accepted by IWESEP 2017.
Two recent paper and draft.
Updated draft of previously withdrawn paper, is uploaded. This paper proves that Buss's \(S^2_2\) can prove the consistency of Cook and Urquhart's PV minus induction, but with the substitution rule. This strengthens (albeit the meta-theory is \(S^2_2\)) Beckmann's result.
I registered Academia.edu and researchmap.jp, which are social services for researchers.
My office is moved to the following address.