フォーク定理_folk_theorem