連動装置のバグ取りって最終的には人間の注意力によるんだろうか。形式手法的なやり方はまだ難しい？
機械系全般に言えることかもしれない
現実のシステムを機械が理解できる形式に人間が落とし込む時点でなにか無理がある気がする
思考の /dev/null
機械系全般に言えることかもしれない