エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
項書き換え系に基づく制約プログラミング言語システムの実現方式について
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
項書き換え系に基づく制約プログラミング言語システムの実現方式について
東京情報大学研究論集 Vol. 6 No.2 (2003.2) p141-169 項書き換え系に基づく制約プログラミング言語シ... 東京情報大学研究論集 Vol. 6 No.2 (2003.2) p141-169 項書き換え系に基づく制約プログラミング言語システムの実現方式について 永井保夫 [目次] 1 はじめに 2 制約プログラミング言語システムの特徴ならびに研究動向 3 項書換えシステム(TRS)に基づく制約プログラミング言語システム 4 適用問題と実行例 5 おわりに 参考文献 pdfで読む ブラウザのスイッチでもどってください