経験的に数学的に完全に安全
これが高IQ語法か