「"データ型"」の検索結果 | NDLサーチ

検索結果 10 件

タイトルでまとめる

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

紙図書

藤田憲悦, 群馬大学 [著][藤田憲悦]2005-2006<Y151-H17500004>

国立国会図書館

件名ガロア対応・埋め込み / 多相型 / 抽象データ型 / CPS変換 / 継続 / ラムダ計算 / 証明双対性 ...

計算の品質制御用数値情報処理システムとその記憶領域削減

紙図書

久保田光一, 中央大学1999-2000<Y151-H11650072>

国立国会図書館

件名自動微分領域削除数値情報処理多様なデータ型計算の品質保証

分散マルチメデイアデータ処理

紙図書

金森, 吉成, 群馬大学1998-1999<Y151-H10045036>

国立国会図書館

件名マルチメデイア並列分散処理時空間データベースオブジエクトデータベース音楽データベース CORBA マルチメデイアデータ型 logic

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

紙図書

清水, 謙多郎, 電気通信大学1994-1995<Y151-H06680312>

国立国会図書館

件名オペレーテイングシステムオブジエクト指向抽象データ型分散処理マイクロカーネル

メタ計算系における型導入によるプログラム変形導出

紙図書

井田, 哲雄, 筑波大学1987-1988<Y151-S62580030>

国立国会図書館

件名メタプログラミングデータ型 LISP プログラム変換

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

紙図書

稲垣, 康善, 名古屋大学1987-<Y151-S62550261>

国立国会図書館

件名並列計算並行プログラム形式的仕様記述 CCS モニタ項書き換え系の意味論抽象データ型

代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究

紙図書

稲垣康善, 名古屋大学1987-1988<Y151-S62880007>

国立国会図書館

件名ソフトウエア代数的仕様記述データ型型構成子直接実現項書換え系プロトタイピング段階的詳...

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

紙図書

佐々木, 建昭, 理化学研究所1987-1989<Y151-S62580029>

国立国会図書館

件名数式処理総合的数式処理システム代数的計算数値数式融合計算近似代数計算数学公式データベース抽象データ型

関数的論理型プログラム言語の設計と,それに基づく証明・検証・合成システムの作成

紙図書

佐藤, 雅彦, 東北大学1985-1986<Y151-S60580018>

国立国会図書館

件名構成的数学プログラムの形式的意味データ型プログラムの検証関数型プログラム言語論理型プログラム言...

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

デジタル博士論文

加藤, 弘之奈良先端科学技術大学院大学1999-03-24

インターネットで読める全国の図書館

件名構造化文書データベース問合せ抽象データ型

検索結果は以上です。

RSS