Rchr
J-GLOBAL ID：200901007069734807   Update date: Dec. 18, 2024

Sugiyama Yuji

スギヤマ ユウジ | Sugiyama Yuji
Affiliation and department：
Okayama University Graduate School of Natural Science and Technology

About Okayama University Graduate School of Natural Science and Technology


Job title： Professor
Homepage URL  (1)： http://www.infsys.cne.okayama-u.ac.jp
Research field  (1)： Information theory
Research keywords  (3)： 検証法 ,  形式的設計法 ,  Formal methods of design and verification
Research theme for competitive and other funds  (4)：
  • 1992 - 2003 ハードウェアの代数的仕様と設計検証
  • 1992 - 2003 Algebraic Specification and Design Verification of Hardwares
  • 1993 - ソフトウェア開発の形式的手法
  • 1993 - Formal Techniques for Software Development
MISC (73)：
ｍore...
Lectures and oral presentations  (21)：
  • 協同ソフトウェア資産管理のためのWebアプリケーションの設計と開発
    (電子情報通信学会ネットワークシステム研究会 2009)
  • 有界遅延非同期式回路におけるオーバヘッド軽減策の検討
    (平成20年度 電気・情報関連学会中国支部第59回連合大会 2008)
  • ソフトウェア資産管理のためのWebアプリケーションの設計と開発
    (平成20年度 電気・情報関連学会中国支部第59回連合大会 2008)
  • 着席状況把握とリアルタイムな情報交換を可能とした講義管理システム
    (平成20年度 電気・情報関連学会中国支部第59回連合大会 2008)
  • API Hookを用いたWindowsプログラムのモビリティ向上ソフトウェアの作成
    (電子情報通信学会ソフトウェアサイエンス研究会 2007)
ｍore...
Professional career (1)：
  • Doctor of Engineering (Osaka University)
Awards (2)：
  • 2008 - 平成20年度電子情報通信学会中国支部奨励賞
  • 2008 - 平成20年度電気学会優秀論文発表賞B賞
Association Membership(s) (2)：
情報処理学会 ,  電子情報通信学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM