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

荻野 博幸  OGINO Hiroyuki

ORCIDORCID連携する *注記
研究者番号 40144323
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記 2003年度 – 2005年度: 京都大学, 情報学研究科, 助手
1998年度 – 2000年度: 京都大学, 情報学研究科, 助手
1999年度: 京都大学, 大学院・情報学研究科, 助手
1995年度 – 1997年度: 京都大学, 工学研究科, 助手
1996年度: 大阪大学, 工学研究科, 助手
1986年度 – 1994年度: 京都大学, 工学部, 教務職員
審査区分/研究分野
研究代表者
メディア情報学・データベース
研究代表者以外
計算機科学 / 情報工学 / 情報工学
キーワード
研究代表者
e-learning / WWW / security / usage history analysis / data warehouse / environment education / information education / education system / 協調作業支援 / ウェブデータ利用履歴 … もっと見る / データ利用効率化 / 情報検索 / 創造性教育 / 数学教育 / ウェブデータウェアハウス / e-Learning / セキュリティ / 利用履歴分析 / データウェアハウス / 環境学習 / 情報教育 / 教育システム … もっと見る
研究代表者以外
時相論理 / PVM / 論理関数処理 / 二分決定グラフ / 論理設計検証 / 論理設計 / Binary Decision Diagram / Logic Simulation / Logic Design Verification / Logic Design / Temporal Logic / 記号シミュレ-ション / 仕様記述 / 論理シミュレーション / Hardware Algorithm / 算術演算回路 / ハードウェアアルゴリズム / parallelization / CNF Satisfiability / NP完全性 / 最適化問題 / 学生配属問題 / 充足可能性問題 / 実世界問題 / CAD / モデルチェッキング / 形式的設計検証 / 組合せ問題 / temporal logic / 論理設計支援 / 順序回路 / Boolean Function Manipulation / Boolean Function / 計算複雑さ / 論理関数 / Symbolic Simulation / Timing Verification / 論理シミュレ-ション / タイミング検証 / Model Checking / Formal Verification / 形式的検証 / 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 / 冗長表現 / time scheduling problem / cluster / local search algorithm / optimization problem / real world problem / NP困難性 / 不完全リスト / 同順位リスト / 安定結婚問題 / 並列計算 / ベクトル計算機 / MAX SAT / http通信 / 時間割作成 / 大規模クラスタ / 分散 / 並列 / 局所探索法 / vectorization / local search algorithms / student assignment / Partial MAXSAT / real-world problems / SAT / 多項式時間変換 / ベクトル化 / 並列化 / 局所探索アルゴリズム / 部分MAXSAT / random generation / benchmarks / optimization / logic design / 回路理論的複雑さ / オンセットサイズ / 等価変換 / 入出力次数制限 / NANDゲート回路 / 論理回路最適化システム / ベンチマーク生成システム / ランダム論理回路 / ランダム生成 / ベンチマーク / 最適化 / binary decision diagram / logic function manipulation / model checking / First-order Predicate logic / Function level design / Formal design verification / 算術演算回路検証 / 機能レベル検証 / 三分決定グラフ / 二分モーメントグラフ / 調理関数処理 / マイクロプロセッサ / 第一階述語論理 / 機能レベル設計 / Formal Specification / Logic Function Manipulation / 形式的論理設計検証 / 論理開数処理 / Combinatorial Problem / Content Addressable Memory / Computational Complexity / Prallel Algorithm / Computer Aided Logic Design / 内容アドレスメモリ / 並列アルゴリズム / computer-aided logic design / state assignment / logic function optimization / sequential circuits / logic design verification / logic synthesis / 状態割当て / 論理関数簡単化 / 論理合成 / Computational complexity / computer Aided Design / 計算機援用設計 / Hazard / Asynchronous Sequential Circuit / 論立設計検証 / ハザ-ド / 非同期式順序回路 / 共有二分決定グラフ / 順序機械 / 正則集合 / 設計検証 / モデル検査 隠す
  • 研究課題

    (14件)
  • 研究成果

    (1件)
  • 共同研究者

    (24人)
  •  高水準ウェブデータウェアハウスとそれを基盤とする教育システムの研究開発研究代表者

    • 研究代表者
      荻野 博幸, 上林 弥彦
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      基盤研究(A)
    • 研究分野
      メディア情報学・データベース
    • 研究機関
      京都大学
  •  実世界組み合わせ問題に対する実行可能近似解の高速探求

    • 研究代表者
      岩間 一雄
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      京都大学
  •  高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法

    • 研究代表者
      岩間 一雄
    • 研究期間 (年度)
      1997 – 1999
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      京都大学
  •  ベンチマ-キングのための不自然でないランダム論理回路の高速大量生成

    • 研究代表者
      岩間 一雄
    • 研究期間 (年度)
      1996 – 1997
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      京都大学
      九州大学
  •  マイクロプロセッサの形式的論理設計検証システムの試作研究

    • 研究代表者
      矢島 脩三
    • 研究期間 (年度)
      1995 – 1996
    • 研究種目
      基盤研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      京都大学
  •  論理関数高速処理機構に関する基礎的研究

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

    • 研究代表者
      矢島 修三 (矢島 脩三)
    • 研究期間 (年度)
      1993 – 1994
    • 研究種目
      試験研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      京都大学
  •  ブール関数処理による順序回路の自動合成・設計検証システムの試作研究

    • 研究代表者
      矢島 脩三
    • 研究期間 (年度)
      1991 – 1992
    • 研究種目
      試験研究(B)
    • 研究分野
      情報工学
    • 研究機関
      京都大学
  •  共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究

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

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

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

    • 研究代表者
      矢島 脩三 (矢島 修三)
    • 研究期間 (年度)
      1988 – 1989
    • 研究種目
      一般研究(B)
    • 研究分野
      情報工学
    • 研究機関
      京都大学
  •  ベクトルプロセッサを用いた高速論理シミュレータと論理設計検証システムの試作研究

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

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

