(最終更新日:2019-09-18 16:37:21)
  ヒライシ ヒロミ   HIRAISHI HIROMI
  平石 裕実
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
業績
■ 学会発表
1. 2017 魔方陣判定プログラムのテスト・検証(DTC研究会)
2. 2015 無限状態遷移システムの設計検証 -ケース・スタディ: ランポートのパン屋アルゴリズムのモデル検査―(DTC研究会)
3. 2014 ケーススタディ 反例を利用した抽象モデルの構築 ービザンチン将軍問題ー(DTC研究会)
4. 2013 記号モデル検査による形式的論理設計検証(第25回京都産業大学コンピュータ理工学部コロキウム)
5. 2013 反例を利用した抽象モデルの構築に向けて(DTC研究会)
全件表示(114件)
■ 著書・論文歴
1. 2013 論文  GPGPUによる組み合わせ論理回路の入力パタン並列論理シミュレーション (共著) 
2. 2005 論文  並列分枝限定法と動的探索木分割によるクラスタシステム向き最適順序付けアルゴリズム (単著) 
3. 2004 論文  通信状態の可視化によるメッセージ通信型並列プログラムのデバッグ支援ツール  
4. 2003 論文  Performance Evaluation of Parallel Bitonic Sorting Algorithm on Cluster System  
5. 2003 論文  クラスタシステムにおける並列バイトニックソートの性能評価  
全件表示(67件)
経歴
■ 学歴
1.
(学位取得)
京都大学 工学博士
2. 1973/04~1975/03 京都大学大学院 工学研究科 電気工学第II専攻 修士課程修了
3. 1969/04~1973/03 京都大学 工学部 電子工学科 卒業
■ 所属学会
1. ACM
2. IEEE
3. 情報処理学会
4. 電子情報通信学会
その他
■ 研究課題・受託研究・科研費
1. 2007~2012  モデル検査を用いた大規模システム検証技術の開発研究  
2. 2005~2007  システム検証技術の実用化に関する研究  
3. 1998  Study on Parallel Computing  
4. 1998  並列計算に関する研究  
5. 1984  Study on Formal Design Verification  
全件表示(6件)
■ 受賞学術賞
1. 2016 Test Technology Technical Council Certification of Appreciation for Serving 15th ATS General Chair
2. 2007 IEEE CS 感謝状
3. 2001 Certificate of Appreciation for dedicated service to the Asian Test Symposium and the Asian Activities of the IEEE TTTC
■ 現在の専門分野
情報学基礎論, 計算機システム (キーワード:形式的設計検証 並列アルゴリズム) 
■ 取得特許
1. グラフィック表示方式(1200869)
2. マルチスクリーン図形表示装置および方法(1613208)
3. ライトペングラフィックス方式(1054298)