岩間, 詞也, Fumiya, IWAMA2023-03-31
インターネットで読める国立国会図書館全国の図書館
- 件名自動定理証明 幾何学基礎論 Automated Theorem Prov...
- 一般注記自動定理証明(Automated theo......している。ATPを用いて数学の定理証明を実行するには,ソフトウェアが......度を高めることができる。そこに定理証明にATPを用いる価値がある。ユ......論の証明(ユークリッド幾何学の定理証明)をATPの1つであるIsab......本研究ではユークリッド幾何学の定理証明に対し,ヒルベルトの幾何学基礎......TP機能を有するソフトウェア(定理証明支援系)の現状と補助命題の必要......elle/HOL を用いた自動定理証明の価値があることを考察し,今後の課題および発展可能性を示した...
田村直之, 神戸大学 [著][田村直之]2002-2004<Y151-H14580375>
国立国会図書館
- 件名線形論理 / 自動演繹 / 自動証明 / 定理証明
岩間, 一雄, 京都大学1996-1997<Y151-H08044158>
国立国会図書館
亀山幸義, 筑波大学 [著][亀山幸義]2004-2007<Y151-H16500004>
国立国会図書館
- 件名メタ・プログラミング / オブジェクト・プログラム / 定理証明 / 限定継続 / 型システム / コントロール・オペレータ
山根智, 金沢大学 [著][山根智]2002-2004<Y151-H14580368>
国立国会図書館
- 件名ハイブリッドモデル / 組込みシステム / 詳細化検証 / 仕様記述 / 定理証明 / 確率 / 模倣検証
萩谷, 昌己, 東京大学1999-2001<Y151-H11480062>
国立国会図書館
- 件名検証 モデル検査 抽象解釈 定理証明 グラフ探索 並行ゴミ集め セキユリテイ
片山, 卓也, 北陸先端科学技術大学院大学2000-2002<Y151-H12480071>
国立国会図書館
- 件名オブジエクト指向方法論 組み込みシステム 分析モデル 定理証明 並行オブジエクト スレツド
林, 晋, 神戸大学1998-2000<Y151-H10480063>
国立国会図書館
- 件名形式的証明の開発 定理証明 論理情報の視覚化 古典論理証明の実行 Curry-Howa...
萩谷, 昌己, 東京大学1996-1998<Y151-H08680348>
国立国会図書館
- 件名ユーザインタフエース 文書編集 制約 ハイパーテキスト 定理証明 項書き換え タクテイク
吉川, 将司奈良先端科学技術大学院大学2019
インターネットで読める全国の図書館
- 件名計算言語学 自然言語処理 構文解析 意味解析 定理証明
青木, 利晃2018-05-15科学研究費助成事業研究成果報告書p.1-5
全国の図書館
- 件名形式手法 形式検証 車載システム 形式仕様 定理証明
- 一般注記...書に基づいて形式仕様を作成し,定理証明による検証過程において,仕様の......デルに基づいてプログラムを自動定理証明により自動検証する手法を提案し,Linux,TOPPERS/...
原尾政輝, 九州工業大学1995-1996<Y151-H07308027>
国立国会図書館
- 件名人工知能 高次推論原理 学習 計算言語論 定理証明 並列分散処理 知能プログラミング 認識システム
河辺, 義信, 水野, 忠則, 大久保, 一彦, 福永, 利徳, 五郎丸, 秀樹愛知工業大学2020-11総合技術研究所研究報告=Bulletin of Research Institute for Industrial Technology.22p.23-24
全国の図書館
- 件名トラスト 分散アルゴリズム理論 トレース集合 定理証明ソフトウェア ファジィ理論
廣瀬, 健, 早稲田大学1988-1990<Y151-S63302007>
国立国会図書館
- 件名算譜合成 定理証明 非古典論理 セルオートマトン グラフ算法
山根, 智, Yamane, Satoshi2018-04-25平成29(2017)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2017 Fiscal Year Final Research Report2015-04-01 - 2018-03-31p.4p.-
全国の図書館
- 件名ソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT 定理証明
原尾, 政輝, 九州工業大学1992-1993<Y151-H04650320>
国立国会図書館
- 件名型理論 知識表現 推論機構 知能ソフトウエア 類推システム 高階プログラム言語 定理証明 論理プログラム
二木, 厚吉2016-05-18科学研究費助成事業研究成果報告書p.1-5
全国の図書館
- 件名仕様記述・仕様検証 形式手法 ソフトウェア工学 代数仕様 証明スコア CafeOBJ 定理証明
原尾, 政輝, 九州工業大学1989-1990<Y151-H01580020>
国立国会図書館
- 件名高階論理 λ 算法 単一化アルゴリズム 定理証明 証明の機械化 論理型言語 類推 推論機構
松山, 隆司, 岡山大学1991-1992<Y151-H03452171>
国立国会図書館
- 件名代数的制約記述 制約プログラミング 幾何推論 Grobrer基底法 幾何学定理証明 図形処理ソフトウエア 画像処理ソフトウエア