プログラミングをしていると、「この時点での変数は、絶対にプラスの値になっているはず」「リストの中身は空ではないはず」といった、**「プログラムが正しく動いていれば、絶対に成り立つはずの前提」**というものが存在します。 この前提が崩れて ...