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

MIDDELDORP Aart  ミデルドープ アート

ORCIDConnect your ORCID iD *help
… Alternative Names

ミデルドーブ アート  ミデルドーブ アート

AART Middeld  アート ミデルドープ

MIDDRLDRP Aart  ミデルドプ アート

Less
Researcher Number 30251044
External Links
Affiliation (based on the past Project Information) *help 1995 – 2002: Univ.of Tsukuba, Inst.of Info Sci.and Electronics Associate Professor, 電子・情報工学系, 助教授
1993 – 1994: 筑波大学, 電子・情報工学系, 講師
Review Section/Research Field
Principal Investigator
計算機科学 / Science and Engineering
Except Principal Investigator
計算機科学
Keywords
Principal Investigator
記号計算 / 停止性 / 項書換え / 自動化 / ナローイング / 決定可能性 / 簡約戦略 / モジュラー性 / 外変数 / 階層合流性 … More / 条件付き項書換え系 / 項書換え系 / completeness / termination / modularity / call-by-need strategies / symbolic computation / narrowing / term rewriting / 変換法 / 文脈依存書き換え / 完全性 / 必要呼び計算 / 項書き換え / 変換 / 文脈依存書換え / 論理性 / 永続性 / 木のオートマトン / 決定不能性 / 計算量 / 木オートマトン / 必須呼び(Call by Need) / 遅延型関数プログラミング / ナロ-イング計算系 / 条件付きナロ-イング / 関数.論理型プログラミング言語 / 変数除去問題 / 強完全性 / ナロ-イング … More
Except Principal Investigator
Mathematica / 求解完全性 / 計算モデル / completeness / computation model / narrowing calculus / ナローイング計算系 / ナローイング / 制約解消系 / constraint solving system / functional logic languages / CFLP / 関数論理型言語 / narrowing / declarative programming / 宣言型プログラミング / ナロ-イング / 関数・論理型言語 / 高階遅延ナローイング / 条件付き項書換え系 / collaborative system / open CFLP / CORBA / 分散協調制約解決 / オープンコンピューティング / conditional rewriting / higher-order functional-logic language / 安全性 / 高階関数論理型言語 / 完全性 / 高階関数・論理型言語 / constraint solving / distributed environment / human interface / functional-logic language / multimedia / ヒューマンインターフェイス / 制約解消 / 分散環境 / ヒューマンインタフェース / ナロ-イング計算系 / 関数論理融合型言語 / マルチメディア / semantics of programs / modular property / level-confluence / functional-logic programming language / conditional rewrite system / 条件付項書換え系 / 関数 論理型言語 / 宣言型言語 / 条件付き書換え系 / プログラム意味論 / モジュラー性 / 階層合流性 / 宣言型プロクラミング / 条件付き換え系 / 球解完全性 / 選択関数 / 宣言型プログラム / 項書換え系 / 超並列宣言型言語 Less
  • Research Projects

    (14 results)
  • Co-Researchers

    (8 People)
  •  書換え技術に基づくソフトウエア解析Principal Investigator

    • Principal Investigator
      MIDDELDORP Aart
    • Project Period (FY)
      2002
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      University of Tsukuba
  •  書換え技術に基づくソフトウェア解析Principal Investigator

    • Principal Investigator
      MIDDELDORP Aart
    • Project Period (FY)
      2001
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (C)
    • Review Section
      Science and Engineering
    • Research Institution
      University of Tsukuba
  •  宣言型プログラムを対象とする高階項書換え系の計算理論

    • Principal Investigator
      井田 哲雄
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  Global computing by networked equational constraint solvers

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      2000 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  Reduction StrategyPrincipal Investigator

    • Principal Investigator
      MIDDELDORP Aart
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • 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
  •  項書換え系における決定可能な必須呼び計算Principal Investigator

    • Principal Investigator
      ミデルドープ アート
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  項書換え系における必須呼び計算機構に関する研究Principal Investigator

    • Principal Investigator
      MIDDELDORP Aart
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • 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
  •  外変数のある条件付き書換えとナロ-イングPrincipal Investigator

    • Principal Investigator
      MIDDELDORP Aart
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • 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
  •  条件付き項書換え系におけるナロ-イングおよび簡約の研究Principal Investigator

    • Principal Investigator
      MIDDRLDRP Aart
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  Application of Conditional Rewrite Systems to Declarative Programming Languages

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  書換え計算モデル論に基づく宣言型言語の並列性の解析および制御

    • Principal Investigator
      IDA Tetsuo
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      University of Tsukuba
  • 1.  IDA Tetsuo (70100047)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 0 results
  • 2.  SUZUKI Taro (90272179)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 3.  CHAKRAVARY Mauuel (30292535)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 4.  YAMADA Toshiyuki (60312831)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 5.  清木 康 (10169956)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  MINAMIDE Yasuhiko (50252531)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  田中 二郎 (20251043)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  KATO Kazuhiko (90224493)
    # 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