@article{oai:toyama.repo.nii.ac.jp:00004280,
 author = {松田, 秀雄},
 journal = {富山大学工学部紀要},
 month = {Mar},
 note = {This paper describes a recurcive program for generaing the prime implicants of Boolean functions by utilizing the submap method. The procedure is written in FORTRAN, and the steps of this computing process which consists of two parts of decomposition and composition is explained in datail by a chart form. Especially in the composition process, it is shown that we need a double stack, which has two stack counters, for adding literals to only prime implicants stored in between from one position to the other position of a stack register., 本論文は部分マップ法をつかつて，ブール関数の主項を生成する再帰的プログラムについて述べている。
手続きはFORTRANで書かれ，分解と合成の2つからなるこの計算の処理過程が図式形式でくわしく説明されている。
特に合成過程においては，スタックレジスタのある位置からある位置までに蓄えられている主項にのみリテラルを付加するために，スタックカウンタを2つもつ，二重スタックが必要となることを示している。, 再帰的プログラミングはデータサイズnの問題を解く手続きが，いくつかの，より小さなサイズn_1(<n)の手順に分けて，自分自身を副手順として階層的に呼び出していく方法で，プログラミングの形がエレガントになる，メモリが節約できる，問題によっては計算時間の短縮が可能であるなどの特長があるとされている。
本論文ではブール関数の主項(Prime Implicant)を計算機で能率よく求めるために筆者らが提案している部分マップ法をFORTRAN言語で再帰的プログラミングしてみた結果について述べている。
前回の部分関数法の場合に比べ，分割する部分問題の数がふえるので，合成過程が複雑となり，スタックカウンタを又スタックレジスタに入れておかなければならない，いわゆる二重スタックが必要となるなどの様相を明らかにする。, Article, 富山大学工学部紀要，33},
 pages = {1--12},
 title = {ブール関数の主項を生成する一再帰的プログラムについて},
 volume = {33},
 year = {1982}
}