数理科学II（第16回）

今日は、2学期最後の授業ということで、部分終結式の基本定理を受けて、Collins による「Reduced（縮小）PRS 算法」を説明しました。

2学期の授業で、結局、部分終結式の理論が終わりませんでしたが、3学期の始めに、残った「部分終結式PRS算法」を説明し、その後、次の話題に移りたいと思います。