OGINO Hiroyuki 荻野博幸

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 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

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

OGINO Hiroyuki 荻野 博幸

Research Projects

Research Products

Co-Researchers

Development of Advanced Web Data Houses and its Application to Education SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Author(s)

Journal Title

Data Source

OGINO Hiroyuki 荻野博幸