2018-04-20から1日間の記事一覧
さすがに間が空きすぎて、始めのうち何をやってたか忘れてるような気がするのでおさらい ほんとは最初にざっとみてこれくらい把握しておくんだろうなあ はじめに、とか 帰納法を使うことで再帰的な関数についての事実を明らかにする方法を知る 入力の可能性…
5 何回も何回も何回も考えよう 定理の証明 洞察:内側から外側へと書き換えるべし Ifの持ち上げ 洞察:Ifを外側へ 洞察:いつも心に定理を
さすがに間が空きすぎて、始めのうち何をやってたか忘れてるような気がするのでおさらい ほんとは最初にざっとみてこれくらい把握しておくんだろうなあ はじめに、とか 帰納法を使うことで再帰的な関数についての事実を明らかにする方法を知る 入力の可能性…
5 何回も何回も何回も考えよう 定理の証明 洞察:内側から外側へと書き換えるべし Ifの持ち上げ 洞察:Ifを外側へ 洞察:いつも心に定理を