@kururu_goedel: @tri_iro 訂正とお答えありがとうございます。なるほど、帰納法で低い次元のことを使うのにより強い仮定がいるわけですか。2012-04-15 01:09:06 via TweetDeck to @tri_iro @kururu_goedel: @igaris 教育とは、習ったことを全て忘れたときに…