Rustは保証とか証明可能って軽率に言う
CSや数学勢、敵にまわし過ぎ