TAPL 読書会＠東京 第16回 - tokyotaplreading @ ウィキ

2012年9月8日開催

21.5 Membership Checking

some universe U に関する generating function F と
element x ∈ U
が与えられたときに
x falls in the greatest fixed point of F
かどうかをどのように判定するか