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

于 海波  ウ ハイポウ

ORCIDConnect your ORCID iD *help
Researcher Number 80848903
Other IDs
Affiliation (Current) 2025: 九州産業大学, 理工学部, 准教授
Affiliation (based on the past Project Information) *help 2021 – 2024: 九州産業大学, 理工学部, 准教授
Review Section/Research Field
Principal Investigator
Basic Section 60050:Software-related
Keywords
Principal Investigator
プログラムデバッグ / 依存性解析 / 開発環境構築 / 量子プログラム / 開発支援環境 / 確率的プログラミング
  • Research Projects

    (2 results)
  • Research Products

    (4 results)
  • Co-Researchers

    (1 People)
  •  Building an Integrated Development Support Environment for Quantum Programs Based on Program Dependency TheoryPrincipal Investigator

    • Principal Investigator
      于 海波
    • Project Period (FY)
      2024 – 2026
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Kyushu Sangyo University
  •  Constructing Integrated Development Environment for Highly Reliable Probabilistic ProgramsPrincipal Investigator

    • Principal Investigator
      于 海波
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Kyushu Sangyo University

All 2024 2023 2022

All Presentation

  • [Presentation] 確率的プログラムにおけるバグパターンの特定2024

    • Author(s)
      西村優里, 于海波
    • Organizer
      情報処理学会第86回全国大会
    • Data Source
      KAKENHI-PROJECT-21K11841
  • [Presentation] 確率的プログラムシステムのバグ検出ツールの開発2023

    • Author(s)
      ヴォダイチン, 于海波
    • Organizer
      第22回情報科学技術フォーラム(FIT2023)
    • Data Source
      KAKENHI-PROJECT-21K11841
  • [Presentation] 確率的プログラムにおけるバグ検出2022

    • Author(s)
      ヴォダイチン, 于海波
    • Organizer
      情報処理学会第85回全国大会
    • Data Source
      KAKENHI-PROJECT-21K11841
  • [Presentation] 確率的プログラムにおけるバグ分析2022

    • Author(s)
      西村優里, 于海波
    • Organizer
      情報処理学会第85回全国大会
    • Data Source
      KAKENHI-PROJECT-21K11841
  • 1.  趙 建軍 (20299580)
    # of Collaborated Projects: 2 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