岡本圭史

岡本圭史's Profile

数学基礎論と形式手法の研究をしています。

Profile Last updated:

Hatena ID
keishi-okamoto
Nickname
岡本圭史
Description

数学基礎論と形式手法の研究をしています。

Self introduction

数学基礎論（モデル理論、様相論理）と形式手法（モデル検査、モデルベーステスト）を研究しています。

Full name

岡本圭史

Gender

男

Blood type

Ｏ

Occupation

研究者

School

早稲田大学

Place of residence

大阪府

Place of birth

宮崎県

Website #1 http://profile.ameba.jp/kenkyu-nisshi/
Website #2 http://www.sbibusiness.com/pub/600534070
Twitter http://twitter.com/keishi_okamoto