A-6-4 半自動証明系Isabelleにおける証明過程の再利用について(A-6.情報理論,一般講演)

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人電子情報通信学会の論文
• 2007-08-29

著者

• 小林 英恒

  日本大学理工学部数学科

• 鈴木 秀男

  能力開発総合大学校東京校情報技術科

• 栗野 俊一

  日本大学理工学部数学科

• 小林 英恒

  日本大学理工学部

• 栗野 俊一

  日本大学理工学部

関連論文

• ソーシャルネットワーク分析結果を活用する情報ネットワーク設計法の基礎検討 : 媒介中心性を求める高速アルゴリズムについて(ソーシャル・ネットワーク)
• B-7-21 ソーシャルネットワークと情報ネットワークを統合した網制御アーキテクチャ : 中心性から考察した網設計への影響(B-7.情報ネットワーク,一般セッション)
• RO-002 アフィリエーションネットワーク概念を用いた組織内情報分析法のモデル化と情報ネットワーク制御への応用(情報システム,査読付き論文)
• G-基底によるU-終結式の構成(数式処理と数学研究への応用)
• Grobner Basis of a Module over K[x$_1$,...,x$_n$] and Polynomial Solutions of a System of Linear Equations
• GROBNER BASIS OF IDEAL OF CONVERGENT POWER SERIES
• 一般消去法による方程式の解法と実例(数式処理と数学研究への応用)
• 単因子の計算法(数式処理と数学研究への応用)
• Grobner-Basisとその応用(数式処理と数学研究への応用)
• 証明データベースの実装について
• 1M-1 ホモトピー法への一次分数変換の適用法について
• 大学における事務ネットワークセキュリティについて
• FTAによる内的セキュリティシステムのための知識表現
• A-6-4 半自動証明系Isabelleにおける証明過程の再利用について(A-6.情報理論,一般講演)
• Presentation Hensel's Lemma in Isabelle/HOL(Computer Algebra : Design of Algorithms, Implementations and Applications)
• F_018 Constructing and Using a Web Service to Find Theorems
• F-028 The Implementation of a Proof Search System for Isabelle
• Formalization of the valuation theory (Algebra, Languages and Computation)
• A-014 グリッドコンピューティングを用いた連立代数方程式の解法 : 根の振る舞いの解析に向けて(A.モデル・アルゴリズム・プログラミング)
• ホモトピー法のパラメータに一次分数変換を適用した近接根問題の解法について(アルゴリズム理論)
• A Relation between a Group and a Ring (Computer Algebra : Algorithms, Implementations and Applications)
• A Machine Proof of the Proposition : "Ideal $\subseteq \cup_i$ PrimeIdeal$_i$ $\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$" (Computer Algebra : Algorithms, Implementations and Applications)
• "Ring Story"再考 : トレンド,エヴォリューション,そして計画
• 一次分数変換を利用した連立代数方程式の近接根の分離と擬局所化における誤差について
• 連立代数方程式の数値解法における一次分数変換の新たな適用について
• 連立代数方程式の減次の可能性について(数式処理における理論と応用の研究)
• 連立代数方程式の擬局所化の過程で生じる誤差についての報告
• 連立代数方程式の擬局所化の過程で生じる誤差について
• 連立代数方程式の近接根の分離と擬局所化の可能性について(数式処理における理論と応用の研究)
• 一次分数変換を利用した近接根の分離方法とその誤差について
• 一次分数変換を利用した連立代数方程式の高精度計算法
• 1次分数変換を利用した1変数代数方程式の近接根の分離
• D-8-11 Isabelleでの所属関係の自動証明の実現について(D-8. 人工知能と知識処理,一般セッション)
• 分散データベースを用いたIDSの構築
• 特殊関数のデータ・ベース化について(数式処理における理論とその応用の研究)
• On Solving the Initial Problem of LR Arrays
• 分数変換による近接根の分離について(数式処理における理論とその応用の研究)
• Some Computations over Successive Algebraic Extension Fields
• 連立代数方程式の解の重複度(精度保証付き数値計算法とその応用)
• 記号行列式の一階微分の評価法
• ネータの正規化定理について(数式処理と数学研究への応用)
• 連立代数方程式の解の重複度(非線形問題の数値解析)
• Zeuthen's Rule について(数式処理と数学研究への応用)
• 国際数式記号処理学会議(ISSAC-90)への呼掛け(数式処理と数学研究への応用)
• 連立代数方程式について(数式処理と数学研究への応用)
• 多変数連立代数方程式の解法 (数式処理)
• 連立代数方程式のある種の解法について : 代数的・数値的算法による全解構成法(数式処理と数学研究への応用)
• Weierstrass Points on Curves of Fermat Type
• ブール代数分析を用いたウイルス対策意識・行動調査に関する検討 (技術と社会・倫理)
• A-7-7 情報セキュリティ対策実験に対するブール代数分析の適用に関する検討(A-7.情報セキュリティ,一般セッション)
• 集合知ゲームを用いた情報セキュリティ対策への意識調査に関する検討
• A-7-6 脅威認知コンテンツの作成法に関する検討(A-7.情報セキュリティ,一般セッション)
• ウイルス感染時に対処行動を行う人物プロファイルに関する基礎検討 (情報通信システムセキュリティ)
• ウイルス感染時に対処行動を行う人物プロファイルに関する基礎検討 (技術と社会・倫理)
• ウイルス感染時に対処行動を行う人物プロファイルに関する基礎検討 (情報セキュリティ)
• ウイルス感染時に対処行動を行う人物プロファイルに関する基礎検討 (マルチメディア情報ハイディング・エンリッチメント)
• An automated reasoning system based on isabelle/HOL (Algebras, Languages, Algorithms and Computations)
• コンピュータウィルス感染下におけるヒトの意識と行動に関する実験と考察
• ブール代数分析を用いたウイルス対策意識・行動調査に関する検討(知的財産,及び一般)
• A-8-2 コンピュータウィルス感染時の意識と行動に関する基礎検討(A-8.技術と社会・倫理,一般セッション)
• A-7-8 コンピュータウイルス感染時に対処行動を行う人物プロファイルに関する実験と考察(A-7.情報セキュリティ,一般セッション)
• ウイルス感染時に対処行動を行う人物プロファイルに関する基礎検討(セキュリティ関係,一般)
• ウイルス感染時に対処行動を行う人物プロファイルに関する基礎検討(セキュリティ関係,一般)
• ウイルス感染時に対処行動を行う人物プロファイルに関する基礎検討(セキュリティ関係,一般)
• ウイルス感染時に対処行動を行う人物プロファイルに関する基礎検討(セキュリティ関係,一般)
• コンピュータウイルス感染体験実験法の提案と構築 (マルチメディア情報ハイディング・エンリッチメント)
• コンピュータウイルス感染体験実験法の提案と構築 (情報通信システムセキュリティ)
• コンピュータウイルス感染体験実験法の提案と構築 (技術と社会・倫理)
• コンピュータウイルス感染体験実験法の提案と構築 (情報セキュリティ)
• コンピュータウイルス感染下におけるヒトの意識と行動に関する実験と考察(情報教育,一般)
• A Rule Selection Method for Automated Reasoning (Algebraic Systems and Theoretical Computer Science)
• コンピュータウィルス感染下におけるヒトの意識と行動に関する実験と考察
• コンピュータウイルス感染体験実験法の提案と構築(セキュリティ,一般)
• コンピュータウイルス感染体験実験法の提案と構築(セキュリティ,一般)
• コンピュータウイルス感染体験実験法の提案と構築(セキュリティ,一般)
• コンピュータウイルス感染体験実験法の提案と構築(セキュリティ,一般)
• An analysis of the Bernstein's theorem for an automated prover (Algebra and Computer Science)
• A-8-2 Twitterにおける選挙情報コミュニティに関する検討(A-8.技術と社会・倫理)
• A-7-12 コンピュータウィルス対策のための集団的防護動機モデルの提案(A-7.情報セキュリティ)
• A-8-3 コンピュータウィルス感染時のヒトの行動・心理に基づくDDoS対策に関する研究状況(A-8.技術と社会・論理,一般セッション)
• 情報セキュリティにおける脅威資料への認知効果に関する実証的検討(知的財産,一般)

もっと見る 閉じる

スポンサーリンク