研究の紹介
はじめに 項書き換えシステムの例 項書き換えシステムの完備性 グラス置き換えパズル グラス置き換えパズルの完備化 完備化手続き 群の完備化 両方向ペトリネットの完備化 組みひも問題の完備化 失敗無し完備化 おわりに はじめに 項書き換えシステム(term rewriting system)は等式にもとづく柔軟な計算法 と効率的な証明法を提供できるため，定理自動証明，関数型あるいは論理型言 語，代数的仕様記述，記号処理など，計算機科学のさまざまな分野で広くもち いられています． 項書き換えシステムは方向付けられた等式（書き換え規則）の集合として 定義されます．ところで，等式そのものにはもともと計算という意味はありま せん．たとえば，等式 1+2 = 3 は右辺と左辺が等価であるという論理的な意 味をもつだけです．したがって，論理の世界では，1+2 から 3 を得るだけ ではなく，逆に
FrontPage - 情報論的学習理論と機械学習の「朱鷺の杜Wiki」
朱鷺の杜Wiki（ときのもり うぃき）† 朱鷺の杜Wikiは，機械学習に関連した，データマイニング，情報理論，計算論的学習理論，統計，統計物理についての情報交換の場です．これら機械学習関係の話題，リンク，関連事項，書籍・論文紹介などの情報を扱います． 更新されたページを確認するにはRSSリーダを使って右下のRSSリンクをチェックするか，最終更新のページを参照してください． ページの中でどこが更新されたかを見るには，上の「差分」をクリックして下さい． 数式の表示に MathJax を利用しています．数式の上でコンテキストメニューを使うと各種の設定が可能です．特に設定をしなくても数式は閲覧できますが，フォントをインストールすれば数式の表示がきれいで高速になります．詳しくは 数式の表示 のページを参照して下さい． ごく簡単なWikiの使い方がこのページの最後にあります．トップページやメニューなど
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
