年 〜
年

検索結果 14 件

類似度を考慮した等価論理を用いたハードウェアの高位設計検証手法の研究

類似度を考慮した等価論理を用いたハードウェアの高位設計検証手法の研究
紙図書
木村晋二, 早稲田大学 [著][木村晋二]2005-2007<Y151-H17500047>
国立国会図書館
  • 件名等価論理 / ハードウェアの等価検証 / 無評価関数 / 項書き換え

プログラム検証のための帰納的定理自動証明法の研究

プログラム検証のための帰納的定理自動証明法の研究
紙図書
外山, 芳人, 東北大学1998-2001<Y151-H10680346>
国立国会図書館
  • 件名項書き換えシステム 自動証明 潜在帰納法 書き換え帰納法

簡約戦略に関する研究

簡約戦略に関する研究
紙図書
ミデルドープ, アート (Middeldorp, Aart) , 筑波大学1999-2000<Y151-H11680338>
国立国会図書館
  • 件名項書き換え 記号計算 停止性 文脈依存書き換え 変換法

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

高階ナローイングに基づくXMLデータ統合・変換技術
紙図書
奥居哲, 中部大学 [著][奥居哲]2004-2006<Y151-H16500014>
国立国会図書館
  • 件名高階ナローイング / 不完全正則表現型 / XML文書の統合 / 文脈 / パターン照合 / 項書き換え系 / XNL文書の変換

書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究

書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究
紙図書
大山口通夫, 三重大学 [著][大山口通夫]2003-2005<Y151-H15500009>
国立国会図書館
  • 件名項書き換えシステム / Church-Rosser (合流性) / 非...

書き換えシステムの基本的性質の解明と定理の自動証明に関する研究

書き換えシステムの基本的性質の解明と定理の自動証明に関する研究
紙図書
大山口, 通夫, 三重大学2000-2002<Y151-H12680344>
国立国会図書館
  • 件名項書き換えシステム Church-Rosser (合流性) 非線形TR...

高階書き換えシステムをもちいたプログラム検証法の研究

高階書き換えシステムをもちいたプログラム検証法の研究
紙図書
外山, 芳人, 北陸先端科学技術大学院大学1995-1997<Y151-H07680347>
国立国会図書館
  • 件名項書き換えシステム 高階書き換えシステム 合流性 停止性 リダクシヨン

人間と計算機の協調の視点に立った問題解決のための文書編集環境

人間と計算機の協調の視点に立った問題解決のための文書編集環境
紙図書
萩谷, 昌己, 東京大学1996-1998<Y151-H08680348>
国立国会図書館
  • 件名ユーザインタフエース 文書編集 制約 ハイパーテキスト 定理証明 項書き換え タクテイク

書き換えシステムの基本的性質の解明と完備化手続きに関する研究

書き換えシステムの基本的性質の解明と完備化手続きに関する研究
紙図書
大山口, 通夫, 三重大学1996-1998<Y151-H08680362>
国立国会図書館
  • 件名項書き換えシステム 左線形TRS 合流性 Church-Rosser ...

書き換えシステムの基本的性質の解明と関数型プログラムの評価戦略に関する研究

書き換えシステムの基本的性質の解明と関数型プログラムの評価戦略に関する研究
紙図書
大山口通夫, 三重大学1993-1994<Y151-H05680272>
国立国会図書館
  • 件名項書き換えシステム 合流性 E重なり 非ω重なり 単純右線形TRS 深...

項書き換えに基づく計算量解析の自動化

項書き換えに基づく計算量解析の自動化
デジタル文書・図像類
廣川, 直2010-05-26科学研究費補助金研究成果報告書p.1-4
全国の図書館
  • 件名項書き換え 計算モデル 計算量
  • 一般注記...型プログラムの計算モデルである項書き換え系に対して、解析を自動化する強力な理論を構築した。さらにそれ...

正当性自動保証機能を備えた高階プログラム自動変換技術

正当性自動保証機能を備えた高階プログラム自動変換技術
デジタル文書・図像類
千葉, 勇輝2015-06-05科学研究費助成事業研究成果報告書p.1-5
全国の図書館
  • 件名プログラム変換 単純型付項書き換えシステム パターンマッチング
  • 一般注記項書き換えに基づくパターンによるプログラ......論的計算モデルとして，単純型付項書き換えシステム(Simply Typ......：10509756 研究分野：項書き換え identifier:https://dspace.jai...

論理学のプログラム言語理論への応用

論理学のプログラム言語理論への応用
紙図書
岡田, 光弘, 慶応義塾大学1993-1994<Y151-H05808030>
国立国会図書館
  • 件名マルチ・パラダイム・プログラム言語 タイプ理論 項書き換え論理 証明論 代数的仕様言語 証明の正規化定理 π一計算 計...

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

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

検索結果は以上です。