• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

OGINO Hiroyuki  荻野 博幸

ORCIDConnect your ORCID iD *help
Researcher Number 40144323
Other IDs
External Links
Affiliation (based on the past Project Information) *help 2003 – 2005: 京都大学, 情報学研究科, 助手
1998 – 2000: 京都大学, 情報学研究科, 助手
1999: 京都大学, 大学院・情報学研究科, 助手
1995 – 1997: 京都大学, 工学研究科, 助手
1996: Kyoto University, Guraduate School of Engineering, Instructor, 工学研究科, 助手
1986 – 1994: Faculty of Engineering,Kyoto University, 工学部, 教務職員
Review Section/Research Field
Principal Investigator
Media informatics/Database
Except Principal Investigator
計算機科学 / 計算機工学 / 情報工学
Keywords
Principal Investigator
WWW / e-learning / 教育システム / 情報教育 / 環境学習 / データウェアハウス / 利用履歴分析 / セキュリティ / e-Learning / ウェブデータウェアハウス … More / 数学教育 / 創造性教育 / 情報検索 / データ利用効率化 / ウェブデータ利用履歴 / 協調作業支援 / education system / information education / environment education / data warehouse / usage history analysis / security … More
Except Principal Investigator
時相論理 / 論理設計 / 論理設計検証 / 二分決定グラフ / 論理関数処理 / PVM / 仕様記述 / 記号シミュレ-ション / Temporal Logic / Logic Design / Logic Design Verification / Logic Simulation / Binary Decision Diagram / 形式的検証 / Formal Verification / Model Checking / タイミング検証 / 論理シミュレ-ション / Timing Verification / Symbolic Simulation / 論理関数 / 計算複雑さ / Boolean Function / Boolean Function Manipulation / 順序回路 / 論理設計支援 / temporal logic / 組合せ問題 / 形式的設計検証 / モデルチェッキング / CAD / 実世界問題 / 充足可能性問題 / 学生配属問題 / 最適化問題 / NP完全性 / CNF Satisfiability / parallelization / ハードウェアアルゴリズム / 算術演算回路 / Hardware Algorithm / 論理シミュレーション / モデル検査 / 設計検証 / 正則集合 / 順序機械 / 共有二分決定グラフ / 非同期式順序回路 / ハザ-ド / 論立設計検証 / Asynchronous Sequential Circuit / Hazard / 計算機援用設計 / computer Aided Design / Computational complexity / 論理合成 / 論理関数簡単化 / 状態割当て / logic synthesis / logic design verification / sequential circuits / logic function optimization / state assignment / computer-aided logic design / 並列アルゴリズム / 内容アドレスメモリ / Computer Aided Logic Design / Prallel Algorithm / Computational Complexity / Content Addressable Memory / Combinatorial Problem / 論理開数処理 / 形式的論理設計検証 / Logic Function Manipulation / Formal Specification / 機能レベル設計 / 第一階述語論理 / マイクロプロセッサ / 調理関数処理 / 二分モーメントグラフ / 三分決定グラフ / 機能レベル検証 / 算術演算回路検証 / Formal design verification / Function level design / First-order Predicate logic / model checking / logic function manipulation / binary decision diagram / 最適化 / ベンチマーク / ランダム生成 / ランダム論理回路 / ベンチマーク生成システム / 論理回路最適化システム / NANDゲート回路 / 入出力次数制限 / 等価変換 / オンセットサイズ / 回路理論的複雑さ / logic design / optimization / benchmarks / random generation / 部分MAXSAT / 局所探索アルゴリズム / 並列化 / ベクトル化 / 多項式時間変換 / SAT / real-world problems / Partial MAXSAT / student assignment / local search algorithms / vectorization / 局所探索法 / 並列 / 分散 / 大規模クラスタ / 時間割作成 / http通信 / MAX SAT / ベクトル計算機 / 並列計算 / 安定結婚問題 / 同順位リスト / 不完全リスト / NP困難性 / real world problem / optimization problem / local search algorithm / cluster / time scheduling problem / 冗長表現 / 超LSI / 冗長2進表現 / 剰余数表示法 / 単一化操作 / ハードウェア設計言語 / Redundant Representation / VLSI; Redundant Binary Representation / Arithmetic Operation / Residue Number Representation / Unification / ベクトルプロセッサ / ワークステーション / マルチスクリーン / 論理シミュレータ / 高水準ハードウェア記述 / 正則時相論理 / 代数的仕様記述 / Vector Processof / Specification Desctiption / Workstation / ハ-ドウェアアルゴリズム / 耐故障設計 / オンライン誤り検出 / 故障シミュレ-ション / テスト生成 / 冗長符号化 / 故障シミュレーション / Arithmetic Circuits / Fault-Tolerant Design / On-Line Error Detection / Fault Simulation / Test Generation / Redundant Coding Less
  • Research Projects

    (14 results)
  • Research Products

    (1 results)
  • Co-Researchers

    (24 People)
  •  Development of Advanced Web Data Houses and its Application to Education SystemsPrincipal Investigator

    • Principal Investigator
      OGINO Hiroyuki, 上林 弥彦
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Media informatics/Database
    • Research Institution
      Kyoto University
  •  A fast search of approximate feasible solutions for real-world combinatorial problems

    • Principal Investigator
      IWAMA Kazuo
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B).
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
  •  Solving Real-World Combinatorial Problems using High-Speed SAT-Algorithms

    • Principal Investigator
      IWAMA Kazuo
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
  •  Fast and Mass Generation of Random Benchmark Circuits That Are Not Too Artificial

    • Principal Investigator
      IWAMA Kazuo
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
      Kyushu University
  •  Research on Development of Formal Logic Design Verifier for Microprocessors

    • Principal Investigator
      YAJIMA Shuzo
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
  •  Basic Research on High-Speed Boolean Function Manipulator

    • Principal Investigator
      YAJIMA Shuzo
    • Project Period (FY)
      1993 – 1994
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
  •  Research on Formal Verifier of Logic Design Based on Temporal Logic

    • Principal Investigator
      YAJIMA Shuzo
    • Project Period (FY)
      1993 – 1994
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
  •  Research on Development of Logic Synthesizer and Design Verifier for Sequential Circuits Based on Boolean Function Manipulation

    • Principal Investigator
      YAJIMA Shuzo
    • Project Period (FY)
      1991 – 1992
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B)
    • Research Field
      情報工学
    • Research Institution
      KYOTO UNIVERSITY
  •  Research on Efficient Manipulation of Boolean Functions Using Shared Binary Decision Diagrams and Its Application to Computer Aided Logic Design

    • Principal Investigator
      YAJIMA Shuzo
    • Project Period (FY)
      1990 – 1991
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      情報工学
    • Research Institution
      Kyoto University
  •  Researches on Formal Logic Design Verification Based on Regular Temporal Logic

    • Principal Investigator
      HIRAISHI Hiromi
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機工学
    • Research Institution
      Kyoto University
  •  Research on Development of a Logic Design Verification System Based on Time-Symbolic Simulation

    • Principal Investigator
      YAJIMA Shuzo
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B).
    • Research Field
      計算機工学
    • Research Institution
      Kyoto University
  •  Researches on the Design of Highly Reliable High-Speed Arithmetic Circuits with Redundant Coding

    • Principal Investigator
      YAJIMA Shuzo
    • Project Period (FY)
      1988 – 1989
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      計算機工学
    • Research Institution
      KYOTO UNIVERSITY
  •  Research on Development of High-Speed Logic Simulators Using a Vector Processor and Logic Design Verification Systems

    • Principal Investigator
      YAJIMA Shuzo
    • Project Period (FY)
      1986 – 1987
    • Research Category
      Grant-in-Aid for Developmental Scientific Research
    • Research Field
      計算機工学
    • Research Institution
      Kyoto University
  •  Research on Design of VLSI Oriented Hardware Algorithms Using Redundant Representation

    • Principal Investigator
      YAJIMA Shuzo
    • Project Period (FY)
      1985 – 1986
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      計算機工学
    • Research Institution
      Kyoto University

