Avatar
omochimetaru 6/28/2017 8:47 AM
まあでも 解析できそうなif文のケースでは precondition を使えってなりそうだけど。