ヘルプ
ヘルプ

検索結果 1,018 件

定理証明支援系Isabelleにおける関数検索機能の拡張

定理証明支援系Isabelleにおける関数検索機能の拡張
紙記事
佐藤 晴彦<Z14-596>北海学園大学工学部研究報告 = Bulletin of the faculty of engineering Hokkai-Gakuen University / 北海学園大学工学部 編(51):2024.1p.35-48
国立国会図書館全国の図書館
  • 並列タイトル等（連結）Extension of function search functionality for the proof assistant Isabelle
  • 並列タイトル等Extension of function search functionality for the proof assistant Isabelle

教育実践報告 Decouvrir le passe compose : la journee d’Isabelle

教育実践報告 Decouvrir le passe compose : la journee d’Isabelle
紙デジタル記事
POLET Jean-Noel<Z72-P549>Frontier of foreign language education = 外国語教育のフロンティア1:2018p.301-308
インターネットで読める国立国会図書館全国の図書館
  • 要約等...ethod called « Isabelle’s day », a playful way to lea...
  • 並列タイトル等（連結）Discovering compound past : Isabelle’s day
  • 並列タイトル等Discovering compound past : Isabelle’s day

幾何学基礎論をIsabelle/HOLで実証する (2021年度合同分科会報告)

幾何学基礎論をIsabelle/HOLで実証する (2021年度合同分科会報告)
紙記事
岩間 詞也, 高橋 正<Z14-B99>数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation28(2):2022.7p.119-122
国立国会図書館全国の図書館

Isabelle/HOLを用いたユークリッド原論の定理証明 (日本数式処理学会第28回大会報告)

Isabelle/HOLを用いたユークリッド原論の定理証明 (日本数式処理学会第28回大会報告)
紙記事
岩間 詞也, 高橋 正<Z14-B99>数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation27(1):2021.1p.22-24
国立国会図書館全国の図書館

CoqとIsabelleを用いたユークリッド原論の定理証明

CoqとIsabelleを用いたユークリッド原論の定理証明
紙デジタル記事
岩間 詞也, 高橋 正<Z72-M101>甲南大学教育学習支援センター紀要 = Memoirs of Learning Utility Center for Konan University Students / 甲南大学教育学習支援センター 編(5):2020.3p.1-16
国立国会図書館全国の図書館
  • 要約等...定理証明ソフトウェアCoq とIsabelle を用いてユークリッド原論の定......とが支援できる。Coq およびIsabelle を用いて同じユークリッド原論の定理証明を行い, それぞれの...
  • 件名Coq Isabelle/HOL ユークリッド原論 定理証明

Isabelle/HOLの基本構造とその挙動について(2)相互再帰,全体再帰,構文

Isabelle/HOLの基本構造とその挙動について(2)相互再帰,全体再帰,構文
紙記事
岩間 詞也<Z74-F999>甲南大学紀要. 知能情報学編 = Memoirs of Konan University. Intelligence & informatics series / 甲南大学 編12(1):2019p.67-85
国立国会図書館全国の図書館

仕様記述言語Zと証明環境Isabelle/HOL-Z (小特集 先端ソフトウェアツール ; 小特集ソフトウェア紹介)

仕様記述言語Zと証明環境Isabelle/HOL-Z (小特集 先端ソフトウェアツール ; 小特集ソフトウェア紹介)
紙デジタル記事
来間 啓伸, Burkhart Wolff, David Basin 他<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会 編24(2) 2007.4p.21～26
国立国会図書館全国の図書館
  • 並列タイトル等（連結）The Z specification language and the proof environment Isabelle/HOL-Z
  • 並列タイトル等The Z specification language and the proof environment Isabelle/HOL-Z

Isabelle/HOLの基本構造とその挙動について(3)規則(論理演算・限量子),定理推論

Isabelle/HOLの基本構造とその挙動について(3)規則(論理演算・限量子),定理推論
紙記事
岩間 詞也<Z74-F999>甲南大学紀要. 知能情報学編 = Memoirs of Konan University. Intelligence & informatics series / 甲南大学 編12(2):2019p.167-189
国立国会図書館全国の図書館

証明支援系Isabelle/HOLによるごみ集めアルゴリズムの形式化と安全性検証

証明支援系Isabelle/HOLによるごみ集めアルゴリズムの形式化と安全性検証
紙記事
藤原 拓也, 南出 靖彦<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編26:2009.9.16-18p.43-48
国立国会図書館全国の図書館
  • 並列タイトル等（連結）...ithms with the Isabelle/HOL Proof Assistant
  • 並列タイトル等...ithms with the Isabelle/HOL Proof Assistant

