A7手帳、浅海散子

A7サイズの手帳。何かを書く。

2022-05-09から1日間の記事一覧

「この時点でxはTrueのはず」はassert文で書こう

競技プログラミングにおいて、求めた解が正しいことは(アルゴリズムとして)証明されているが、コードにはそのことが表されない——ということがしばしばある。そんなときにassert文が役立つことがある、かもしれない。 assert文はpython3のテスト構文の一つ…