本文に飛ぶ

年 〜
年

検索結果 21 件

自動定理証明における補助命題の実装について　―幾何学基礎論を題材として―

自動定理証明における補助命題の実装について　―幾何学基礎論を題材として―
デジタル博士論文障害者向け資料あり
岩間, 詞也, Fumiya, IWAMA2023-03-31
インターネットで読める国立国会図書館全国の図書館
  • 件名自動定理証明 幾何学基礎論 Automated Theorem Prov...
  • 一般注記自動定理証明（Automated theo......している。ATPを用いて数学の定理証明を実行するには，ソフトウェアが......度を高めることができる。そこに定理証明にATPを用いる価値がある。ユ......論の証明（ユークリッド幾何学の定理証明）をATPの１つであるIsab......本研究ではユークリッド幾何学の定理証明に対し，ヒルベルトの幾何学基礎......TP機能を有するソフトウェア(定理証明支援系)の現状と補助命題の必要......elle/HOL を用いた自動定理証明の価値があることを考察し，今後の課題および発展可能性を示した...

線形論理の自動演繹システムに関する研究

線形論理の自動演繹システムに関する研究
紙図書
田村直之, 神戸大学 [著][田村直之]2002-2004<Y151-H14580375>
国立国会図書館
  • 件名線形論理 / 自動演繹 / 自動証明 / 定理証明

定理自動証明技術の計算論的研究

定理自動証明技術の計算論的研究
紙図書
岩間, 一雄, 京都大学1996-1997<Y151-H08044158>
国立国会図書館
  • 件名定理証明 導出原理 計算複雑さ

メタ・プログラミングの基礎理論

メタ・プログラミングの基礎理論
紙図書
亀山幸義, 筑波大学 [著][亀山幸義]2004-2007<Y151-H16500004>
国立国会図書館
  • 件名メタ・プログラミング / オブジェクト・プログラム / 定理証明 / 限定継続 / 型システム / コントロール・オペレータ

ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発

ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発
紙図書
山根智, 金沢大学 [著][山根智]2002-2004<Y151-H14580368>
国立国会図書館
  • 件名ハイブリッドモデル / 組込みシステム / 詳細化検証 / 仕様記述 / 定理証明 / 確率 / 模倣検証

Abstract Model Checking and Its Applications : 抽象モデル検査とその応用

Abstract Model Checking and Its Applications : 抽象モデル検査とその応用
紙図書
萩谷, 昌己, 東京大学1999-2001<Y151-H11480062>
国立国会図書館
  • 件名検証 モデル検査 抽象解釈 定理証明 グラフ探索 並行ゴミ集め セキユリテイ

形式的オブジエクト指向方法論に基づく組込みソフトウエアの構成法の研究

形式的オブジエクト指向方法論に基づく組込みソフトウエアの構成法の研究
紙図書
片山, 卓也, 北陸先端科学技術大学院大学2000-2002<Y151-H12480071>
国立国会図書館
  • 件名オブジエクト指向方法論 組み込みシステム 分析モデル 定理証明 並行オブジエクト スレツド

証明アニメーシヨン(構成的プログラミングによる証明テスト技法)

証明アニメーシヨン(構成的プログラミングによる証明テスト技法)
紙図書
林, 晋, 神戸大学1998-2000<Y151-H10480063>
国立国会図書館
  • 件名形式的証明の開発 定理証明 論理情報の視覚化 古典論理証明の実行 Curry-Howa...

定理証明器によるモジュラーなソフトウェア検証

定理証明器によるモジュラーなソフトウェア検証
デジタル図書
田辺, 良則2016-03-31
全国の図書館
  • 要約等研究成果の概要（和文）：定理証明支援系Coqから，プログラミング言語Scalaへのコード抽出...
  • 件名定理証明支援系 ソフトウェア検証

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

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

組み合わせ範疇文法に基づく自然言語の並列句構造の解析 : 平成30年度実績報告書

組み合わせ範疇文法に基づく自然言語の並列句構造の解析 : 平成30年度実績報告書
デジタル図書
吉川, 将司奈良先端科学技術大学院大学2019
インターネットで読める全国の図書館
  • 件名計算言語学 自然言語処理 構文解析 意味解析 定理証明

次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究

次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究
デジタル図書
青木, 利晃2018-05-15科学研究費助成事業研究成果報告書p.1-5
全国の図書館
  • 件名形式手法 形式検証 車載システム 形式仕様 定理証明
  • 一般注記...書に基づいて形式仕様を作成し，定理証明による検証過程において，仕様の......デルに基づいてプログラムを自動定理証明により自動検証する手法を提案し，Linux，TOPPERS/...

人工知能のための高次推論原理と知能プログラミング言語に関する総合的研究

人工知能のための高次推論原理と知能プログラミング言語に関する総合的研究
紙図書
原尾政輝, 九州工業大学1995-1996<Y151-H07308027>
国立国会図書館
  • 件名人工知能 高次推論原理 学習 計算言語論 定理証明 並列分散処理 知能プログラミング 認識システム

離散的情報数学の総合的研究

離散的情報数学の総合的研究
紙図書
廣瀬, 健, 早稲田大学1988-1990<Y151-S63302007>
国立国会図書館
  • 件名算譜合成 定理証明 非古典論理 セルオートマトン グラフ算法

革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証

革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証
デジタル図書
山根, 智, Yamane, Satoshi2018-04-25平成29(2017)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2017 Fiscal Year Final Research Report2015-04-01 - 2018-03-31p.4p.-
全国の図書館
  • 件名ソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 ＳＭＴ 定理証明

型理論に基づく高階推論機構の形式化とその類推処理への応用

型理論に基づく高階推論機構の形式化とその類推処理への応用
紙図書
原尾, 政輝, 九州工業大学1992-1993<Y151-H04650320>
国立国会図書館
  • 件名型理論 知識表現 推論機構 知能ソフトウエア 類推システム 高階プログラム言語 定理証明 論理プログラム

証明スコア法に基づく革新的仕様検証システムの構築

証明スコア法に基づく革新的仕様検証システムの構築
デジタル図書
二木, 厚吉2016-05-18科学研究費助成事業研究成果報告書p.1-5
全国の図書館
  • 件名仕様記述・仕様検証 形式手法 ソフトウェア工学 代数仕様 証明スコア CafeOBJ 定理証明

高階論理における単一化アルゴリズムと定理証明の機械化に関する研究

高階論理における単一化アルゴリズムと定理証明の機械化に関する研究
紙図書
原尾, 政輝, 九州工業大学1989-1990<Y151-H01580020>
国立国会図書館
  • 件名高階論理 λ 算法 単一化アルゴリズム 定理証明 証明の機械化 論理型言語 類推 推論機構

幾何プログラミング・システムに関する研究

幾何プログラミング・システムに関する研究
紙図書
松山, 隆司, 岡山大学1991-1992<Y151-H03452171>
国立国会図書館
  • 件名代数的制約記述 制約プログラミング 幾何推論 Grobrer基底法 幾何学定理証明 図形処理ソフトウエア 画像処理ソフトウエア

データ管理領域におけるプログラム検証の自動化に関する研究

データ管理領域におけるプログラム検証の自動化に関する研究
デジタル図書
矢竹, 健朗2011-04-01科学研究費補助金研究成果報告書p.1-4
全国の図書館
  • 件名プログラム検証 定理証明 オブジェクト指向 データ管理領域
RSS