No Such Blog or Diary
Home > Archives > 2013年11月29日
昨日から寝ずにぶっ続けで24時間超えの時間をかけたら証明が1セット完了した．セミナーでの発表から 3 日遅れか…… 間に合わなかったものはまあしょうがない．とりあえず，プログラミングと同様に証明も設計が大事だと理解した．
さて，出来上がった証明に合わせて他の部分を一気に書き換えるか．明日までに完了すれば「11月にやるから！」を守ったことになるだろう．
Page Top