▽Functional Programming Memo
●07/28 14:02
ある $￥beta = (￥beta_1, ￥cdots, ￥beta_n) ￥in ￥mathbb{Z}_{￥geq 0}^n$ が存在して $0 > ￥beta$ と仮定する。すると $0 + ￥beta > ￥beta + ￥beta$ となるから$￥beta$を繰り返し加算する事で無限降下列 $￥{￥beta, 2￥beta, 3￥beta, ￥cdots￥}$ を作れるがこれは$>$がwell-orderingであることと矛盾する。よって$￥forall ￥beta, ￥; ￥beta ￥geq 0$ である。
b. $x^{￥alpha}$ が $x^{￥beta}$ を割り切るなら $￥alpha ￥leq ￥beta$ を示せ。逆は成立するか？
題意より単項式 $x^{￥gamma}$

▽ﾍﾞｲｴﾘｱ在住町山智浩ｱﾒﾘｶ日記
●07/13 09:12
読者になる

▽ M.Hiroi’s Home Page / Lightweight Language
●07/08 22:45
© Yahoo Japan

▽Red-Black tree
●07/08 17:36
© Yahoo Japan

▽ｺﾞｯﾄﾛｰﾌﾟ･ﾌﾚｰｹﾞ
●07/08 16:49
© Yahoo Japan