今回は以前 http://d.hatena.ne.jp/ehito/20110526/1306382983 少し述べた numeric QE プログラム,RSolver http://rsolver.sourceforge.net/ について書きます.一般に QE とは,与えられた論理式と等価で,量化子を含まない論理式を得る処理のことですが,…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。