All 2004

All Journal Article

  • [Journal Article] Continual Practice and Evaluation of TESTS : An E-Learning System for Mathematics Education at a Senior High School2004

    • Author(s)
      Takeshi Fujioka, Tatsuo Ogino, Hideyuki Takada, Yahiko Kambayashi
    • Journal Title

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

      Pages: 1039-1047

    • Data Source
      KAKENHI-PROJECT-15200009
  • 1.  YAJIMA Shuzo (20025901)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 0 results
  • 2.  HIRAISHI Hiromi (40093299)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 0 results
  • 3.  TAKAGI Naofumi (10171422)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 0 results
  • 4.  IWAMA Kazuo (50131272)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 5.  ISHIURA Nagisa (60193265)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 6.  TAKENAGA Yasuhiko (20236491)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 7.  HAMAGUCHI Kiyoharu (80238055)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 8.  YASUOKA Kouichi (20230211)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 9.  OKABE Yasuo (20204018)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 10.  KAWAKUBO Kazuo (10186067)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  MIYANO Eiji (10284548)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 12.  IWAMOTO Chuzo (60274495)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 13.  MIYAZAKI Shuichi (00303884)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  YASUURA Hiroto (80135540)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  MORIYA Kazuyuki (90159195)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  SAKAI Tetsuro (10101247)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  IWAIHARA Mizuho (40253538)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  TAKAKURA Hiroki (70281144)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  澤田 直 (70235464)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  櫻井 幸一 (60264066)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  上林 弥彦 (00026311)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  高田 秀志 (30378830)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 23.  横田 裕介 (70303881)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  上林 彌彦
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi