• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

平石 裕実  HIRAISHI Hiromi

ORCIDORCID連携する *注記
… 別表記

平石 裕美  ヒライシ ヒロミ

隠す
研究者番号 40093299
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記 2008年度: 京都産業大学, コンピュータ理工学部, 教授
2006年度 – 2007年度: 京都産業大学, 工学部, 教授
2001年度 – 2002年度: 京都産業大学, 先端科学技術研究所, 教授
2000年度: 京都産業大学, 工学部, 教授
1991年度 – 1998年度: 京都産業大学, 工学部, 教授 … もっと見る
1989年度 – 1991年度: 京都大学, 工学部, 助教授
1989年度: 京都大学, 工学部, 助手
1989年度: 京都大学, 工学部・, 助教授
1987年度: 京都大学, 工学部, 助教授
1986年度: 京都大学, 工学部, 講師 隠す
審査区分/研究分野
研究代表者
計算機科学 / 情報工学 / 情報工学 / 計算機システム・ネットワーク
研究代表者以外
情報工学 / 計算機科学 / 情報工学 / 情報学
キーワード
研究代表者
設計検証 / 形式的検証 / 時相論理 / 論理設計 / Formal Verification / Temporal Logic / 記号モデル検査 / 論理設計検証 / Logic Design / BDD … もっと見る / Symbolic Model Checking / 分散アルゴリズム / Logic Design Verification / 並列アルゴリズム / 共有二分決定グラフ / モデル検査 / 順序機械 / Cluster System / Distributed Processing / Parallel Processing / Design \verification / クラスタシステム / 分散処理 / 並列処理 / Distributed Algorithm / Design Verification / 様相論理 / Finite State Systems / Formal Design Verification / 抽象化 / 有限状態システム / 形式的設計検証 / Binary Decision Diagram / Computer Aided Design / ベクトル計算機 / 計算機援用設計 / 二分決定グラフ / 計算機援設計 / Model Checking / 記号シミュレ-ション / 正則集合 / 仕様記述 / 遷移関係 / モジュール分割 / セルフチェック / セルフテスト / 耐故障設計 … もっと見る
研究代表者以外
時相論理 / 論理設計検証 / 論理関数処理 / 二分決定グラフ / Logic Simulation / Logic Design Verification / デ-タベ-ス / 論理シミュレーション / Hardware Algorithm / 算術演算回路 / ハードウェアアルゴリズム / Temporal Logic / 仕様記述 / モデルチェッキング / temporal logic / 順序回路 / Binary Decision Diagram / Logic Design / Symbolic Simulation / Timing Verification / 論理設計 / 記号シミュレ-ション / 論理シミュレ-ション / タイミング検証 / log / recovery / main memory database / database / backup / parallel transaction / hotspot / concurrency / シミュレーション / ハードウェア / トランザクションマシン / 大容量主記憶 / 2ポ-トメモリ / シミュレ-ション / ハ-ドウェア / 並行処理制御 / プロトタイピング / ハ-ドウェアログ / ホットスポットデ-タ / ハ-ドウェアバックアップ機構 / ハ-ドウェア並行処理制御 / ログ / 回復処理 / 主記憶デ-タベ-ス / バックアップ / 並列トランザクション / ホットスポット / 並行処理 / Graphics / Query Processing / Computational Geometry / Visual Language / Semantic Model / Object-Oriented / Database / Multi-media / 利用者インタフェース / 地理情報処理 / データベース / グラフィックス / 質問処理 / 計算幾何学 / 視覚的言語 / 意味モデル / オブジェクト指向 / マルチメディア / Redundant Coding / Test Generation / Fault Simulation / On-Line Error Detection / Fault-Tolerant Design / Arithmetic Circuits / 故障シミュレーション / 冗長符号化 / テスト生成 / 故障シミュレ-ション / オンライン誤り検出 / 耐故障設計 / ハ-ドウェアアルゴリズム / Workstation / Specification Desctiption / Vector Processof / 代数的仕様記述 / 正則時相論理 / 高水準ハードウェア記述 / 論理シミュレータ / マルチスクリーン / ワークステーション / ベクトルプロセッサ / Unification / Residue Number Representation / Arithmetic Operation / VLSI; Redundant Binary Representation / Redundant Representation / ハードウェア設計言語 / 単一化操作 / 剰余数表示法 / 冗長2進表現 / 超LSI / 冗長表現 / binary decision diagram / logic function manipulation / model checking / First-order Predicate logic / Function level design / Formal design verification / 算術演算回路検証 / 機能レベル検証 / 三分決定グラフ / 二分モーメントグラフ / 調理関数処理 / マイクロプロセッサ / 第一階述語論理 / 機能レベル設計 / 形式的設計検証 / Model Checking / Formal Specification / Logic Function Manipulation / Formal Verification / 形式的論理設計検証 / 論理開数処理 / 形式的検証 / computer-aided logic design / state assignment / logic function optimization / sequential circuits / logic design verification / logic synthesis / 論理設計支援 / 状態割当て / 論理関数簡単化 / 論理合成 / Computational complexity / computer Aided Design / Boolean Function Manipulation / Boolean Function / 計算複雑さ / 計算機援用設計 / 論理関数 / Hazard / Asynchronous Sequential Circuit / 論立設計検証 / ハザ-ド / 非同期式順序回路 隠す
  • 研究課題

    (18件)
  • 研究成果

    (4件)
  • 共同研究者

    (20人)
  •  モジュールの依存関係に基づく並列論理設計検証研究代表者

    • 研究代表者
      平石 裕実
    • 研究期間 (年度)
      2006 – 2008
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      京都産業大学
  •  ワークステーションクラスタによる並列分散型形式的論理設計検証研究代表者

    • 研究代表者
      平石 裕実
    • 研究期間 (年度)
      2000 – 2002
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      京都産業大学
  •  形式的論理設計検証に関する研究研究代表者

    • 研究代表者
      平石 裕実 (平石 裕美)
    • 研究期間 (年度)
      1997 – 1998
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      京都産業大学
  •  大規模論理設計の形式的検証に関する研究研究代表者

    • 研究代表者
      平石 裕実
    • 研究期間 (年度)
      1996
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      京都産業大学
  •  時相理論を用いた形式的論理設計検証に関する研究研究代表者

    • 研究代表者
      平石 裕実
    • 研究期間 (年度)
      1995
    • 研究種目
      一般研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      京都産業大学
  •  マイクロプロセッサの形式的論理設計検証システムの試作研究

    • 研究代表者
      矢島 脩三
    • 研究期間 (年度)
      1995 – 1996
    • 研究種目
      基盤研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      京都大学
  •  時相理論に基づく論理設計の形式的検証システムの試作研究

    • 研究代表者
      矢島 修三 (矢島 脩三)
    • 研究期間 (年度)
      1993 – 1994
    • 研究種目
      試験研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      京都大学
  •  有限状態システムの形式的設計検証に関する研究研究代表者

    • 研究代表者
      平石 裕実
    • 研究期間 (年度)
      1993 – 1994
    • 研究種目
      一般研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      京都産業大学
  •  ブール関数処理による順序回路の自動合成・設計検証システムの試作研究

    • 研究代表者
      矢島 脩三
    • 研究期間 (年度)
      1991 – 1992
    • 研究種目
      試験研究(B)
    • 研究分野
      情報工学
    • 研究機関
      京都大学
  •  時相論理に基づく計算機援用形式的設計検証に関する研究研究代表者

    • 研究代表者
      平石 裕実
    • 研究期間 (年度)
      1991 – 1992
    • 研究種目
      一般研究(C)
    • 研究分野
      情報工学
    • 研究機関
      京都産業大学
  •  共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究

    • 研究代表者
      矢島 脩三 (矢島 修三)
    • 研究期間 (年度)
      1990 – 1991
    • 研究種目
      一般研究(B)
    • 研究分野
      情報工学
    • 研究機関
      京都大学
  •  正則時相論理に基づく形式的論理設計検証に関する研究研究代表者

    • 研究代表者
      平石 裕実
    • 研究期間 (年度)
      1989 – 1990
    • 研究種目
      一般研究(C)
    • 研究分野
      情報工学
    • 研究機関
      京都大学
  •  時間記号シミュレ-ションによる論理設計検証システムの試作研究

    • 研究代表者
      矢島 脩三
    • 研究期間 (年度)
      1989 – 1990
    • 研究種目
      試験研究(B)
    • 研究分野
      情報工学
    • 研究機関
      京都大学
  •  冗長符号化による超高速算術演算回路の高信頼化設計に関する研究

    • 研究代表者
      矢島 脩三 (矢島 修三)
    • 研究期間 (年度)
      1988 – 1989
    • 研究種目
      一般研究(B)
    • 研究分野
      情報工学
    • 研究機関
      京都大学
  •  意味的構造化手法を用いた高水準マルチメディアデ-タベ-スの構築法に関する研究

    • 研究代表者
      上林 弥彦 (上林 彌彦)
    • 研究期間 (年度)
      1988 – 1990
    • 研究種目
      一般研究(B)
    • 研究分野
      情報学
    • 研究機関
      京都大学
      九州大学
  •  ハ-ドウェア並行処理制御機構を有する高速トランザクションマシンの研究開発

    • 研究代表者
      上林 彌彦
    • 研究期間 (年度)
      1988 – 1990
    • 研究種目
      試験研究(B)
    • 研究分野
      情報工学
    • 研究機関
      京都大学
      九州大学
  •  ベクトルプロセッサを用いた高速論理シミュレータと論理設計検証システムの試作研究

    • 研究代表者
      矢島 脩三
    • 研究期間 (年度)
      1986 – 1987
    • 研究種目
      試験研究
    • 研究分野
      情報工学
    • 研究機関
      京都大学
  •  冗長表現を利用した超LSI向きハードウェアアルゴリズムの設計に関する研究

    • 研究代表者
      矢島 脩三
    • 研究期間 (年度)
      1985 – 1986
    • 研究種目
      一般研究(B)
    • 研究分野
      情報工学
    • 研究機関
      京都大学

