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

TAKASU Satoru  高須 達

ORCIDConnect your ORCID iD *help
Researcher Number 10027360
Affiliation (based on the past Project Information) *help 1987: Research institute for mathematical Sciences, 数理解析研究所, 教授
1986: 京大, 数理解析研究所, 教授
Review Section/Research Field
Principal Investigator
Informatics
Keywords
Principal Investigator
LISP generalizatin of programs fuctional language / type theory / intuitionistic predicate calculus / Program synthesis / 型付関数型言語 / プログラム検証 / 定理の証明 / 関数型言語 / マルチウィンドウシステム / プログラムの一般化 … More / LISP / 型論理 / 直観主義述語論理 / プログラム合成 Less
  • Research Projects

    (1 results)
  • Co-Researchers

    (3 People)
  •  Studies of Inference mechanism in intelligent information processingPrincipal Investigator

    • Principal Investigator
      TAKASU Satoru
    • Project Period (FY)
      1985 – 1987
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Kyoto University
  • 1.  NAKAHARA Takako (90155797)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  HAGIYA Masami (30156252)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  HAYASHI Susumu (40156443)
    # 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