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

MIYAMOTO Kenji  宮本 健司

ORCIDConnect your ORCID iD *help
Researcher Number 40339502
Other IDs
Affiliation (based on the past Project Information) *help 2007: Hosei University, 工学部, 准教授
2004 – 2007: 法政大学, 工学部, 助教授
Review Section/Research Field
Principal Investigator
Media informatics/Database
Keywords
Principal Investigator
XML / Web2.0 / program construction / learning / database / Hoare Logic / verification / program / 型理論 / 意味検索 … More / プログラム / 再生産 / 自動証明 / 仕様抽出 / 検索 / プログラム合成 / 学習 / データベース / Hoare論理 / Web検索 / プログラム検証 Less
  • Research Projects

    (1 results)
  • Research Products

    (5 results)
  •  Study of database for programsPrincipal Investigator

    • Principal Investigator
      MIYAMOTO Kenji
    • Project Period (FY)
      2004 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Media informatics/Database
    • Research Institution
      Hosei University

All 2009 2006 2004

All Journal Article Patent

  • [Journal Article]2006

    • Author(s)
      山本航, 宮本健司, 関川浩, 白柳潔
    • Journal Title

      京都大学数理解析研究所研究録 "Computer Algebra…Design of Algorithms, Implementations and Applications" 1514

      Pages: 164-170

    • Data Source
      KAKENHI-PROJECT-16500071
  • [Journal Article] Deductive System for Human-Like Proof for Geometry2006

    • Author(s)
      Miyamoto, K, W.Yamamoto, H.Sekigawa, K.Shirayanagi
    • Journal Title

      Proc. 13th Symp. Integration of Symbolic Computation and Reasoning (CDROM)

    • Data Source
      KAKENHI-PROJECT-16500071
  • [Patent] 特許2009

    • Inventor(s)
      宮本健司
    • Industrial Property Rights Holder
      宮本健司
    • Industrial Property Number
      2009-086641
    • Filing Date
      2009-03-31
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500071
  • [Patent] プログラムベース2004

    • Inventor(s)
      宮本 健司
    • Industrial Property Rights Holder
      宮本 健司
    • Industrial Property Number
      2004-265263
    • Filing Date
      2004-09-15
    • Data Source
      KAKENHI-PROJECT-16500071
  • [Patent] 特許2004

    • Inventor(s)
      宮本健司
    • Industrial Property Rights Holder
      宮本健司
    • Patent Publication Number
      2006-085206
    • Filing Date
      2004-09-13
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500071

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