2006-07-07 論理学演習 安部さん@H谷研の誘導に従って問題が解けた事になった。木の深さに関する帰納法だったんだけど取り方が2つあって、n-1の深さの木を根のほうに持ってくる方法と葉の方に持ってくる方法。後者の方は全然思いつかなかった。