確率的プログラミングhaskellをやっていて、いまさらながらにラムダ関数とか、その背景としての計算可能性とかが気になって来ました。一階述語論理(すべての...、ある...)の決定不能性、とか。二値型確率事象Bookをデータ型として作り、それに生起確率ベクトルを付け加えている。付け加えるときは、weightedという関数を使っている。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。