■

　　　副島真　　　強いinduction　の　n<k　の仮定の中身に、４つのClaimをして、　強い帰納法を出してバッタの問題を作ったキチガイ</p>

　　　　問題：　　バッタが数直線０の点におり、条件の順番でジャンプをする。このとき、バッタが一度も着地しないような点が存在することを示せ。

Permalink | 記事への反応(0) | 13:30

ツイートシェア