サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
iPhone 16
sel.ist.osaka-u.ac.jp/~mnktsts
形式概念の導出 形式概念(A,B) オブジェクト集合Gの部分集合Aの全てのオブジェクトが属性集合Mの部分集合Bの全ての属性を持ち、かつAの各ノードはBの属性以外に共通して持つ属性がない時、この様なAとBの2つ組(A,B)を形式概念と呼ぶ 導出結果 ({りんご,トマト,みかん}、{}) ({りんご,トマト}、{赤い}) ({りんご,みかん}、{果物}) ({りんご}、{赤い,果物}) ({トマト}、{赤い,野菜}) ( {}、{赤い,果物,野菜} ) 束への変換 形式概念(A1,B1)と(A2,B2)について、A1⊃A2(⇔B2⊃B1)の時、(A1,B1)<(A2,B2)と定義する。 これにより、半順序<が定義される ({りんご,トマト,みかん}、{})は最下限、( {}、{赤い,果物,野菜} )は最上限となるため、これは束の構造をとる 変換結果
入手方法 The Alloy Analyzer - http://alloy.mit.edu/ 機能 モデル解析ツール。 一階述語論理を元にした独自のモデル記述言語によりシステムの仕様を記述することで、その仕様に矛盾や漏れがないか、制約を満たさないような反例はあるか、などを分析・検査することができる。 基本構文 モジュール ファイルの先頭で指定する。 module ファイルパス/モジュール名 モジュールの定義 open ファイルパス/モジュール名 モジュールの参照 シグネチャ(型) Alloyのモデルは述語論理で表現される 論理式中の変数は必ずシグネチャ(signature)を持ち、sigキーワードにより定義される sig Person{} Person(人間)という型を定義 シグネチャはオブジェクト指向言語と同じように、継承することで差分的に定義できる。 sig Man, Woman e
このページを最初にブックマークしてみませんか?
『sel.ist.osaka-u.ac.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く