...山本昌志¹

国立秋田工業高等専門学校　電気工学科

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... このあたりは、参考文献に²

信州大学　井澤裕司氏のwebサイト http://laputa.cs.shinshu-u.ac.jp/$\thicksim$yizawa/logic/chap7/chap7.html

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.