自動化の意義が大きいのは間違いないね
でも>>676「UWSC使えば簡単に対処でき」るってことではないのも間違いない

>>692
1+1=2って話じゃないぞ
田=2だったりa+b=2だったり1+1=煮だったりいろんなケースがあるものを
すべて間違いなく完全正解を導かなきゃいけないって話