まえがきから引用する：
（前略）与えられた条件を満たすものを数え上げたり，列挙したりする問題が多数考えられる。（中略） 本書は，このような問題を解くのに有用な考え方として，順列・組合せ，数学的帰納法， 包除原理，漸化式，母関数，ブール技法を紹介し，解説している．（後略）
第 9 章では「ブール技法」と題して、二分決定グラフ（binary decision diagram, BDD）を利用した各種問題の解法について述べられている。
p.130 で BDD パッケージが紹介されているが、BDD パッケージの利用方法については示されていない。
少し調べると、現京都大学教授である湊真一氏が GitHub で公開している SAPPOROBDD があり、
本書で言及されている BDD パッケージはおそらくこの SAPPROBDD であろうという見当がついた。
というのは、仙波氏の論文である下記ページ
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/59445/1/0906-24.pdf
ブール処理のパズルへの応用(アル ゴリズムと計算量理論)
の謝辞に BDD パッケージの利用を許可していただいた平石教授、 湊氏に感謝いたします。
とあることあり、湊氏と BDD パッケージの関連について調べた結果 SAPPROBDD にたどりついたからだ。
数式は ASCIIMathML を、 数式表記は MathJax を用いている。
| 書名 | 組合せ数学 |
| 著者 | 仙波一郎 |
| 発行日 | |
| 発行元 | コロナ社 |
| 定価 | 円（本体） |
| サイズ | 判 ページ |
| ISBN | |
| その他 | 草加市立図書館で借りて読む |
まりんきょ学問所 ＞ 数学の部屋 ＞ 数学の本 ＞ 仙波一郎：組合せ数学
