果ﾃﾉｱﾝﾃﾅ - はてなｱﾝﾃﾅ

▽妖精現実ﾌｪｱﾘｱﾙ
●03/25 14:51
2025-03-23 ﾍﾞﾙﾇｰｲの公式の証明（Knuth版） 00 = 1前回､べき和公式の一応の証明を紹介した（ﾌﾗﾝｽの Bourrigan による）｡比較的平明でとっつきやすい内容だが､厳密性の点では､多少の疑問も残る｡参考として､ Knuth による本格派の証明を転載しておく｡このﾊﾞｰｼﾞｮﾝは､明晰（めいせき）で一分の隙もない｡ 00 = 1 を当たり前のように使うとこなど､いかにも Knuth っぽく､面白くもある｡ Concrete Mathematics という有名な市販の教科書の一部なのだが､現在､この部分はｳｪﾌﾞ上で自由に読める｡このｱｸｾｽ性も､ﾎﾟｲﾝﾄが高い｡半面､ Knuth なのでかなり行間が広く､難易度も高め｡二項係数の扱いにある程度慣れてる必要があり､｢二項係数の公式なら知ってるよ｡順列･組み合わせのやつでしょ？｣みたいなﾚﾍﾞﾙでは､ちょっと厳しいかも…