論理式が生成される確率を求める - 朝日ネット 開発者ブログ

こんにちは。株式会社朝日ネット開発部のxfuzzyです。 数学や関数型言語に興味があります。 前回の記事では論理式をランダムに生成するプログラムを作成してみました。 今回は、前回紹介した方法で、特定の論理式が生成される確率を求めるプログラムを作成します。 このようなプログラムを作成したのは、「論理式をランダムに生成して、証明をしようとしたときに、目的の結果を得るまでにいくつぐらいの論理式が必要か」を知りたいと思ったからです。 概要 実装 実行例 実行例その２ まとめ 採用情報 概要 論理式を与えて、その論理式が生成される確率を求める関数を作成します。 実装 次のコードは、与えられた論理式の生成される確率を返します。 getProbability :: Param -> PropLang -> Rational getProbability p f = case f of Atom "p"