Jump to main content

yr 〜
yr

Search results 8

高階ナローイングに基づくXMLデータ統合・変換技術

高階ナローイングに基づくXMLデータ統合・変換技術
Paper図書
奥居哲, 中部大学 [著][奥居哲]2004-2006<Y151-H16500014>
National Diet Library
  • Subject Heading高階ナローイング / 不完全正則表現型 / XML文書の統合 / 文脈 / ...

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

分散制約解消系を融合する関数論理型プログラミング
Paper図書
井田, 哲雄, 筑波大学1998-1998<Y151-H10480053>
National Diet Library
  • Subject Heading関数論理型言語 制約解消系 計算モデル ナローイング 求解完全性 Mathematica

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

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

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

高階関数・論理的プログラムの計算モデル
Paper図書
井田, 哲雄, 筑波大学1996-1997<Y151-H08458059>
National Diet Library
  • Subject Headingナローイング 高階関数・論理型言語 計算モデル 条件付き項書換え系 完全...

関数論理融合型言語のマルチメデイアプログラミング環境の構築

関数論理融合型言語のマルチメデイアプログラミング環境の構築
Paper図書
井田, 哲雄, 筑波大学1995-1997<Y151-H07558152>
National Diet Library
  • Subject Heading宣言型プログラミング マルチメデイア 関数論理融合型言語 ナローイング計算系 ヒユーマンインタフエース 分散環境 Mathemat...

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

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

宣言型プログラミング言語処理系の系統的生成

宣言型プログラミング言語処理系の系統的生成
Paper図書
井田, 哲雄, 筑波大学1991-1992<Y151-H03680022>
National Diet Library
  • Subject Heading関数型プログラミング 論理的プログラミング 関数・論理型プログラミングの融合 ナローイング プログラム変換 Lisp Prolog

関数型並行計算モデルに関する基礎的研究

関数型並行計算モデルに関する基礎的研究
Paper図書
坂部, 俊樹, 名古屋大学1990-1991<Y151-H02680020>
National Diet Library
  • Subject Heading並行計算 関数型計算モデル CCS ブロードキヤスト ナローイング 並行プセス 項書換え系 動的項書換計算

Reached to the end of result.

RSS