まだ帰納法が回せずにいるポンコツさんです．帰納法を回すための計算を電子的なノートでやってみた．普段は専ら紙なんだけど．今やっているのはもうどうすればいいかわかっている計算なのでそういうのには便利．うろちょろしながらやるような時は紙の方がいいなぁ，という感覚．紙であることよりも机に広げられることが効いているかなとは思うけど．何にしてもさっきから間違いまくっていて全然進まない．あ，また符号間違えた．