hl

トップページ > 所属別検索結果

所属別一覧表
先端科学計算研究センター
検索条件 : 先端科学計算研究センター  (1 件中 1 - 1 件を表示)
1名が検索されました。氏名をクリックすると教員の詳細情報が表示されます。
No.氏名(フリガナ)学修分野研究領域職名研究キーワード
1 緒方　和博
(オガタ　カズヒロ) 		情報科学コンピューティング科学教授,
先端科学計算研究センター長		検証, 定理証明, 仕様記述, 書き換え, モデル検査