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

KITAMITI Junji  北道 淳司

ORCIDConnect your ORCID iD *help
… Alternative Names

北道 淳司  キタミチ ジユンジ

Less
Researcher Number 20234271
Other IDs
External Links
Affiliation (Current) 2025: 会津大学, コンピュータ理工学部, 教授
Affiliation (based on the past Project Information) *help 2002 – 2004: 会津大学, コンピュータ理工学部, 助教授
2001: 大阪大学, サイバーメディアセンタ, 講師
2000 – 2001: Cybermedia Center Osaka University Assis.Prof., サイバーメディアセンター, 講師
1999: Graduate School of Engineering Science, Osaka University, Tutor, 情報処理教育センター, 講師
1998: Osaka University, Graduate School of Engineering Science, Department of Informat, 基礎工学研究科, 助手
1997 – 1998: 大阪大学, 大学院・基礎工学研究科, 助手
1993 – 1996: 大阪大学, 基礎工学部, 助手
Review Section/Research Field
Principal Investigator
計算機科学
Except Principal Investigator
計算機科学 / 情報通信工学
Keywords
Principal Investigator
FPGA / 形式的検証 / CAD / 同期式順序回路 / Neural Network / Partition / Greedy / Simulated Annealing / Multi Context / Dynamically Reconfigurable Logic … More / シミュレーション / 動的再構成可能FPGA / 回路分割 / 配置・配線 / ニューラルネットワーク / 可変構造アーキテクチャ / 設計自動化 / 動的再構成 / SystemC / アダマール変換 / タイミング検証 / 非同期回路 / 動的再構成アーキテクチャ / システムレベル設計 / 時相論理 / 計算本論理 / BDD / 時相倫理 / 計算木論理 / プレスブルガー算術 / システムLSI / 定理証明 / 仕様記述 / 高位設計 / シストリックアレイ / 代数的手法 / GUI / 段階的設計 / 代数的仕様記述 … More
Except Principal Investigator
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-クイーン問題 / 高位記述言語 / 最適化問題 / ニューラルネットワーク / プレスブルガ-算術 / 形式的検証 / 分散実行 / プログラム自動合成 / 検証 / ペトリネットモデル / プレスブルガ文 / 順序機械型プログラム Less
  • Research Projects

    (16 results)
  • Co-Researchers

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

    • Principal Investigator
      北道 淳司
    • Project Period (FY)
      2002 – 2003
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      計算機科学
    • Research Institution
      The University of Aizu
  •  Higher Level Design and Verification Support Systems for Hardware

    • Principal Investigator
      TANIGUSHI Kenichi
    • Project Period (FY)
      2001 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  Hardware Synthesis of High-speed Network Monitors

    • Principal Investigator
      HIGASHINO Teruo
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      情報通信工学
    • Research Institution
      Osaka University
  •  システムLSIの形式的検証のためのプレスブルガー算術処理を含む検証手法の研究Principal Investigator

    • Principal Investigator
      北道 淳司
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  Hardware Synthesis of Communication Protocols in Real-Time LOTOS Language

    • Principal Investigator
      HIGASHINO Teruo
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      情報通信工学
    • Research Institution
      Osaka University
  •  "A Study on design and verification of parallel sequential machines"

    • Principal Investigator
      KENICHI Taniguchi
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  Study of the implementation method for Newral Network Argoritm with a Multi-Context Dynamically Reconfigurable FPGAPrincipal Investigator

    • Principal Investigator
      KITAMICHI Junji
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  Hardware syntesis from formal descriptions of communication prorocols

    • Principal Investigator
      TANIGUCHI Kenichi
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  高位記述言語によるニューラルネットワークの設計と評価

    • Principal Investigator
      西川 清史
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  マルチランデブを含むLOTOSプログラムの分散実行系の構築

    • Principal Investigator
      谷口 健一
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  シストリックアレイの形式的検証システムに関する研究Principal Investigator

    • Principal Investigator
      北道 淳司
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  複数の制御部をもつ同期式順序回路の機能検証に関する研究

    • Principal Investigator
      谷口 健一
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  同期式順序回路の代数的仕様からの段階的設計における再設計支援環境に関する研究Principal Investigator

    • Principal Investigator
      北道 淳司
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  ペトリネット型実行制御部をもつ代数的仕様記述の検証と分散実行系

    • Principal Investigator
      谷口 健一
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  代数的手法を用いたプログラムの階層的設計と開発環境に関する研究

    • Principal Investigator
      TANIGUCHI Kenichi
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  Development of ASIC Design Support System

    • Principal Investigator
      TANIGUCHI Kenichi
    • Project Period (FY)
      1993 – 1994
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  • 1.  HIGASINO Teruo (80173144)
    # of Collaborated Projects: 11 results
    # of Collaborated Products: 0 results
  • 2.  OKANO Kozo (70252632)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 0 results
  • 3.  TANIGUCHI Kenichi (00029513)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 0 results
  • 4.  FUNABIKI Nobuo (70263225)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 5.  MATSUURA Toshio (40127296)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 6.  YASUMOTO Keiichi (40273396)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 7.  KITAJIMA Akira (00304030)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 8.  YAMAGUCHI Hirozumi (80314409)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 9.  NAKATA Akio (60295839)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  MORIOKA Sumio
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  SUGIYAMA Yuuji (50116050)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  UMEDU Takaaki (10346174)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  西川 清史 (10252636)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

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?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi