>>896
現在の理論計算機科学の研究成果は
計算量クラスの分類で総括可能なのです。
>>858がその集大成であって、理論計算機の最先端を意味しています。