2次元以上の分布関数に単調増加性より強い性質が必要なこと

はじめに

この記事は反例 Advent Calendar 2018 - Adventarの25日目の記事です.
24日目の記事にしようと思ったら埋まっていたので.
タイトル通り,2次元以上の分布関数には各変数に関する単調増加性より強い性質が必要になることを言います.分布関数の定義が少し分かりづらいかもしれませんが,「確率測度との1対1の対応があるような関数」ということです.

細々した話は伊藤雄二, 確率論, 朝倉書店(2002)を参照してください.

続きを読む

卒論の時期にPCが壊れるとか恋人と別れるとか言うけれど僕の場合DCジャックがイカれたけどDCジャックがイカれるとまじでつらいねって話

はじめに

とてもつらかったので日記です.
本文は読まなくて良くて重要なことは海外発送するなら特急便みたいなのにしとけ,ってことです.

続きを読む

新幹線が遅延した時の払い戻しについて(特に学割を使っていた今回の場合の)

はじめに

2018年10月19日姫路駅で新幹線と人間が衝突という事故が発生.
当該車両の先頭車両に座っていて,その後払い戻しやなんやがよく分からなかったので備忘録.

続きを読む

僕とTwitterの思い出話

はじめに

本日をもってTwitterのUserStream*1が徐々に死んでいくことになった.
段階的に殺していったりとかはあるけれど,その辺りは種々のブログとかを見た方が早いので割愛.
US停止に際して幾人かがポエムを書いていたので僕も書きたいと思った次第である.

と思ったのだけれど書き終わった後にこれポエムじゃなくてただの一エンドユーザの振り返りだなとなってしまったので最初に記しておきます.

*1:備忘録:TimeLineを自動で流すことのできるUserStreams APIが提供されていた.

続きを読む

ゲーム「ナナシス」のライブではなく,「ナナスタ」のアイドルとしての武道館ライブ

はじめに

2018年7月20日(金),Tokyo 7th Sisters(以下ナナシス)のメモリアルライブ「Melody in the Pocket」が武道館であったのだけどそれの感想.
東京から帰って落ち着いたし,色々感情があるのでちょっと書き連ねたいなと言う気持ち.

続きを読む

C1-級である正則行列のdetの微分

はじめに

ブログのネタがないので.計算するだけなのだけれど.

主張

 A:[0,T]\to\mathbb{R}^{d\times d}:$C^{1}$-級,正則行列とする.
この時次が成り立つ: \begin{align} \frac{\mathrm{d}}{\mathrm{d}t}\det A(t)=\mathrm{tr}\left(A^{-1}(t)\frac{\mathrm{d}}{\mathrm{d}t}A(t)\right) \det A(t). \end{align}

続きを読む