« 2013年4月7日 - 2013年4月13日 | トップページ | 2013年4月21日 - 2013年4月27日 »

2013年4月14日 - 2013年4月20日

cocolog:76238664

昔、使ってた定理証明支援システムをインストールしようとしてうまくいかない。 (JRF 9359)

JRF 2013年4月19日 (金)

» 続きを読む

cocolog:76226644

ごく普通のランダムウォークなマルコフ連鎖…プラス方向に p、マイナス方向に q の確率で遷移するもの…は、p が 1/2 でなければ再帰しないが、r_n = (2 * p - 1) * n みたいな「再帰軸」を取れば、その周りのおいて再帰する。(はず) (JRF 1705)

JRF 2013年4月18日 (木)

» 続きを読む

cocolog:76226522

マメ知識:数列とは自然数の関数である。 (JRF 7222)

JRF 2013年4月18日 (木)

» 続きを読む

cocolog:76212463

3DS『クリムゾン・シュラウド』(DL版)。Wiki を見ながら2周真エンディングでのクリア。3周目ももうすぐクリアだが、3周目の変化が最初だけで、戦闘が選べるとことかなかったんですが…。「真紅の聖骸布」を2周目で全部捨てちゃったのが悪かったのかな…? (JRF 8839)

JRF 2013年4月16日 (火)

» 続きを読む

«前のひとこと

« 2013年4月7日 - 2013年4月13日 | トップページ | 2013年4月21日 - 2013年4月27日 »

このころのニュース