>>548
だから原理的にコード化できることがわかっていても、実際にここでコードを書くかどうかは別の話だろ。
4色問題の証明をコード化できることがわかっていても、お前にはそのコードは書けないだろ？
ここはガリガリソース書いて見せる場とも違うはずだ。