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.
I will give a talk at Logic and Computational Complexity(LCC’15). The talk is based on the paper ”Consistency proof of a feasible arithmetic inside a bounded arithmetic”.
Dear everyone, I am pleased to announce "AIST Seminar on Software Reliability". This is a seminar on formal methods which is focused on industrial applications. The seminar is open to everyone, but please let me know by 3/19 if you want to join. In particular, if you come by a car, please let me know.
I will give a talk at Chiba University.