研究者
J-GLOBAL ID:200901006540220510
更新日: 2008年03月27日
清水 一生
シミズ イッセイ | Shimizu Issei
所属機関・部署:
旧所属 神戸大学 大学院自然科学研究科 情報・電子科学
旧所属 神戸大学 大学院自然科学研究科 情報・電子科学 について
「旧所属 神戸大学 大学院自然科学研究科 情報・電子科学」ですべてを検索
職名:
大学院生(博士課程)
研究分野 (1件):
情報学基礎論
競争的資金等の研究課題 (2件):
2002 - 形式的証明体系
2002 - Mathematical Proof Systems
MISC (1件):
部品の結合に基づいた人工物の振る舞いの数学的分析. 日本設計工学会 Design Symposium 2004 講演論文集. 2004
学位 (1件):
修士(工学) (神戸大学)
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM