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

IKEDA Yasuwo  池田 靖雄

ORCIDConnect your ORCID iD *help
Researcher Number 10279599
Other IDs
Affiliation (based on the past Project Information) *help 1998 – 2000: 埼玉短期大学, 情報処理学科, 講師
Review Section/Research Field
Except Principal Investigator
計算機科学
Keywords
Except Principal Investigator
Tense Arithmetic / SOFA / Music information processing / Envelope theory / Verification of realtime controlled systems / tense Arithemetic / 定時間システムの検証 / エンヴェローブ理論 / 音楽情報処理 / エンヴェロープ理論 / 実時間システムの検証
  • Research Projects

    (1 results)
  • Co-Researchers

    (5 People)
  •  A Study on Program Verification Systems based on Analytic Semantics

    • Principal Investigator
      MIZUTANI Tetauya
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      UNIVERSITY OF TSUKUBA
  • 1.  MIZUTANI Tetauya (70209758)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  HOSONO Chiharu (20108294)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  IGARASHI Shigeru (80027367)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  SHIO Masayuki (60302395)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  TOMITA Kohji (80357574)
    # 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