kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

2018-04-20から1日間の記事一覧

定理証明手習い (91) おさらい(1)

さすがに間が空きすぎて、始めのうち何をやってたか忘れてるような気がするのでおさらい ほんとは最初にざっとみてこれくらい把握しておくんだろうなあ はじめに、とか 帰納法を使うことで再帰的な関数についての事実を明らかにする方法を知る 入力の可能性…

定理証明手習い (92) おさらい(2)

5 何回も何回も何回も考えよう 定理の証明 洞察:内側から外側へと書き換えるべし Ifの持ち上げ 洞察:Ifを外側へ 洞察:いつも心に定理を