年 〜
年

検索結果 5 件

等式制約解消系のネツトワ-クによるグロ-バルコンピユ-テイング

等式制約解消系のネツトワ-クによるグロ-バルコンピユ-テイング
紙図書
井田, 哲雄, 筑波大学2000-2002<Y151-H12480066>
国立国会図書館
  • 件名関数論理型言語 オ-プンコンピユ-テイング 分散協調制約解決 CORBA

抽象高階書換え系によるプロセス計算系の定式化に関する研究

抽象高階書換え系によるプロセス計算系の定式化に関する研究
紙図書
鈴木, 大郎, 会津大学2001-2002<Y151-H13680388>
国立国会図書館
  • 件名プロセス計算系 抽象高階項書換え系 π-計算系 プロセス書換え系 関数論理型言語 高階ナロ-イング

分散制約解消系を融合する関数論理型プログラミング

分散制約解消系を融合する関数論理型プログラミング
紙図書
井田, 哲雄, 筑波大学1998-1998<Y151-H10480053>
国立国会図書館
  • 件名関数論理型言語 制約解消系 計算モデル ナローイング 求解完全性 Math...

高階関数・論理的プログラムの計算モデル

高階関数・論理的プログラムの計算モデル
紙図書
井田, 哲雄, 筑波大学1996-1997<Y151-H08458059>
国立国会図書館
  • 件名ナローイング 高階関数・論理型言語 計算モデル 条件付き項書換え系 完全性

条件付き書換え系の宣言型プログラミングへの応用

条件付き書換え系の宣言型プログラミングへの応用
紙図書
井田, 哲雄, 筑波大学1994-1995<Y151-H06680300>
国立国会図書館
  • 件名条件付き換え系 宣言型プロクラミング 関数・論理型言語 ナローイング 階層合流性 モジユラー性 プログラム意味論

検索結果は以上です。