失敗学的検算のすすめ

日頃の数学の研究・教育から検算の必要性を痛感するので，この度上記表題のドキュメントを（未完ですが）こちらで公開します．ご笑覧下さい．

2016/09/16 更新しました．
2017/04/25 リンクを補正しました．