わんくま同盟[B!]新着記事・評価 - はてなブックマーク

『わんくま同盟』

ループ書いたら負けかなと思っている
7 users
www.wankuma.com

ループ書いたら負けかなと思っている 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が成り立つ
- テクノロジー
- 2012/04/02 03:03
- *あとで

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx