書籍サポート
プログラミングで愉しむ数理パズル―未解決の難問やAIの課題に挑戦―
「プログラミングで愉しむ数理パズル―未解決の難問やAIの課題に挑戦―」, 伊庭斉志, （コロナ社）
で解説されているソフトウェアのページです。
ソフトウェア等のご利用にあたって
- このソフトウェア等は伊庭研究室が作成し、無償で配布しているものです。出版社が提供するサービスではありません。
- このソフトウェア等の著作権は、伊庭研究室が保持しています。ダウンロードしたソフトウェア等を再配布することはできません。
- このソフトウェア等に起因するいかなる損害に対しても、伊庭研究室は何ら責任を負いません。
- 伊庭研究室は予告なくソフトウェア等の内容を更新したり、提供を中止することがあります。
- Mind Renderに関しては以上の注意書きは該当しません。 Mind Renderの利用規約を参照してください。
配布ソフトウェアなど
付録 プログラム
C言語ソースファイルをダウンロード出来ます。 一括ダウンロードはこちら。
コンパイル方法の詳細は こちら を参照してください。
| Matthew Frankの漸化式 | [プログラムA.1.c] |
| Miller-Rabin素数判定テスト | [プログラムA.2.c] |
| オイラー予想の反例 | [プログラムA.3.c] |
| ゴールドバッハ予想 | [プログラムA.4.c] |
| ド・ポリニャック予想 | [プログラムA.5.c] |
| ポリア予想 | [プログラムA.6.c] |
| ポリア予想の反例 | [プログラムA.7.c] |
| 4k+1型素数（１） | [プログラムA.8.c] |
| 4k+1型素数（２） | [プログラムA.9.c] |
| 有限等差素数列 | [プログラムA.10.c] |
| 89ループ | [プログラムA.11.c] |
| 階乗ループ | [プログラムA.12.c] |
| 約数ループ | [プログラムA.13.c] |
| 多完全数 | [プログラムA.14.c] |
| 過剰数 | [プログラムA.15.c] |
| 超過剰数 | [プログラムA.16.c] |
| 二つの過剰数の和 | [プログラムA.17.c] |
| 友愛数 | [プログラムA.18.c] |
| 完全数は奇数の3乗の和 | [プログラムA.19.c] |
| ヘロンの三角形 | [プログラムA.20.c] |
| アイゼンシュタインの三角形 | [プログラムA.21.c] |
| 三角数の性質（１） | [プログラムA.22.c] |
| 三角数の性質（２） | [プログラムA.23.c] |
| 三角数の性質（３） | [プログラムA.24.c] |
| 三角数の性質（４） | [プログラムA.25.c] |
| パスカルの問題のシミュレーション関数 | [プログラムA.26.c] |
| ランダムな三角形（１） | [プログラムA.27.c] |
| ランダムな三角形（２） | [プログラムA.28.c] |
| pnの計算 | [プログラムA.29.c] |
| 検査パラドクス | [プログラムA.30.c] |
| 3囚人の問題 | [プログラムA.31.c] |
| モンティ・ホール問題 | [プログラムA.32.c] |
| Kruskalカウント | [プログラムA.33.c] |
| 100人の囚人 | [プログラムA.34.c] |
| 13日の金曜日 | [プログラムA.35.c] |
演習問題のヒントと解答例
ソースファイルをダウンロード出来ます。
| 素数生成多項式(Mathematica) | [プログラム解.1.m] |
| 回文的な三角数 | [プログラム解.2.c] |
| パスカルの問題のシミュレーション関数（変更版） | [プログラム解.3.c] |
| モンティ・ホール問題（変更版） | [プログラム解.4.c] |
Windowsアプリケーション
- DXライブラリを用いたGUIシステムです。
 |
Truelのシミュレータ | 【解答例4.2】 Sequential/Simultaneous, 射撃の正確さ, プレイヤの戦略を指定してTruelの実験を行うことができます [truel.tar] |
 |
秘書問題のシミュレータ | 【解答例6.2】 さまざまな戦略で秘書問題の実験を行うことができます [secretary.tar] |
荷作り問題の問題例
１次元ビンパッキングのベンチマーク問題を ダウンロードできます。
問題の詳細は、以下の論文などを参照してください。
- Alvim,A.C.F., Ribeiro,C.C., Glover,F. and Aloise,D.J., "A hybrid improvement heuristic for the one-dimensional bin packing problem," Journal of Heuristics, vol.10, no.2, pp.205--229, 2004.
- ORライブラリへのリンク
- SchwerinとWascher(1997)による問題例BPP1～BPP100.