...山本昌志1
国立秋田工業高等専門学校 電気工学科
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... このあたりは、参考文献に2
信州大学 井澤裕司氏のwebサイト http://laputa.cs.shinshu-u.ac.jp/$ \thicksim$yizawa/logic/chap7/chap7.html
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.


no counter