代数の公理系を満す有限モデルの導出アルゴリズムとその性質
スポンサーリンク
概要
- 論文の詳細を見る
The method of indeterminate coefficients can be applied to deriving finite models of an algebraic system from its axioms. In this paper, by applying to Kleene algebra an algorithm developed and based on the above method, we can clarify the properties of the algorithm and derive models of Kleene algebra in seven and fewer elements by computer.
- 明治大学の論文
著者
-
向殿 政男
明治大学理工学部情報科学科
-
向殿 政男
明治大学理工学部・情報科学科
-
向殿 政男
明治大学
-
二宮 智子
計算センター
-
二宮 智子
Information Science Center Meiji University
関連論文
- ユーザの意図を考慮したマウスポインタ制御の提案
- Fuzzy論理関数及び正則3値論理関数の数の限界式の改良
- 『ファジィとソフトコンピューティングハンドブック』の出版について(日本ファジィ学会設立10周年記念事業)
- GPにおける部分木を考慮した適応度算出
- 5-1 システムの安全性ランクの合成について
- GPでの部分木決定の一考察
- 4-1 安全機能実現のための制御回路例における論理構造の一考察 : 国際規格ISO13849-1:2006から(セッション4「理論,一般」)
- 安全設計の基本概念(安全・安心を確保するための技術基盤の構築)
- 日本信頼性学会の未来に向けて : 学会誌の30巻発刊に当たって(「信頼性」Vol.30にあたり)
- 自立制御型ロボットの安全性定義と要素
- 自立制御型ロボットの安全性定義と要素(福祉情報工学,一般)
- 5-4 パワーアシストロボットの安全理論(安全性-2(事例), 日本信頼性学会 第18回秋季信頼性シンポジウム報告)
- 5-4 パワーアシストロボットの安全理論(セッション5「安全性-2(事例)」)
- 1. 総論 : 安全と技術と社会(安全に暮らしたい)
- 新法人に期待する
- リスクアセスメントと災害の未然防止
- TA-2-1 システムの安全性と安全目標(TA-2. 安全性-安全の目標レベル、評価尺度、そして実現技術-)
- 日本の新しいものづくりに向けて
- 機械の安全(安全性を向上させる技術)
- PD-3-4 ディペンダブルコンピューティングと安全学
- 2-206 ユーザー状況に対応したファジィ集合の生成
- 2-205 自律分散概念に基づく不正侵入検知システム
- 2-110 Web page 探索経路情報とその利用法
- [1-3]リスク評価に関する論理数学的考察(3.各セッションの報告 日本信頼性学会 第9回研究発表会報告)
- 情報通信ネットワークの信頼性向上活動への提案(後編) : 情報システム信頼性調査研究委員会報告
- リスク評価に関する論理数学的考察(日本信頼性学会第9回研究発表会)
- 遺伝的プログラミングを用いた分散協調問題の一解法
- FUZZY論理と区間確率の演算に関する考察
- 4変数以下のBoole加法形式,fuzzy論理関数及び正則3値論理関数の数
- 昇降機の安全確保と事故調査のあり方について : あるエレベーター事故調査を経験して(特別講演II)
- 連想推論とオントロジーを用いたBGM自動選曲
- 多値クリーネ関数の論理式表現
- 正則多値論理関数(多値論理及びその応用(4))
- ウェーブレット変換を用いた画像生成
- 少データ点による曲面生成
- ファジィエキスパートシステムによる地質図自動作成システム
- 力学モデルに基づく最適曲面の自動構成システム
- B-3値論理に基づく非同期ディジタルシステムの設計について
- ファジィアブダクションにおける説明の存在条件と近似解法
- 合成命題を前件に持つ含意を用いたファジィアブダクション : ファジィ論理積連立方程式の解法
- ルカシュビッツの無限値論理をベースにしたファジィアブダクションについて
- 機械プレス制御における安全確保の論理と方法
- 順序処理を用いたフェールソフトなフェールセーフ論理システム
- クリーネ代数の完全に独立な公理系について
- 代数の公理系を満す有限モデルの導出アルゴリズムとその性質
- 代数の公理系を満す有限モデルの導出アルゴリズムとその性質
- 次世代ロボットの安全性
- リスクアセスメント学事始
- 2-3 国際安全規格における安全と安全確保策の論理的関係に関する考察(セッション2「安全性・リスク(1)」)
- 建物付帯設備の安全と標準化 : 自動回転ドアの事故から何を学ぶか(建物付帯設備の安全性・信頼性)
- 4-3 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の原理の支援原理(セッション4 安全性(事例))(日本信頼性学会第17回秋季信頼性シンポジウム報告)
- 4-2 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の原理の提案(セッション4 安全性(事例))(日本信頼性学会第17回秋季信頼性シンポジウム報告)
- 4-3 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の概念の支援原理(セッション4 安全性(規格、理論),第17回秋季信頼性シンポジウム)
- 4-2 電気的安全コンポーネントにおける安全原則の一考察 : ポテンシャル極大の原理の提案(セッション4 安全性(規格、理論),第17回秋季信頼性シンポジウム)
- 本音でリレートーク : 2人のファジィとの出会い : 未来のために
- 今年は本学会の飛躍の年に
- 新年を迎えるに当たって
- 安全マップ(安全曼荼羅)の提案(「情報・制御と安全性」)
- 確信度付区間真理値の性質
- ファジィ論理における台形真理値の性質について
- ファジィ推論を用いたマウスポインタの提案
- 論理積項を利用した高速文献検索法とそのファジィ検索への応用
- インターネットを利用した遠隔授業支援システム
- ネットワークの信頼性と品質に関するファジィ理論的考察(第7回信頼性研究発表会)
- 不明確な状態を考慮したネットワーク信頼度の近似評価 (第15回ファジィシステムシンポジウム--やりまっせ!新世紀のたおやか技術 日本ファジィ学会設立10周年記念大会) -- (ネットワーク解析)
- 非同期ファジイ論理回路の性質について 2
- 非同期ファジイ論理回路の性質について
- 論理式で表現可能なファジィフリップフロップとその性質について
- 工業用ロボットの計算機制御(2部 上肢)
- 言語近似を用いた推論法の提案と応用
- 台形メンバーシップ関数の言語近似と言語近似を用いた推論法の提案
- ヒューマンインタフェース設計支援のためのアフォーダンス表現
- ファジィインターバル論理に基づく2種類の Ambiguity を扱える測度と積分
- データフィールドへのマルチインターフェースに基づく広域自律分散計算機システム
- ファジィ論理に基づくファジィ測度の考察
- 元の数13の有限クリーネ代数のハッセ図
- Fuzzy論理文を用いて近似表現を行うニューラルネットワーク
- 不完全指定ファジー論理関数の簡単化
- ファジー論理におけるNelsonの定理
- 定数係数をもったファジー論理関数について
- Fuzzy/C論理関数の数を評価するための一手法
- 分離加法形式の数の限界式について
- 節展開法のクリーネ論理関数族への拡張と最簡形について
- ブール加法形式の不変量について
- ファジィ推論を用いたマウスポインタの改良
- ファジー論理関数の当てはめ問題 : 論理式による知識獲得
- ファジー論理関数の同定問題 : 部分関数がファジー論理関数で表されるための必要十分条件
- ファジィ論理プログラムの線形導出
- ファジィ・インターバル論理の提案
- 区間真理値の集合同士の代数的性質
- 二線式ファジィ論理の演算の冗長性
- ファジィ論理と二線式表現
- 凸と凹のファジィ真理値の性質の違い
- エントロピー正則化法によるファジィクラスタリング
- AFSS2002に参加して
- JABEEのインパクト!! : JABEE試行審査での貴重な経験
- JABEEのインパクト!! : JABEE試行審査での貴重な経験(JABEE)
- 機械システムの安全性 : 包括安全基準とわが国の課題
- 機械システムの安全性 : 国際安全規格と日本の現状
- 宮本定明, クラスター分析入門, 森北出版株式会社, 1999年