すべて 2004

すべて 雑誌論文

  • [雑誌論文] Continual Practice and Evaluation of TESTS : An E-Learning System for Mathematics Education at a Senior High School2004

    • 著者名/発表者名
      Takeshi Fujioka, Tatsuo Ogino, Hideyuki Takada, Yahiko Kambayashi
    • 雑誌名

      Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications (ED-MEDIA 2004)

      ページ: 1039-1047

    • データソース
      KAKENHI-PROJECT-15200009
  • 1.  矢島 脩三 (20025901)
    共同の研究課題数: 9件
    共同の研究成果数: 0件
  • 2.  平石 裕実 (40093299)
    共同の研究課題数: 9件
    共同の研究成果数: 0件
  • 3.  高木 直史 (10171422)
    共同の研究課題数: 9件
    共同の研究成果数: 0件
  • 4.  岩間 一雄 (50131272)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 5.  石浦 菜岐佐 (60193265)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 6.  武永 康彦 (20236491)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 7.  濱口 清治 (80238055)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 8.  安岡 孝一 (20230211)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 9.  岡部 寿男 (20204018)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 10.  川久保 和雄 (10186067)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  宮野 英次 (10284548)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 12.  岩本 宙造 (60274495)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 13.  宮崎 修一 (00303884)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 14.  安浦 寛人 (80135540)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 15.  守屋 和幸 (90159195)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  酒井 徹朗 (10101247)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  岩井原 瑞穂 (40253538)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  高倉 弘喜 (70281144)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  澤田 直 (70235464)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  櫻井 幸一 (60264066)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  上林 弥彦 (00026311)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  高田 秀志 (30378830)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 23.  横田 裕介 (70303881)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  上林 彌彦
    共同の研究課題数: 0件
    共同の研究成果数: 1件

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