中村一博 Nakamura Kazuhiro

研究者番号	90335076
その他のID
外部サイト
所属 (現在)	2025年度: 日本工業大学, 先進工学部, 准教授
所属 (過去の研究課題情報に基づく) *注記	2009年度 – 2010年度: 名古屋大学, 大学院・情報科学研究科, 助教 2007年度 – 2009年度: 名古屋大学, 情報科学研究科, 助教 2006年度: 名古屋大学, 情報科学研究科, 助手 2004年度: 名古屋大学, 大学院・情報科学研究科(工学部), 助手 2004年度: 名古屋大学, 大学院・情報科学研究科, 助手 2003年度: 名古屋大学, 情報科学研究科, 助手 2002年度: 名古屋大学, 情報メディア教育センター, 助手
審査区分/研究分野	研究代表者計算機システム・ネットワーク研究代表者以外計算機科学 / 計算機システム・ネットワーク
キーワード	研究代表者形式的検証 / 論理回路 / 順序回路 / VLSI設計技術 / sequential SAT / フォールスネガティブ / 諭理回路 / BDD / VLSI / タイミング解析 … もっと見る / CNF式 / SATソルバ / LSIアーキテクチャ / ASIC / HMM計算 / 隠れマルコフモデル / 音声認識 … もっと見る研究代表者以外 VLSI / hardware algorithm / cryptosystem / modular reduction / integer Division / modular arithmetic / finite field arithmetic / 暗号化・復号 / 有限体上の除算 / 剰余系除算 / 乗算剰余算 / ハードウェアアルゴリズム / 暗号処理 / 剰余計算 / 整数除算 / 剰余系演算 / 有限体上の演算 / テスト容易化設計 / 加算器 / 乗算器 / 算術演算回路 / VLSIのテスト隠す

テスト容易な演算回路の自動合成に関する研究
- 研究代表者
  
  高木直史
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  名古屋大学
論理回路の形式的検証の正確さ向上に関する研究研究代表者
- 研究代表者
  
  中村一博
- 研究期間 (年度)
  2008 – 2009
- 研究種目
  
  若手研究(B)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  名古屋大学
順序回路のタイミング解析の正確さ向上に関する研究研究代表者
- 研究代表者
  
  中村一博
- 研究期間 (年度)
  2006 – 2007
- 研究種目
  
  若手研究(B)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  名古屋大学
携帯機器向けHMMベース音声・映像認識LSIのための認識エンジン自動生成の研究研究代表者
- 研究代表者
  
  中村一博
- 研究期間 (年度)
  2003 – 2004
- 研究種目
  
  若手研究(B)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  名古屋大学
有限体上の諸演算のためのハードウェアアルゴリズムに関する研究
- 研究代表者
  
  高木直史
- 研究期間 (年度)
  2002 – 2004
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  名古屋大学

すべて 2010 2009 2007 2005 2004

すべて雑誌論文学会発表

[雑誌論文] SATベース形成的検証の高速化のためのCNF式生成における回路分割手法2007
- 著者名/発表者名
  成瀬智啓、中村一博、高木一義、高木直史
- 雑誌名
  
  DAシンポジウム2007論文集
  
  ページ: 5560-5560
- データソース
  KAKENHI-PROJECT-18700043
[雑誌論文] 論理回路のSATべース形式的検証の高速化のためのBDDを用いたCNF式生成手法2007
- 著者名/発表者名
  中村一博
- 雑誌名
  
  電子情報通信学会技術報告 CPSY2006-95
  
  ページ: 61-66
- データソース
  KAKENHI-PROJECT-18700043
[雑誌論文] 順序回路の形成的検証のための1-hotカウンタ検出手法2007
- 著者名/発表者名
  中村一博、高木一義、高木直史
- 雑誌名
  
  電子情報通信学会基礎・境界ソサイエティ大会論文集 A-3-8
  
  ページ: 52-52
- データソース
  KAKENHI-PROJECT-18700043
[雑誌論文] 連続音声認識に適した高速/省メモリなHMM計算回路構成法2005
- 著者名/発表者名
  山本正俊, 中村一博, 高木一義, 高木直史
