論理展開こそコンピューターが勝手にやってくれる。
人間に必要なのは閃きだけ。