研究者
J-GLOBAL ID：200901007069734807   更新日: 2024年12月18日

杉山 裕二

スギヤマ ユウジ | Sugiyama Yuji
所属機関・部署：
岡山大学 自然科学研究科

岡山大学 自然科学研究科 について


職名： 教授
ホームページURL (1件)： http://www.infsys.cne.okayama-u.ac.jp
研究分野 (1件)： 情報学基礎論
研究キーワード (3件)： 検証法 ,  形式的設計法 ,  Formal methods of design and verification
競争的資金等の研究課題 (4件)：
  • 1992 - 2003 ハードウェアの代数的仕様と設計検証
  • 1992 - 2003 Algebraic Specification and Design Verification of Hardwares
  • 1993 - ソフトウェア開発の形式的手法
  • 1993 - Formal Techniques for Software Development
MISC (73件)：
もっと見る
講演・口頭発表等 (21件)：
  • 協同ソフトウェア資産管理のためのWebアプリケーションの設計と開発
    (電子情報通信学会ネットワークシステム研究会 2009)
  • 有界遅延非同期式回路におけるオーバヘッド軽減策の検討
    (平成20年度 電気・情報関連学会中国支部第59回連合大会 2008)
  • ソフトウェア資産管理のためのWebアプリケーションの設計と開発
    (平成20年度 電気・情報関連学会中国支部第59回連合大会 2008)
  • 着席状況把握とリアルタイムな情報交換を可能とした講義管理システム
    (平成20年度 電気・情報関連学会中国支部第59回連合大会 2008)
  • API Hookを用いたWindowsプログラムのモビリティ向上ソフトウェアの作成
    (電子情報通信学会ソフトウェアサイエンス研究会 2007)
もっと見る
学位 (1件)：
  • 工学博士 (大阪大学)
受賞 (2件)：
  • 2008 - 平成20年度電子情報通信学会中国支部奨励賞
  • 2008 - 平成20年度電気学会優秀論文発表賞B賞
所属学会 (2件)：
情報処理学会 ,  電子情報通信学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM