ループ書いたら負けかなと思っている uskz 自己紹介 梶本裕介 25歳 ループ嫌い 抽象度が低すぎる 形式的な扱いが面倒くさい 範囲とかいちいち気にしないといけないのが嫌 accumulate? transform? int f(int a, int b, int c) { return 3 * a + 3 * b + 3 * c; } int f(int a, int b, int c) { return 3 * (a + b + c); } bool p(bool a, bool b, bool c) { return (!a && b || a && !b) != c; } bool p(bool a, bool b, bool c) { return a == b == c; } ホーア論理 {P}S {Q} Pは事前条件で,Qは事後条件.{P}S{Q}が正しいことはPが成り立つ