▽Scala Tips
●02/01 02:55
Tips Trik SEOTips Trik SEOTips SEO Terbaru 2013

▽Lift - The official Lift blog
●06/24 16:22
LiftHomeArchiveContributions to Lift by non-committersThe Official Lift blogThe Lift Committers blog about the Lift Web FrameworkLift XML VulnerabilityMarch 22, 2015A Serious VulnerabilitySecurity testing at a large Lift-powered site revealed a serious XML-relatedsecurity vulnerability.The core issue is that Lift prior to recently patched versions 2.5.2, 2.6.1, and 3.0-M4are vulnerable

▽ Happy My Life
●01/16 02:49
2022-01-15Boox Leafは最強の電子書籍ﾘｰﾀﾞｰ買い物 電子書籍Boox Leafを最近買いました｡ Boox Leafを簡単に説明すると､Kindle PaperwhiteにAndroid10が載っているﾀﾌﾞﾚｯﾄといえば､想像つく人も多いかと｡Kindle､honto､BOOK WALKERなど電子書籍ﾌﾟﾗｯﾄﾌｫｰﾑを使っている身としては存在自体は気になってました｡が､新しいKindle Paperwhiteを買うよりは､と思って買ってみると､｢予想通り､これはよいものだぞ｣と思ったので､ｵｽｽﾒですね｡私のような電書のﾍﾋﾞｰﾕｰｻﾞｰには､特に｡BOOX Leaf 電子ﾍﾟｰﾊﾟｰ 7ｲﾝﾁ EInk 自動回転機能付き Android10 ﾀﾌﾞﾚｯﾄ GooglePlay 電子書籍ﾘｰﾀﾞｰ 目に優しい B6ｻｲｽﾞ 電子文具価格: 32800 円楽天で詳細を見る

▽d.y.d.
●11/21 20:58
22:22 21/11/20ﾎﾞﾚﾛ村上(村上原野)さんと constexpr のこと去る2020年2月､縄文陶芸家にしてC++ﾌﾟﾛｸﾞﾗﾏという希有な二つの顔を持つ人物がこの世を去りました｡ ﾎﾞﾚﾛ村上 (村上原野) 氏です｡正直なところ､陶芸家としての彼の側面については私はほとんど何も知らないに等しいです｡残された作品を見て何かを語れるほど芸術に通じているわけでもありません｡いつか機会があれば見に行こうと思っていた村上さんの作品を目にする最初の機会も､昨年訪れた追悼展になってしまいました｡ただ､それでも私は､彼自身の登壇発表の資料 であったり､そして何よりも縄文･陶芸に造詣の深い方々の記された幾つかの文章（たとえば "なぜ若き縄文ｱｰﾃｨｽﾄはﾘｱﾙをめざしたのか〜村上原野くんを偲んで"）によって､彼が一体何を成し遂げたのか､成し遂げようとしていたのかに触れることができ

▽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}$