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

CHAKRAVARTY Manuel  チャクラヴァーティ マヌエル

ORCIDConnect your ORCID iD *help
… Alternative Names

チャクラヴァティ マヌエル  チャクラヴァティ マヌエル

チャクラウ゛ァティ マヌエ  チャクラウ゛ァティ マヌエル

チャクラヴァーティ マニ  チャクラヴァーティ マニュエル

CHAKRAVARY Mauuel  CHAKRAVARTY マヌエル

チャクラヴァティ マヌエ  チャクラヴァティ マヌエル

Less
Researcher Number 30292535
Affiliation (based on the past Project Information) *help 1997 – 1999: University of Tsukuba, Institute of information science and electronics, lecture, 電子・情報工学系, 講師
Review Section/Research Field
Principal Investigator
計算機科学
Except Principal Investigator
計算機科学
Keywords
Principal Investigator
グラフ簡約 / 軽量スレッド / モバイルコード / Goffin / インターネットプログラミング / 並列制約プログラミング / 関数型言語 / 遠隔操作可能言語 / コーディネーション言語 / 分散プログラミング / 関数型プログラミング … More
Except Principal Investigator
… More Mathematica / CFLP / completeness / computation model / 求解完全性 / 計算モデル / narrowing calculus / constraint solving system / functional logic languages / ナローイング / ナローイング計算系 / 制約解消系 / 関数論理型言語 / conditional rewriting / higher-order functional-logic language / narrowing / 安全性 / 高階関数論理型言語 / 完全性 / 条件付き項書換え系 / 高階関数・論理型言語 / ナロ-イング / constraint solving / distributed environment / human interface / functional-logic language / multimedia / declarative programming / ヒューマンインターフェイス / 関数・論理型言語 / 制約解消 / 分散環境 / ヒューマンインタフェース / ナロ-イング計算系 / 関数論理融合型言語 / マルチメディア / 宣言型プログラミング Less
  • Research Projects

    (4 results)
  • Co-Researchers

    (7 People)
  •  コーディネーションに基づく記号計算プログラミングPrincipal Investigator

    • Principal Investigator
      チャクラヴァーティ マヌエル (チャクラヴァティ マヌエル)
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  Functional Logic Programming with Distributed Constraint Solving System

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  computation model for higher-order functional-logic languages

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  design and implementation of multimedia programming environment with functional-logic languages

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  • 1.  IDA Tetsuo (70100047)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 2.  SUZUKI Taro (90272179)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  MIDDELDORP Aart (30251044)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 4.  KATO Kazuhiko (90224493)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  清木 康 (10169956)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  MINAMIDE Yasuhiko (50252531)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  YAMADA Toshiyuki (60312831)
    # 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