▽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/26 00:55
windows (1)

▽まさたか日記
●07/13 15:35
月の生活 | よなよなｴｰﾙ公式ｳｪﾌﾞｻｲﾄ｢よなよなの里｣

▽設計者の発言
●04/12 20:39
はてなﾌﾞﾛｸﾞに引っ越し
2021.04.12
はてなﾌﾞﾛｸﾞに引っ越し
2021年4月から､2020年以降の記事を含めて｢はてなﾌﾞﾛｸﾞ｣に引っ越しました｡今後もよろしくお願いします｡
設計者の発言（はてな版）
«ｵﾌﾞｼﾞｪｸﾄ指向開発もﾛｰｺｰﾄﾞ開発も楽しい

▽ﾃﾞｰﾀ基盤技術修行記
●03/17 15:04
ｶﾞｲﾄﾞ
個人の方
法人の方
ﾌﾟﾗﾝ･料金
注目
ﾌｧｯｼｮﾝ考察
ｱﾗﾌｫｰｵｼﾞｻﾝのﾌｧｯｼｮﾝが10年前で止まっている理由｡
これまで3回にわたって分析してきた10年前のﾃｨｰﾝ向けﾌｧｯｼｮﾝ誌､STREET JACK 2010年10月号｡ www.yamadakoji.com www.yamadakoji.com www.yamadakoji.com // 今もよく見かけるこんな服装のｵｼﾞｻﾝ さて､これまでの記事でもご紹介したように､今号の特集はﾋﾞ…
山田耕史のﾌｧｯｼｮﾝﾌﾞﾛｸﾞ - 2021-03-15 18:00:24
電動ｽﾀﾝﾃﾞｨﾝｸﾞﾃﾞｽｸ FLEXISPOT を自宅ｵﾌｨｽ環境に導入した
TL;DR ｽﾀﾝﾃﾞｨﾝｸﾞﾃﾞｽｸは良い ｺﾛﾅ禍が始まって以来､在宅勤務を続けているが勤務先へのｱｸｾｽ利便性を優先したが為に住居は1LDK+Sという状況で､2歳になった娘も居る状況で