Model Base内検索 / 「編集履歴」で検索した結果

• プラグイン
  ...(Youtube) 編集履歴 関連ブログ これ以外のプラグインについては@wikiガイドをご覧ください = http //atwiki.jp/guide/
• プラグイン/編集履歴
  更新履歴 @wikiのwikiモードでは #recent(数字) と入力することで、wikiのページ更新履歴を表示することができます。 詳しくはこちらをご覧ください。 ＝＞http //atwiki.jp/guide/17_117_ja.html たとえば、#recent(20)と入力すると以下のように表示されます。 取得中です。
• 右メニュー
  更新履歴 取得中です。 ここを編集
• メニュー
  メニュー トップページ 形式手法の独学 Alloy Analyzer 更新履歴 取得中です。 ここを編集
• プラグイン/ニュース
  ニュース @wikiのwikiモードでは #news(興味のある単語) と入力することで、あるキーワードに関連するニュース一覧を表示することができます 詳しくはこちらをご覧ください。 ＝＞http //atwiki.jp/guide/17_174_ja.html たとえば、#news(wiki)と入力すると以下のように表示されます。 マニュアル作成に便利な「画像編集」機能を提供開始！ - ナレッジ共有・社内wikiツール「NotePM」：時事ドットコム - 時事通信 マニュアル作成に便利な「画像編集」機能を提供開始！ - ナレッジ共有・社内wikiツール「NotePM」 - PR TIMES 【アイプラ】リセマラは必要？当たりキャラランキング【IDOLY PRIDE】 - Gamerch(ゲーマチ) 篠原悠希×田中芳樹が明かす「歴史ファンタジー小説...
• A.4.1 状態機械の定義
  更新日2011-09-04 [ Alloy Analyzer ] / [ 抽象によるソフトウェア設計／付録 A 練習問題 解答例 ] 状態機械は、1 つ以上の初期状態と、各状態から次状態への遷移についての関係を持つ。状態機械のAlloy モデルを構築し、制約を追加して解析器に解かせ、以下の様々な状態機械の例を生成せよ。 Wiki Pedia の有限オートマトンで紹介されている数学モデルの表現を参考にして、 この問が設定する状態機械を記述してみる。 状態機械は単純であり、定義の構成要素は以下の３つのみとなる。 S,s0,δ S は有限であって空でない状態の集合 s0 はSの要素でもある初期状態の集合 σ は状態遷移関数 σ S→P(S) 　ただしP()は冪集合(イベントの集合Σは要素が１つなので、σ S×Σ→P(S)...
• A.4.2 状態機械の模倣関係
  更新日2011-10-23 [ Alloy Analyzer ] / [ 抽象によるソフトウェア設計／付録 A 練習問題 解答例 ] ( h ) トレースを定義した状態機械のAlloy モデルを作成し、状態機械の例と関連するトレース集合をいくつか生成してみよ モデル化の方針 まず、遷移ラベルと状態は以下のように定義する。 sig A{} abstract sig State{} この設問で考えさせられたのはトレースの表現であった。 設問内の定義によれば状態機械のトレースとは、 初期状態からはじまる遷移ラベルからなる有限列 ということである。 これを算出するには、状態機械がたどった遷移の履歴(これを経路と呼びたい)、 から遷移ラベルを抽出すればよい。 いま状態機械の遷移の表現を A - State - ...
• 「状態遷移システムの構成概念を理解する」のPFD
  更新日2013-01-31 [ 形式手法の独学 ] / [ 「形式手法の独学」のPFD ] 「状態遷移システムの構成概念を理解する」のPFD 各プロセスの説明 P101_FSMの数学モデルを学ぶ P102_状態遷移に関わる用語の意味を考える P103_UMLでの"状態"という用語の運用について考える P104_状態遷移の合成ついて考える P105_状態遷移時のアクションについて考える P106_ProtocolStateMachine図とBehavioralStateMachine図の作図目的の違いを考える P107_ステートマシンの作図を練習する 各成果物の説明 I101_FSMの数学モデルの定義 I102_UMLのチュートリアル I103_状態...
• 「形式手法の独学」のPFD
  更新日2013-01-31 [ 形式手法の独学 ] 「形式手法の独学」のPFD 各プロセスの説明 P001_命題論理を学習する P002_述語論理を学習する P003_集合論_関係_順序を学習する P100_状態遷移システムの構成概念を理解する P021_モデル発見器を学習する P200_仕様の推敲を練習する P004_時相論理を学習する P031_モデル検査器を学習する P300_設計の検証を練習する P900_知見を整理する 各成果物の説明 I001_事例や業務経験 I002_数理論理学の教本 I003_離散数学の教本 I004_様相論理を含む数理論理学の教本 I005_モデル発見器_Alloy I006_Allo...
• @wiki全体から「編集履歴」で調べる

更新順にページ一覧表示 | 作成順にページ一覧表示 | ページ名順にページ一覧表示 | wiki内検索