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

ULIDOWSKI Ireneusz  I UlidoWSKi

ORCIDConnect your ORCID iD *help
Researcher Number 40273528
Affiliation (based on the past Project Information) *help 1998: 京大, 数理解析研究所, 助教授
1997: 京都大学, 数理解析研究所, 助教授
1995: Kyoto Univ., Research Institute For Mathematical Sciences, Associate Professor, 数理解析研究所, 助教授
Review Section/Research Field
Principal Investigator
計算機科学
Except Principal Investigator
計算機科学
Keywords
Principal Investigator
形式意味論 / 並行分散システム / 通信プロセスモデル / 実時間性 / 構造的操作意味定義 / プロセス代数
Except Principal Investigator
Polymorphism / Data Model / Compiler / Programming Language … More / Type Theory / 型推論 / ポリモルフィズム / データモデル / コンパイラー / プログラミング言語 / 型理論 Less
  • Research Projects

    (2 results)
  • Co-Researchers

    (3 People)
  •  並列システムの仕様記述、デザインのためのGPAMソフトウェア・ツールPrincipal Investigator

    • Principal Investigator
      I UlidoWSKi (ULIDOWSKI Ireneusz)
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Kyoto University
  •  Research on Programming Language Design Theory Based on Type Theory

    • Principal Investigator
      OHORI Atsushi
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      KYOTO UNIVERSITY
  • 1.  OHORI Atsushi (60252532)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  MINAMIDE Yasuhiko (50252531)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  ウリドウスキー イレニウ
    # 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