Profile Information

Affiliation
Yokohama City University School of Data Science Associate Professor
Degree
Doctor(Engineering)(Tokyo University of Science)
Master(Engineering)(Tokyo University of Science)

J-GLOBAL ID
200901028867148469

統計学における計算機集中技法と,Isabelle/HOLを用いた抽象数学定理自動証明システムの構築を中心に研究を行っている.

Misc.

  8

Books and Other Publications

  1

Presentations

  1