バグが含まれているかではなく、「バグが書ける状態になっているか？」にこだわる人居るんだけど そういう、数学的に正しいかみたいなやつ、大学でもやったんだけど、これ突き詰め...