https://orsj-ml.org/orwiki/wiki/index.php?action=history&feed=atom&title=%E5%AE%9F%E8%A1%8C%E5%8F%AF%E8%83%BD%E6%80%A7_%28%E3%83%A2%E3%83%87%E3%83%AB%E8%A8%98%E8%BF%B0%E8%A8%80%E8%AA%9E%E3%81%AE%29 2026-04-16T22:21:20Z このウィキのこのページに関する変更履歴 MediaWiki 1.35.3 https://orsj-ml.org/orwiki/wiki/index.php?title=%E5%AE%9F%E8%A1%8C%E5%8F%AF%E8%83%BD%E6%80%A7_(%E3%83%A2%E3%83%87%E3%83%AB%E8%A8%98%E8%BF%B0%E8%A8%80%E8%AA%9E%E3%81%AE)&diff=7044&oldid=prev 2007-07-20T02:00:35Z

<p>&quot;実行可能性 (モデル記述言語の)&quot; を保護しました。 [edit=sysop:move=sysop]</p> <table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface"> <tr class="diff-title" lang="ja"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← 古い版</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">2007年7月20日 (金) 02:00時点における版</td> </tr><tr><td colspan="2" class="diff-notice" lang="ja"><div class="mw-diff-empty">(相違点なし)</div> </td></tr></table>

Orsjwiki https://orsj-ml.org/orwiki/wiki/index.php?title=%E5%AE%9F%E8%A1%8C%E5%8F%AF%E8%83%BD%E6%80%A7_(%E3%83%A2%E3%83%87%E3%83%AB%E8%A8%98%E8%BF%B0%E8%A8%80%E8%AA%9E%E3%81%AE)&diff=3188&oldid=prev 2007-07-12T09:38:58Z

<p>新しいページ: &#039;&#039;&#039;&#039;【じっこうかのうせい (executability for model description language)】&#039;&#039;&#039; 記述されたモデルの正確性と完全性を自動的に検証する機能を処...&#039;</p> <p><b>新規ページ</b></p><div>'''【じっこうかのうせい (executability for model description language)】'''<br /> <br /> 記述されたモデルの正確性と完全性を自動的に検証する機能を処理システムに付与することが可能であるという, モデル記述言語の形式論理的性質をいう. 実行可能性には様々なレベルが考えられるものの, モデル記述言語に不可欠の特性と考えられている.</div>

122.17.2.240