計算可能性

計算可能性と確率的プログラミング

haskellをやっていて、いまさらながらにラムダ関数とか、その背景としての計算可能性とかが気になって来ました。 たとえば、一階述語論理(すべての...、ある...)の決定不能性、とか。 ということで Computability, inference and modeling in probabilistic…