Isabelle/HOLの基本構造とその挙動について : 論理式の実装,単純化,帰納法

Isabelle/HOLの基本構造とその挙動について : 論理式の実装,単純化,帰納法
紙記事
岩間 詞也<Z74-F999>甲南大学紀要. 知能情報学編 = Memoirs of Konan University. Intelligence & informatics series / 甲南大学 編11(1):2018p.73-89
国立国会図書館全国の図書館

Isabelle and the crooks

Isabelle and the crooks
紙図書児童書
Michelle Robinson, illustrated by Chris MouldWalker Books and subsidiaries2022<Y17-D2736>
国立国会図書館
  • 要約等...re the crooks! Isabelle Crook is a ver......rs around! Can Isabelle ever feel like one of the gan...

A proof knowledge retrieval system for the Isabelle theorem prover

A proof knowledge retrieval system for the Isabelle theorem prover
紙博士論文
He Cheng [著][He Cheng][2007]<UT51-2007-J407>
国立国会図書館
  • 並列タイトル等（連結）Isabelle定理証明機の証明知識復元システムの構築
  • 並列タイトル等Isabelle定理証明機の証明知識復元システムの構築

Presentation Hensel's Lemma in Isabelle/HOL (Computer Albebra-Design of Algorithms, Implementations and Applications RIMS研究集会報告集)

Presentation Hensel's Lemma in Isabelle/HOL (Computer Albebra-Design of Algorithms, Implementations and Applications RIMS研究集会報告集)
紙デジタル記事
小林 英恒, 鈴木 秀男<Z43-1336>数理解析研究所講究録(通号 1514) 2006.9p.148～154
インターネットで読める国立国会図書館全国の図書館

Mélanges en l'honneur d'Isabelle Urbain-Parleani

Mélanges en l'honneur d'Isabelle Urbain-Parleani
紙図書
Dalloz2023
全国の図書館
  • 件名Urbain-Parleani, Isabelle Corporation law -- France Bus...
  • 件名（識別子）Urbain-Parleani, Isabelle Corporation law -- France Bus...
  • 並列タイトル等（連結）Liber amicorum : mélanges en l'honneur de Isabelle Urbain-Parleani

文献紹介 Isabelle Van Damme, Treaty Interpretation by the WTO Appellate Body

文献紹介 Isabelle Van Damme, Treaty Interpretation by the WTO Appellate Body
紙記事
清水 章雄<Z2-2452>日本国際経済法学会年報 = International economic law / 日本国際経済法学会 編(20) 2011p.249-253
国立国会図書館全国の図書館

Modern war and the utility of force : challenges, methods and strategy / edited by Jan Angstrom and Isabelle Duyvesteyn. (Cass military studies)

Modern war and the utility of force : challenges, methods and strategy / edited by Jan Angstrom and Isabelle Duyvesteyn. (Cass military studies)
紙図書
Routledge2010.<A651-B307>
国立国会図書館
  • 内容細目...n Angstrom and Isabelle Duyvesteyn Fro......at terrorism / Isabelle Duyvesteyn Why......t good for-- / Isabelle Duyvesteyn.
  • 著者標目Angstrom, Jan. Duyvesteyn, Isabelle, 1972-

Isabelle/H0Lによる分割表の数え上げ (特集記事 統計科学と数式処理)

Isabelle/H0Lによる分割表の数え上げ (特集記事 統計科学と数式処理)
紙記事
小野 陽子<Z14-B99>数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation16(2) 2009.12p.32～36
国立国会図書館全国の図書館

The 80s archives

The 80s archives
記録メディア録音資料
V2 Schneider[Suezan Studio][2023.4]<YMC11-M46991>
国立国会図書館
  • 内容細目...se version)(20)Isabelle's last waltz(f......(22)Human 2(23)Isabelle's last waltz(short version)(2...

定理証明支援系Isabelleにおける関数検索機能の拡張

pdfを表すアイコン
デジタル記事
佐藤, 晴彦, SATO, Haruhiko北海学園大学工学部2024-01-12北海学園大学工学部研究報告51p.35-48
全国の図書館
  • 並列タイトル等（連結）Extension of function search functionality for the proof assistant Isabelle
  • 並列タイトル等Extension of function search functionality for the proof assistant Isabelle

Generation of Propositions in Isabelle/HOL (代数系、論理、言語と計算機科学の周辺)

Generation of Propositions in Isabelle/HOL (代数系、論理、言語と計算機科学の周辺)
紙記事
Hidetsune Kobayashi, Yoko Ono<Z43-1336>数理解析研究所講究録(2130):2019.10p.34-41
国立国会図書館全国の図書館