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

北道 淳司  KITAMITI Junji

ORCIDORCID連携する *注記
研究者番号 20234271
その他のID
外部サイト
所属 (現在) 2025年度: 会津大学, コンピュータ理工学部, 教授
所属 (過去の研究課題情報に基づく) *注記 2002年度 – 2004年度: 会津大学, コンピュータ理工学部, 助教授
2001年度: 大阪大学, サイバーメディアセンタ, 講師
2000年度 – 2001年度: 大阪大学, サイバーメディアセンター, 講師
1999年度: 大阪大学, 情報処理教育センター, 講師
1998年度: 大阪大学, 基礎工学研究科, 助手
1997年度 – 1998年度: 大阪大学, 大学院・基礎工学研究科, 助手
1993年度 – 1996年度: 大阪大学, 基礎工学部, 助手
審査区分/研究分野
研究代表者
計算機科学
研究代表者以外
計算機科学 / 情報通信工学
キーワード
研究代表者
FPGA / 形式的検証 / CAD / 同期式順序回路 / Neural Network / Partition / Greedy / Simulated Annealing / Multi Context / Dynamically Reconfigurable Logic … もっと見る / シミュレーション / 動的再構成可能FPGA / 回路分割 / 配置・配線 / ニューラルネットワーク / 可変構造アーキテクチャ / 設計自動化 / 動的再構成 / SystemC / アダマール変換 / タイミング検証 / 非同期回路 / 動的再構成アーキテクチャ / システムレベル設計 / 時相論理 / 計算本論理 / BDD / 時相倫理 / 計算木論理 / プレスブルガー算術 / システムLSI / 定理証明 / 仕様記述 / 高位設計 / シストリックアレイ / 代数的手法 / GUI / 段階的設計 / 代数的仕様記述 … もっと見る
研究代表者以外
VHDL / 通信プロトコル / LOTOS / レジスタ転送レベル / 代数的手法 / 並行システム / 実時間システム / マルチランデブ / 設計検証 / プレスブルガー文 / Communication Protocols / Concurrent Systems / Hardware Synthesis / ハードウェア合成 / 形式記述技法 / CAD / ASIC / パイプラインCPU / 拡張有限状態機械 / 同期式順序回路 / 自動検証 / 設計自動化 / Multi-rendezvous / Reliability / Network Management / Network Monitor / 信頼性 / ネットワーク管理 / ネットワークモニター / Time-Action-Deadlock / Behavioral Level / Register Transfer Level / Verification Support System / Verification of Timeliness / Verification of Functional Properties / High-Leveled Design / CTL / 並列同期回路 / モデルチェッカー / 並列同期システム / 時間オートマトン群 / 時相論理式 / 整数変数つきFSM / 時間領域デッドロック / 動作仕様レベル / 検証支援システム / 時間性質の保証 / 機能性質の保証 / ハードウェア高位設計 / Presburger sentences / parallel control systems / parallel sequential machines / real-times systems / symbolic model checking / out-of-order pipelined CPU / Design and verification technique / out-of-order型パイプラインCPU / 時間オートマトン / モデル検査 / 動的性質 / 順序機械 / プレスブルガー文真偽判定 / 並列制御部 / 並列動作順序回路 / 記号モデル検査 / Out-of-order CPU / Scheduling / FDTs / Real-Time Systems / ハードウェア高位合成 / スケジューリング / 形式記述言語 / FDT / multi-rendezvous / High level synthesis / Register transfer level / Automatic curcuit synthesis / Hardware design / Protocol / 並行プロセス / ハードウェア化 / 高位レベル合成 / 回路自動合成 / ハードウェア / State diagram transformation / Presburger sentence / Design verification / Stepwise refinement / Algebraic method / Synchronous sequential circuit / 形式的手法 / 機能設計 / グラフィカルユーザインタフェース / 高位合成 / 状態図変形 / プレスブルガ-文 / 段階的詳細化 / イーサーネット / バス結合型ネットワーク / コンパイラ / 分散システム / N-クイーン問題 / 高位記述言語 / 最適化問題 / ニューラルネットワーク / プレスブルガ-算術 / 形式的検証 / 分散実行 / プログラム自動合成 / 検証 / ペトリネットモデル / プレスブルガ文 / 順序機械型プログラム 隠す
  • 研究課題

    (16件)
  • 共同研究者

    (13人)
  •  動的再構成可能FPGAを用いた可変構造システムの設計および検証に関する研究研究代表者

    • 研究代表者
      北道 淳司
    • 研究期間 (年度)
      2002 – 2003
    • 研究種目
      若手研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      会津大学
  •  ハードウェアの高位設計・検証支援システム

    • 研究代表者
      谷口 健一
    • 研究期間 (年度)
      2001 – 2004
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  ネットワークモニターのハードウェア合成に関する研究

    • 研究代表者
      東野 輝夫
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報通信工学
    • 研究機関
      大阪大学
  •  システムLSIの形式的検証のためのプレスブルガー算術処理を含む検証手法の研究研究代表者

    • 研究代表者
      北道 淳司
    • 研究期間 (年度)
      2000 – 2001
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  時間制約付LOTOS言語で書かれた通信プロトコル仕様のハードウェア化に関する研究

    • 研究代表者
      東野 輝夫
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報通信工学
    • 研究機関
      大阪大学
  •  並行動作順序回路システムの設計と検証に関する研究

    • 研究代表者
      谷口 健一
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  可変構造アーキテクチャによるニューラルネットワーク実現法の研究研究代表者

    • 研究代表者
      北道 淳司
    • 研究期間 (年度)
      1997 – 1999
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  通信プロトコルの形式仕様からのハードウェア回路合成

    • 研究代表者
      谷口 健一
    • 研究期間 (年度)
      1997 – 1998
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  高位記述言語によるニューラルネットワークの設計と評価

    • 研究代表者
      西川 清史
    • 研究期間 (年度)
      1996
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  マルチランデブを含むLOTOSプログラムの分散実行系の構築

    • 研究代表者
      谷口 健一
    • 研究期間 (年度)
      1996
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  シストリックアレイの形式的検証システムに関する研究研究代表者

    • 研究代表者
      北道 淳司
    • 研究期間 (年度)
      1996
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  複数の制御部をもつ同期式順序回路の機能検証に関する研究

    • 研究代表者
      谷口 健一
    • 研究期間 (年度)
      1995
    • 研究種目
      一般研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  同期式順序回路の代数的仕様からの段階的設計における再設計支援環境に関する研究研究代表者

    • 研究代表者
      北道 淳司
    • 研究期間 (年度)
      1995
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  ペトリネット型実行制御部をもつ代数的仕様記述の検証と分散実行系

    • 研究代表者
      谷口 健一
    • 研究期間 (年度)
      1994
    • 研究種目
      一般研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  代数的手法を用いたプログラムの階層的設計と開発環境に関する研究

    • 研究代表者
      谷口 健一
    • 研究期間 (年度)
      1993
    • 研究種目
      一般研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  ASIC設計の上流工程設計支援システムの開発

    • 研究代表者
      谷口 健一
    • 研究期間 (年度)
      1993 – 1994
    • 研究種目
      試験研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  • 1.  東野 輝夫 (80173144)
    共同の研究課題数: 11件
    共同の研究成果数: 0件
  • 2.  岡野 浩三 (70252632)
    共同の研究課題数: 9件
    共同の研究成果数: 0件
  • 3.  谷口 健一 (00029513)
    共同の研究課題数: 8件
    共同の研究成果数: 0件
  • 4.  舩曵 信生 (70263225)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 5.  松浦 敏雄 (40127296)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 6.  安本 慶一 (40273396)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 7.  北嶋 暁 (00304030)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 8.  山口 弘純 (80314409)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 9.  中田 明夫 (60295839)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 10.  森岡 澄夫
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  杉山 裕二 (50116050)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  梅津 高朗 (10346174)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  西川 清史 (10252636)
    共同の研究課題数: 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