# Yoriyuki Yamagata's research diaries

## Log-based Anomaly Detection of CPS Using a Statistical Method

Our new paper, Log-based Anomaly Detection of CPS Using a Statistical Method is accepted by IWESEP 2017.

Slides

RV2016 slides

## Two recent paper and draft

Two recent paper and draft.

## Consistency proof of an arithmetic with substitution inside a bounded arithmetic

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.

## Social services for researchers

I registered Academia.edu and researchmap.jp, which are social services for researchers.

My office is moved to the following address.

## Logic and Computational Complexity (LCC)

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”.

## AIST Seminar on Software Reliability

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.

## Chiba logic seminar

I will give a talk at Chiba University.