- 雑誌名
  
  情報処理学会全国大会 1
  
  ページ: 15-16
- NAID
  170000171037
- データソース
  KAKENHI-PROJECT-15700049
[雑誌論文] A Memory Efficient Scalable VLSI Architecture for Output Probability Computations of HMM-based Recognition Systems2004
- 著者名/発表者名
  Kazuhiro Nakamura, Yuki Sawada, Kazuyoshi Takagi, Naofumi Takagi
- 雑誌名
  
  Proceedings of International SoC Design Conference 2004
  
  ページ: 109-112
- データソース
  KAKENHI-PROJECT-15700049
[学会発表] 順序回路の形成的検証におけるフォールスネガティブ削減のための回路変換2010
- 著者名/発表者名
  成瀬智啓、中村一博、高木一義、高木直史
- 学会等名
  電子情報通信学会・VLSI設計技術研究会
- 発表場所
  沖縄県男女共同参画センター
- 年月日
  2010-03-12
- データソース
  KAKENHI-PROJECT-20700046
[学会発表] 順序回路の形式的検証におけるフォールスネガティブ削減のための回路変換2010
- 著者名/発表者名
  尾野紀博、中村一博、高木一義、高木直史
- 学会等名
  電子情報通信学会VLSI設計技術研究会
- 発表場所
  沖縄県男女共同参画センター(沖縄県)
- データソース
  KAKENHI-PROJECT-20700046
[学会発表] Sequential SATの高速化のためのm-Trieを用いた時間フレームを跨いだ状態併合2010
- 著者名/発表者名
  鳥居洸佑、中村一博、高木一義、高木直史
- 学会等名
  電子情報通信学会総合大会
- 発表場所
  東北大学(宮城県)
- データソース
  KAKENHI-PROJECT-20700046
[学会発表] Sequential SATにおける時間フレームを跨いだ状態併合2009
- 著者名/発表者名
  成瀬智啓、中村一博、高木一義、高木直史
- 学会等名
  電子情報通信学会・総合大会
- 発表場所
  愛媛大学
- 年月日
  2009-03-18
- データソース
  KAKENHI-PROJECT-20700046
[学会発表] Sequential SATにおける時間フレームを跨いだ状態併合2009
- 著者名/発表者名
  成瀬智啓、中村一博、高木一義、高木直史
- 学会等名
  電子情報通信学会総合大会
- 発表場所
  愛媛大学(愛媛県)
- データソース
  KAKENHI-PROJECT-20700046

1. 高木直史 (10171422)

共同の研究課題数: 2件

共同の研究成果数: 0件
2. 高木一義 (70273844)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 西永望

共同の研究課題数: 1件

共同の研究成果数: 0件

中村 一博 Nakamura Kazuhiro

研究課題

研究成果

共同研究者

テスト容易な演算回路の自動合成に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

論理回路の形式的検証の正確さ向上に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

順序回路のタイミング解析の正確さ向上に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

携帯機器向けHMMベース音声・映像認識LSIのための認識エンジン自動生成の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

有限体上の諸演算のためのハードウェアアルゴリズムに関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] SATベース形成的検証の高速化のためのCNF式生成における回路分割手法2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] 論理回路のSATべース形式的検証の高速化のためのBDDを用いたCNF式生成手法2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] 順序回路の形成的検証のための1-hotカウンタ検出手法2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] 連続音声認識に適した高速/省メモリなHMM計算回路構成法2005

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] A Memory Efficient Scalable VLSI Architecture for Output Probability Computations of HMM-based Recognition Systems2004

著者名/発表者名

雑誌名

データソース

[学会発表] 順序回路の形成的検証におけるフォールスネガティブ削減のための回路変換2010

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] 順序回路の形式的検証におけるフォールスネガティブ削減のための回路変換2010

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Sequential SATの高速化のためのm-Trieを用いた時間フレームを跨いだ状態併合2010

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Sequential SATにおける時間フレームを跨いだ状態併合2009

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Sequential SATにおける時間フレームを跨いだ状態併合2009

著者名/発表者名

学会等名

中村一博 Nakamura Kazuhiro