続出

今日は所属しているところで割り当てられている任務に関連した用事が細切れに入ってきて、対応に追われていた。そんな中で、過去に証明した（つもりになっていた）内容を確認した。どうも計算手続きは正しいらしいけど、これを別の文書として立ち上げる気力がわかないくらい面倒な式が続出する。まあ、計算を追跡できるような説明文を入れながら、査読者が確認できるようにすればいいだろう。