このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2006-06-19から1日間の記事一覧

数学的帰納法は使うな

sumiiさんの「帰納的定義ということ」に関係していなくもないようで、実は関係しないであろうハナシ。モトネタ(出典)は、たぶん森毅さんがどこかで書いていたことだと思う。自然数nを含むような主張P(n)があって: P(0)が正しい。 P(n)が正しいなら(そう…