yr 〜
yr

Search results 5

双対性に基づくプログラム変換に関する研究

双対性に基づくプログラム変換に関する研究
Paper図書
藤田憲悦, 群馬大学 [著][藤田憲悦]2005-2006<Y151-H17500004>
National Diet Library
  • Subject Headingガロア対応・埋め込み / 多相型 / 抽象データ型 / CPS変換 / 継続 / ラムダ計算 / 証明双対性 ...

軽量オブジエクトの分散と永続化を支援するオペレーテイングシステムの研究開発

軽量オブジエクトの分散と永続化を支援するオペレーテイングシステムの研究開発
Paper図書
清水, 謙多郎, 電気通信大学1994-1995<Y151-H06680312>
National Diet Library
  • Subject Headingオペレーテイングシステム オブジエクト指向 抽象データ型 分散処理 マイクロカーネル

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
Paper図書
稲垣, 康善, 名古屋大学1987-<Y151-S62550261>
National Diet Library
  • Subject Heading並列計算 並行プログラム 形式的仕様記述 CCS モニタ 項書き換え系の意味論 抽象データ型

総合的数式処理システムの研究

総合的数式処理システムの研究
Paper図書
佐々木, 建昭, 理化学研究所1987-1989<Y151-S62580029>
National Diet Library
  • Subject Heading数式処理 総合的数式処理システム 代数的計算 数値数式融合計算 近似代数計算 数学公式データベース 抽象データ型

構造化文書データベースのモデルと問い合わせに関する研究

構造化文書データベースのモデルと問い合わせに関する研究
Digital博士論文
加藤, 弘之奈良先端科学技術大学院大学1999-03-24
Available onlineOther Libraries in Japan
  • Subject Heading構造化文書 データベース 問合せ 抽象データ型

Reached to the end of result.