状態遷移プログラミングとカルノー図
State transition programming and Karnaugh map
