数学的証明をプログラミングに応用すると

【７】

いつかバグの存在を忘れるような日々が…