Profil de 岡本圭史

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

ProfilDernière mise à jour: 3 mars 2010

Hatena ID: keishi-okamoto
Nom d'utilisateur: 岡本圭史
Description: 数学基礎論と形式手法の研究をしています。
Self introduction: 数学基礎論（モデル理論、様相論理）と形式手法（モデル検査、モデルベーステスト）を研究しています。
Full name: 岡本圭史
Sexe: 男
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