すべて 2009 2008 2007

すべて 学会発表

  • [学会発表] 記号モデル検査器SMVにおけるBDDの変数順について2009

    • 著者名/発表者名
      平石 裕実
    • 学会等名
      DTC研究会
    • 発表場所
      箱根千代田荘
    • 年月日
      2009-03-29
    • データソース
      KAKENHI-PROJECT-18500043
  • [学会発表] 記号モデル検査器SMVにおけるBDDの変数順について2009

    • 著者名/発表者名
      平石裕実
    • 学会等名
      DTC研究会
    • 発表場所
      箱根千代田壮
    • 年月日
      2009-03-29
    • データソース
      KAKENHI-PROJECT-18500043
  • [学会発表] SATアルゴリズムを利用した記号モデル検査について2008

    • 著者名/発表者名
      平石裕実
    • 学会等名
      DTC研究会
    • 発表場所
      京都ガーデンパレス
    • 年月日
      2008-03-02
    • データソース
      KAKENHI-PROJECT-18500043
  • [学会発表] 記号モデル検査のスケールアップについて2007

    • 著者名/発表者名
      平石裕実
    • 学会等名
      DTC研究会
    • 発表場所
      別府豊泉荘
    • 年月日
      2007-03-03
    • データソース
      KAKENHI-PROJECT-18500043
  • 1.  荻野 博幸 (40144323)
    共同の研究課題数: 9件
    共同の研究成果数: 0件
  • 2.  高木 直史 (10171422)
    共同の研究課題数: 8件
    共同の研究成果数: 0件
  • 3.  矢島 脩三 (20025901)
    共同の研究課題数: 8件
    共同の研究成果数: 0件
  • 4.  石浦 菜岐佐 (60193265)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 5.  武永 康彦 (20236491)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 6.  岩間 一雄 (50131272)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 7.  濱口 清治 (80238055)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 8.  川久保 和雄 (10186067)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 9.  安浦 寛人 (80135540)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 10.  上林 弥彦 (00026311)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  有川 正俊 (30202758)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 12.  渡辺 正子 (70127158)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 13.  美濃 導彦 (70166099)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 14.  最所 圭三 (50170486)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 15.  古川 哲也 (00209165)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 16.  今井 浩 (80183010)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 17.  掛下 哲郎 (10214272)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  吉川 正俊 (30182736)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  中村 千秋 (00217861)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  田中 克己 (00127375)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi