PuLPで連立方程式を解く方法
PythonでPuLPを使うと連立方程式を解くことができます。 (さらに…)
ゆるくつくる stabuckyのブログ
Microsoft Researchが作ったZ3というツールがあります。
これを使うと魔方陣や数独などを簡単に解くことができます。
簡単にと言っても使い方は難しいです。
今回はPythonでZ3を使って覆面算を解いてみます。Macで試しました。 (さらに…)
Pythonのmatplotlibを使うツールを使っているのですが、急にエラーが出るようになりました。
「Segmentation fault: 11」というエラーです。
「show()」の部分で止まります。 (さらに…)
ババ抜きは52枚のカードにジョーカーを加えた53枚で遊びます。参加者は配られたカードについて数のペアができたら捨てていきます。順番にカードを取って取られてを繰り返し、早くカードをなくせば勝ちです。
理屈上は最初にカードが配られたときに全てがペアになれば上がれます。
その確率をシミュレートしてみました。 (さらに…)