| Abstract | .... 2 | |
| 梗概 | .... 3 | |
| 1 | まえがき | .... 4 |
| 2 | 制約lfp演算の原理 | .... 5 |
| 3 | 制約子の決定 | .... 8 |
| 4 | 制約子の性質 | .... 10 |
| 5 | 処理性能 | .... 13 |
| 6 | むすび | .... 14 |
| 謝辞 | .... 15 | |
| 参考文献 | .... 16 | |
| 付録1 | 定理の証明 | .... 18 |
| 付録2 | 相互再帰問い合わせの実行例 | .... 20 |
| End | .... 21 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports