Profile Information

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

J-GLOBAL ID
200901028867148469
researchmap Member ID
5000045867

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

Misc.

  12

Major Books and Other Publications

  4

Presentations

  1

Research Projects

  9