項書き換えシステム入門外山芳人北陸先端科学技術大学院大学情報科学研究科 923-1292 石川県辰口町旭台 1-1 e-mail: toyama@jaist.ac.jp 項書き換えシステムは等式にもとづく柔軟な計算法と効率�

暮らしカテゴリーの変更を依頼記事元:

www.nue.riec.tohoku.ac.jp

2 usersがブックマークコメント

記事へのコメント1件

注目コメント
新着コメント

dhrname 外山芳人氏の「項書き換えシステム入門」

プログラミング

2016/05/24 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

リンクを埋め込む

以下のコードをコピーしてサイトに埋め込むことができます

<iframe marginwidth="0" marginheight="0" src="https://b.hatena.ne.jp/entry.parts?url=http%3A%2F%2Fwww.nue.riec.tohoku.ac.jp%2Flab-intro%2FTRS-intro%2F98ss_intro_trs.pdf" scrolling="no" frameborder="0" height="230" width="500"><div class="hatena-bookmark-detail-info"><a href="http://www.nue.riec.tohoku.ac.jp/lab-intro/TRS-intro/98ss_intro_trs.pdf">項書き換えシステム入門 外山 芳人 北陸先端科学技術大学院大学 情報科学研究科 923-1292 石川県辰口町旭台 1-1 e-mail: toyama@jaist.ac.jp 項書き換えシステムは等式にもとづく柔軟な計算法と効率�</a><a href="https://b.hatena.ne.jp/entry/www.nue.riec.tohoku.ac.jp/lab-intro/TRS-intro/98ss_intro_trs.pdf">はてなブックマーク - 項書き換えシステム入門 外山 芳人 北陸先端科学技術大学院大学 情報科学研究科 923-1292 石川県辰口町旭台 1-1 e-mail: toyama@jaist.ac.jp 項書き換えシステムは等式にもとづく柔軟な計算法と効率�</a></div></iframe>

プレビュー

規約違反を報告

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

項書き換えシステム入門外山芳人北陸先端科学技術大学院大学情報科学研究科 923-1292 石川県辰口町旭台 1-1 e-mail: toyama@jaist.ac.jp 項書き換えシステムは等式にもとづく柔軟な計算法と効率�

項書き換えシステム入門外山芳人北陸先端科学技術大学院大学情報科学研究科 923-1292 石川県辰口町... 項書き換えシステム入門外山芳人北陸先端科学技術大学院大学情報科学研究科 923-1292 石川県辰口町旭台 1-1 e-mail: toyama@jaist.ac.jp 項書き換えシステムは等式にもとづく柔軟な計算法と効率的な証明法を提供できるため、定理自動証明、関数型あるいは論理型言語、代数的仕様記述、記号処理など、計算機科学のさまざまな分野で広くもちいられている。ここでは、項書き換えシステムの理論において中心的な役割をはたす合流性について紹介し、自動証明において項書き換えシステムがどのように応用されているかを解説する。項書き換えシステム、合流性、自動証明、完備化手続き Introduction to Term Rewriting Systems Yoshihito Toyama School of Information Science, JAIST Tatsunok