レポートのためのメモ 概収束 ほとんどいたるところで収束するということ． 先に事象を固定する． 確率収束 \varepsilon\})=0\]"/> 収束しないところの測度が0にいくということ． 先に確率変数を固定する． 概収束⇒確率収束 ほとんどいたるところで収束する…

昨日は研究室輪講での発表があった．そのときの資料を上げておく 発表用PDF 資料PDF

調和級数はdigamma関数を使って表現できるらしい ただし，

beamerを使った場合dviではなくpdfでプレビューを見たくなる． ところが，dviの場合は pxdvi -watchfile 1 hoge.dvi で自動的に1秒後とに再読み込みをしてくれるが，pdfの場合はやり方が分からなかったので調べてみた． とりあえずacroreadを使う方法は分か…

emacs用のmailclientであるWanderlustを入れてみた． インストール 入れ方はubuntuなら sudo apt-get install wl 次に.emacsに次の記述を追加．は適宜変更 ;; wanderlust (autoload 'wl "wl" "Wanderlust" t) (autoload 'wl-other-frame "wl" "Wanderlust on…

いろいろなMakeの亜流を試してみたが結局Makeにもどってきた Makefile的なものをフォルダに作るのは面倒なのでdefault makefileを作りTeXはMakefileなしでコンパイルできるようにした． まずは，.zshrcなどに export MAKEFILES=~/.makefile とかき，パスを通…

TeXの依存関係がややこしすぎてMakefileを書くのが面倒になったのでOMakeを入れた．入れ方はいつも通り sudo apt-get install omake 使い方は，コンパイルしたいファイルのあるフォルダで omake --install でOMakefileとOMakerootを作り，OMakefileの中身を…

始めてまともなMakefileを書いてみた．下のようなことを書いたMakefileを作り make all と実行すればbeamer.pdfとarticle.pdfが作られる． BEAMER=beamer.pdf ARTICLE=article.pdf TARGET=$(BEAMER) $(ARTICLE) TEX = platex DVIPDF = dvipdfmx SRC = $(shel…

01 - トラック 1.mp3 02 - トラック 2.mp3 03 - トラック 3.mp3 04 - トラック 4.mp3 05 - トラック 5.mp3 のようなファイル名を 01.mp3 02.mp3 03.mp3 04.mp3 05.mp3 に一気に置換するためのスクリプト． ls -1 | perl -n -e 'if(s/^([0-9]+)(.+).mp3/mv "$…

調和級数 についてのメモ． 別表現 連続化 単調性 OK 凹関数 OK 双対？

最短経路問題をLPでどう書くかを忘れたので復習．まずは，記号の準備をすると， 有向グラフ 枝の長さ からまでの最短路を求めたい． このとき，最短経路問題はのように記述できる．ここで，完全単模性よりは0,1変数であると考えてよい．は枝を選んだことを意…

研究室にあったパズルを崩したら戻せなくなったので仕方なく全探索のプログラムを書いた．明治ブラックチョコパズル出版社/メーカー: ハナヤマ発売日: 2006/01/20メディア: おもちゃ＆ホビー購入: 3人 クリック: 21回この商品を含むブログ (5件) を見る impo…

ちょっと連立方程式を解きたいときに計算してくれる電卓のようなものが欲しかったので作った． http://yambi.mydns.jp/simuleq.html ガウスの消去法とかを自分で実装するのは面倒だったのでjavaの科学計算用ライブラリjscienceを入れてFloat64Matrixを使った…

論文を読んでいたらという不等式がさも当たりまえかのように出てきた． 累乗和だし，差分をとったらうまくいくかと思いきやなかなかうまくいかなかった． 実は，高校レベルで簡単に示せる．

授業が始まったので久しぶりにpukiwikiでノートをとったら授業ノートにパスワードがかかっていない状態になっていたことに気づいた． サーバーの移転時に不具合が生じたのかuserauth.phpがうまく働いていないみたいだった．とりあえず，どう設定したか忘れた…

10/28に研究室輪講で発表をしなければならないので，そのネタ探し中とりあえず，前回price of anarchyをやったので，Network Design Gameというものに手をだしてみる．の評価は鮮やかすぎる． Noam Nisan, Tim Roughgarden, Eva Tardos and Vijay V. Vaziran…

ひどすぎた．Dを見てバイナリサーチを思いついたので，まずこれを解こうとする． スプリンクラーを置くべき位置はミンコフスキー和をとった円の交点（または円の中心）とすればよいはず． 30分ぐらいでとりあえずできるもサンプルと答えが合わない． 調べて…

図形Cの双対図形は で与えられるらしい．とりあえず，成り立ちそうな補題を考えると， lemma 1 lemma 2 lemma 3 lemma 4 具体例 （立方体の双対は正八面体） なぜか資料が見つからない．

PDFから特定の範囲のページを切り抜く方法hoge.pdfの5-10ページを切り抜いてfuga.pdfに保存したいときは pdftk hoge.pdf cat 5-10 output fuga.pdf とすればよい．3ページ目から最後までや，2-3と5-10を切り抜きたいなどといったときはそれぞれ pdftk hoge.p…

少ししか使いこなせてないから勉強する． 基本演算 AND & OR | XOR ^ NOT ~ 左シフト 右シフト（左端はその時の最上位ビットと同じ符号で埋める） >> 右シフト（左端は0で埋める） >>> 小技 xを2^n倍する x << n 右からnビットを立てる(00001111) (1 << n) -…

今週かと思っていたら来週だった． 勘違いなのか，いつのまにか変わったのか．．． Online Rounds 2 and 3 The top 3000 participants from Online Round 1 will participate in Online Round 2, which will begin on Saturday, September 26, 2009 at 16:00…

google code jamの過去問を解いていたら線形計画のソルバーが欲しくなったのでlp_solverを入れてみた．入れ方は sudo apt-get install lp-solver ハイフンに注意 lp_solverを使えば，例えば のような線形計画問題を解きたいときは max: 20 x + 30 y; x + 2 y…

一応，統計の研究室にいるので，主観確率と客観確率ぐらい理解しておきたい． 客観確率 通常の数学で扱う 「表と裏がそれぞれ1/2のコインを2回投げて両方表である確率」 のように何が同様に確からしいかの仮定した上で議論を行うもの． 主観確率 「明日晴れ…

最近pukiwikiのcomment spamが来るようになったのでその対策．plugin/comment.inc.phpの70行目付近にある page_write($vars['refer'], $postdata); を if(strpos($vars['msg'],'http') !== false){ $title = 'Error'; $body = 'Cannot use "http" in comment…

ポップアップで単語の訳が表示されるような辞書を使えば英語を読むのが早くなるのでは，と思ってstardictを入れてみました．入れ方は，ubuntuでは sudo apt-get install stardict あとは辞書を適当に http://stardict.sourceforge.net/Dictionaries_ja.php …

Google Code JamのRound 1Aが日本時間で今日の朝10時から12時30分まで行われました． 結果は49点で281位でした．点の割には順位はひどくなかったので驚きです． とはいえ，あまりにひどい内容で自己嫌悪． A. Multi-base happiness ちゃんと読まずに「各桁を…

池袋までパスポートを取りに行ってきました．期限を十年にしたら1万4千円かかった． 写真とか戸籍謄本だとか電車賃だとかもかかったので結構な出費となった． 途中，池袋で東急ハンズに行ったらキャストパズルが売っていたのでついつい買ってしまった．キャ…

ubuntu-restricted-extrasが必要らしい． sudo apt-get install ubuntu-restricted-extras で入手．あとはRhythmboxで，編集>設定>楽曲を選択し，フォーマットをmp3に選べば終わり．

inotifywaitを使えばフォルダ変更の通知をイベントとして受け取れると聞いたので フォルダに変更があれば自動でunisonが走るプログラムを書いてみた．inotifywaitはubuntuの場合 sudo apt-get install inotify-tools で手に入る．あとは，/usr/local/bin/syn…

フォルダの同期を自動でやってくれるようなものを探していたらlsyncdというものを見つけた． フォルダ監視をinotifyで行いrsyncでミラーリングを行うというもの． 早速Ubuntu9.04で sudo apt-get install inotify-tools wget http://lsyncd.googlecode.com/f…