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

Kondo Hisashi  近藤 久

ORCIDConnect your ORCID iD *help
… Alternative Names

近藤 久  コンドウ ヒサシ

Less
Researcher Number 40261739
Other IDs
External Links
Affiliation (Current) 2025: 茨城大学, 応用理工学野, 講師
Affiliation (based on the past Project Information) *help 2001 – 2002: 茨城大学, 工学部, 講師
1997 – 2000: 茨城大学, 工学部, 助手
Review Section/Research Field
Principal Investigator
計算機科学
Keywords
Principal Investigator
項書換え系 / 停止性 / 遺伝的プログラミング / 完備化手続き / プログラム検証 / 二分決定グラフ / プログラムの自動合成 / 合流性 / 遺伝的操作
  • Research Projects

    (3 results)
  •  遺伝的プログラミングを用いた項書換え系の自動合成に関する研究Principal Investigator

    • Principal Investigator
      近藤 久
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      計算機科学
    • Research Institution
      Ibaraki University
  •  二分決定グラフを利用した完備化手続きの自動化とその統合環境構築に関する研究Principal Investigator

    • Principal Investigator
      近藤 久
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Ibaraki 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
      Ibaraki University

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