例えば

11:33 AM

x * xっていうFloatの掛け算があって

11:33 AM

これは絶対、負にはならないわけですけど

11:34 AM

数学の知識がなかったら

11:34 AM

次の行で符号チェックのif文が必要になる

11:34 AM

知識があれば、ここは負にはならない、と仮定してそのまま続きを書ける

11:35 AM

ロジックの担保ってそういう話で

11:36 AM

論理的に絶対に無いってところでfatalErrorを使ってよくて

11:36 AM

でも、見落としてしまうケースではそこに突っ込んで落ちちゃうので

11:36 AM

開発中に洗い出しましょう、となる

11:37 AM

これはいくらでも突き詰めることができて

11:37 AM

結局、コードを書くメンバーの

11:37 AM

実力をどこまで信じるか、みたいなことに

11:37 AM

なっちゃうのではないかなあ