研究者
J-GLOBAL ID：200901023652457914   更新日: 2022年09月13日

平石 裕実

ヒライシ ヒロミ | HIROMI HIRAISHI
研究分野 (3件)： 情報ネットワーク ,  計算機システム ,  情報学基礎論
研究キーワード (3件)： 形式的設計検証 並列アルゴリズム ,  Parallel Algorithm ,  Formal Verification
競争的資金等の研究課題 (4件)：
  • 1998 - 並列計算に関する研究
  • 1998 - Study on Parallel Computing
  • 1984 - 形式的設計検証に関する研究
  • 1984 - Study on Formal Design Verification
MISC (91件)：
もっと見る
特許 (6件)：
  • マルチスクリーン図形表示装置および方法
  • グラフィック表示方式
  • ライトペングラフィックス方式
  • Multi-Screen Display Device and Architecture
  • Graphic Display Architecture
もっと見る
書籍 (39件)：
  • Performance Evaluation of Parallel Bitonic Sorting Algorithm on Cluster System
    Report of Research Institute of Advanced Sciense and Technology 2003
  • Symbolic Model Checking of Deadlock Free Property of Task Control Architecture
    IEICE Trans. Information and Systems 2002
  • Verification of Deadlock Free Property of Asynchronous Robot Control Program
    Report of Research Institute of Advanced Sciense and Technology 2002
  • Verification of Deadlock Free Property of High Level Robot Control
    Proc.9th Asian Test Symposium 2000
  • Yet More Image Computations for SMV, the Symbolic Model Verifier
    Systems and Computers in Japan 2000
もっと見る
講演・口頭発表等 (113件)：
  • 無限状態遷移システムの設計検証 -ケース・スタディ: ランポートのパン屋アルゴリズムのモデル検査-
    (DTC研究会 2015)
  • ケーススタディ反例を利用した抽象モデルの構築ービザンチン将軍問題ー
    (DTC研究会 2014)
  • 記号モデル検査による形式的論理設計検証
    (第25回京都産業大学コンピュータ理工学部コロキウム 2013)
  • 反例を利用した抽象モデルの構築に向けて
    (DTC研究会 2013)
  • GPGPUによる組合せ論理回路の論理シミュレーション
    (DTC研究会 2012)
もっと見る
Works (8件)：
  • モデル検査を用いた大規模システム検証技術の開発研究
    2007 - 2012
  • システム検証技術の実用化に関する研究
    2005 - 2007
  • スーパクラスタシステムの効率化とその応用
    2000 - 2005
  • 情報技術革命を支える高性能・高効率計算システムの研究
    2001 - 2004
  • 超高速ネットワークによるマルチメディアシステムの研究
    1998 - 1999
もっと見る
学歴 (4件)：
  • - 1975 京都大学大学院 工学研究科 電気工学第II専攻
  • - 1975 京都大学
  • - 1973 京都大学 工学部 電子工学科
  • - 1973 京都大学
学位 (1件)：
  • 工学博士 (京都大学)
経歴 (13件)：
  • 2008 - 現在 京都産業大学コンピュータ理工学部教授
  • 2011 - 2014 京都産業大学大学院先端情報学研究科長
  • 2008 - 2014 京都産業大学コンピュータ理工学部長
  • 1991 - 2008 京都産業大学工学部教授
  • 2001 - 2004 京都産業大学先端科学技術研究所所長
全件表示
委員歴 (8件)：
  • 2006 - 第15回アジアテストシンポジウム実行委員長 2006年
  • 2002 - 第47回FTC研究会開催担当幹事 2002年
  • 2002 - 電子情報通信学会英文論文誌D「Special Issue on Test and Verification of VLSI」特集号編集委員長 2002年
  • 2001 - 第10回アジアテストシンポジウムプログラム委員長 2001年
  • ATS国際会議プログラム委員
全件表示
受賞 (3件)：
  • 2007 - IEEE CS 感謝状
  • 2001 - アジアテストシンポジウム功労賞 (Certificate of Appreciation for dedicated service to the Asian Test Symposium and the Asian Activities of the IEEE TTTC)
  • 2001 - Certificate of Appreciation for dedicated service to the Asian Test Symposium and the Asian Activities of the IEEE TTTC
所属学会 (8件)：
ACM ,  IEEE ,  電子情報通信学会 ,  情報処理学会 ,  ACM ,  IEEE ,  IEICE ,  IPSJ
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM