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

INOMATA Toshimitsu  猪股 俊光

ORCIDConnect your ORCID iD *help
… Alternative Names

猪股 俊光  イノマタ トシミツ

Less
Researcher Number 30213193
Other IDs
External Links
Affiliation (Current) 2025: 岩手県立大学, ソフトウェア情報学部, 教授
Affiliation (based on the past Project Information) *help 2022 – 2023: 岩手県立大学, ソフトウェア情報学部, 教授
1998: 岩手県立大学, ソフトウェア情報学部, 助教授
1996 – 1997: 静岡理工科大学, 理工学部, 助教授
1990: Toyohashi University of Technology Research Associate Faculty of Engineering, 工学部, 助手
Review Section/Research Field
Principal Investigator
計算機科学 / Basic Section 60040:Computer system-related
Except Principal Investigator
化学工学
Keywords
Principal Investigator
ペトリネット / 線形論理 / 超スマート社会 / 静的解析 / 影響波及解析 / スマート社会 / 影響波及範囲解析 / コーティングパターン / CXML / 派生開発 … More / ソフトウェアメトリクス / ソフトウェア解析 / 組込みソフトウェア / 組込みシステム / 構成的設計法 / 形式的仕様記述 / 可達性 / 構成的プログラミング / 並列計算モデル / 仕様記述 / 形式的設計法 … More
Except Principal Investigator
Control / Operation Planning / Simulation / Petri Net / Discrete Event System / Batch Process / 操業問題 / ペトリネット / 制御 / 運用計画 / シミュレ-ション / ペトソネット / 離散事象系 / バッチプロセス Less
  • Research Projects

    (4 results)
  • Research Products

    (2 results)
  • Co-Researchers

    (2 People)
  •  High-Quality Development Method for Embedded Software for the Realization of Society 5.0Principal Investigator

    • Principal Investigator
      猪股 俊光
    • Project Period (FY)
      2022 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60040:Computer system-related
    • Research Institution
      Iwate Prefectural University
  •  線形論理に基づく並列プログラムの形式的設計法と並列計算機によるその実現Principal Investigator

    • Principal Investigator
      猪股 俊光
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Iwate Prefectural University
      Shizuoka Institute of Science and Technology
  •  並列プログラムの形式的設計法とその実現Principal Investigator

    • Principal Investigator
      猪股 俊光
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Shizuoka Institute of Science and Technology
  •  A Study on Simulation for Planning of Batch Process Operation

    • Principal Investigator
      ONOGI Katsuaki
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      化学工学
    • Research Institution
      Toyohashi University of Technology

All 2023

All Presentation Book

  • [Book] Arduinoで学ぶ組込みシステム入門(第2版)2023

    • Author(s)
      猪股 俊光
    • Total Pages
      224
    • Publisher
      森北出版
    • ISBN
      9784627818323
    • Data Source
      KAKENHI-PROJECT-22K11957
  • [Presentation] 関数間のデータのやり取りとバグ混入の関係性の考察2023

    • Author(s)
      高崎椋太,猪股俊光
    • Organizer
      FIT2023(第22回情報科学技術フォーラム)
    • Data Source
      KAKENHI-PROJECT-22K11957
  • 1.  ONOGI Katsuaki (80115542)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  NISHIMURA Yoshiyuki (70023075)
    # 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