不完全性定理や停止性問題に通じる話だと思う．（不完全性と決定不可能性の関係はいまいちよく分かっていない） その証明が正しいことを証明しろと言われてもできるわけない．説明はできるが，証明はできない．内容見て正しいか判断するしかない．見る人が正…

コードが正しいことは証明できない

異常系はだるい 異常系の処理は，本筋ではないし，大体同じ処理だから，読む際にノイズになって可読性をすごく下げる，特にC． システムコールを呼ぶ度にいろいろ書くのは面倒だ． Javaの例外も大変だ Javaの場合は，Exceptionがあるからちょっとはマシかと…

例外は基本投げずに処理し，できないならRuntimeExceptionを投げるべし