windows7設定メモ

システム デスクトップ ショートカット類削除 コントロールパネル->個人設定 からゴミ箱などを非表示 タスクバー 右クリック->ツールバー->新規ツールバー から~/qlaunchを登録. ~/qlaunchの中にQuick Launchしたいショートカットとゴミ箱を追加 コントロー…

ペンタブレット

ペンタブレットが3000円と安かったので買ってみたPrinceton スリムタブレットMini PTB-ST5出版社/メーカー: プリンストン発売日: 2007/11/20メディア: Personal Computers購入: 3人 クリック: 10回この商品を含むブログ (2件) を見るlinuxから使うには少し設…

kindle3

kindle3を買いました. wifiのみのタイプで値段は$139+$20+$8=$167.円高なので15000円に行かない程度. とりあえず,1日触った印象としては, 良い点 小さい 軽い 高解像度 明るいところでも見やすい バッテリーのもちがとてもよい 悪い点 A4のPDF1枚を表示…

Solovay–Strassen primality test in Scala

Solovay-Strassenの素数判定アルゴリズムをScalaで実装してみた. Scalaでまともなプログラムを書いたのは初めてだったので苦労した import java.math.BigInteger; import java.util.Random; import java.util.Scanner; object SolovayStrassen { def main(a…

gnuplotの使い方メモ

グラフ描画用ソフトgnuplotの使い方メモ. ちなみに,読み方はニュープロットでGNUとは無関係 設定 set title "hoge" # 表のラベルをhogeに設定 set xl "fuga" # x軸のラベルをfugaに set yl "piyo" # y軸のラベルをpiyoに set xr [0:1] # x軸の範囲を[0:1]…

beamer用設定メモ

beamerに良いテーマがなかったのでいろいろ変更を加えた. ただし,http://www.math.umbc.edu/~rouben/beamer/quickstart-Z-H-8.html#node_sec_8からUMBCテーマのインストールが必要 \usetheme{umbc4} \useinnertheme{umbcboxes} \setbeamercolor{umbcboxes}…

分割統治の計算量

分割統治法の計算量を再帰式で書いたときにどうなるかのメモ: サイズn/bの小問題a個に分割できるとき; 1)\end{cases}\)"/> より, b)\end{cases}\)"/> となる. また,サイズf(n)の小問題n/f(n)個に分割できるとき; 1)\end{cases}\)"/> より,

inotifywaitでsvgからepsへの自動変換

プレゼン用の画像をinkscapeで作るとき, svgとepsの両方の形式で保存したい.しかし,手作業で両方を保存するのは面倒なので, 自動で変換してくれるスクリプトを書いた. OSはubuntu10.04で,inotifywaitを利用. これは, sudo apt-get install inotify-t…

chromeでjava appletをみれるようにする

IBMのサイトでダウンロード時にjavaのappletが必要なったので設定を行ったOSはubuntu10.04 chrome 5.0.342.9 beta chromium 5.0.388.0 (45553) まずは, http://www.java.com/ja/download/ から,最新のjavaをダウンロード仮にjre-6u20-linux-i586.binとする…

GCJ用テンプレート

Google Code JamのためのJavaのテンプレートをシンプルなものに変えた. 今日は23時からRound 2. 通過できない可能性の方が高いがベストを尽くしたい. import static java.lang.Math.*; import static java.util.Arrays.*; import static java.util.Collec…

dvipdfmxでフォント埋め込み

TeX

beamerで作ったPDFファイルをpngに変換してimpressiveでプレゼンを行っているが, フォントが変になるという問題があった. この問題をPDFにフォントを埋め込むことで解決した. OSはUbuntu10.04,TeXはptexlive2009 フォントインストール なんでも良いがIPA…

chromeでPDFが開けない問題 in Ubuntu 10.04

Ubuntuを10.04にアップグレードしてからchromeでPDFを開けなくなってしまっていたので修正した. chromeのversionは5.0.375.29 beta やり方は, sudo apt-get install mozplugger acroread でmozpluggerとacroreadを入れて,/etc/mozpluggerrcを ### Acrobat…

Google日本語入力 in Ubuntu10.04

anthyの変換はバカだし,skkは送り仮名をよく間違えてしまうので,Google日本語入力mozcを導入しました.実は,先週オープンソース版が出た日に学振の書類を書きながら一度導入をしましたが, そのときはまだ句読点などの設定法が分からなかったので見送りま…

Google Code Jam 2010 Qualification Round

参加しました. 先に言い訳をしておくと,酔った頭で寝起きに解いた上に, 久しぶりのプログラミングだったのでぼろぼろでした. Google Code Jam Code Jam Statistics (2016) ちゃんと問題を読まずに10^8だから32bit-intでいけるギリギリなんだなと思ってた…

6号館自転車探索問題

自転車をどこにとめたか毎回忘れてしまう人がいたので定式化してみた. 簡単のため,1次元で考えることにする. 6号館の玄関は[-1,1]の位置を占めていて,自転車を停めることができるのは[-M,-1]∪[1,M]であるとする. このとき,t君は原点から出発して移動を…

乱数について

乱数に対する対角線論法 - yamblogの続き.プログラムの出力で01の文字列をつくってきたが, 頭に"0."をつけて[0,1]の実数の2進展開と対応付けることを考える. 例えば"10101"は"0.10101"となる. ”1”と”01111111…”は同じ値と対応付けられることが気になるか…

乱数に対する対角線論法

また,対角線論法で混乱してしまったので復習のためのメモ. コルモゴロフ複雑は人伝にしか聞いたことがないので,用語などは適当. 適当な0,1の文字列を出力するプログラムを考える. 言語はCでもJavaでもよい. ただし,Turing-completeで逐次的な出力がで…

プリンターで日本語が出力できない問題

貸与PCでの,研究室のプリンターからの印刷がうまくできなかったのでその修正法のメモ. 設定時には英語の論文を試しに印刷しただけだったので,気づかなかった. 2台設定したのだが,1台はギリシャ文字などの記号だけが出力されず,もう1台は記号は出力され…

順序統計量

研究中に思いついた問題 [0,1]一様乱数からn個とってきたとき,小さい方からk番目の値はどうなるか? であるが,答えがあった.順序統計量 - Wikipedia結論としてはベータ分布:Beta(k,n-k+1)になるらしい.期待値は予想通りk/(n+1).全ての値が等間隔になら…

KruskalとPrim

どちらもMinimum Spanning Treeを求めるGreedy Algorithmであるが,いつもどっちがどっちだったか忘れてしまうのでメモ. 点数をn,辺数をmとする. Kruskal 辺を軽い順に追加していくもの 木マトロイド 普通の実装だとO(mn),Union Findを使えばO(m α(m,n))…

木上のアルゴリズム

研究中に練習問題としてちょうどいいレベルの問題がいくつかでてきたのでメモ. 全部簡単だけど,きれいなプログラムにするのは悩む. 問1,3は線形時間でメモリはO(1) 問2,4は線形時間で線形メモリ まずはnotation [n]={0,1,2,..,n} f: [n]->[n] f(k)0), f(0…

貸与PC 設定メモ

大学の貸与PCを今日受け取った その設定をメモしておく.スペックは lenovo ThinkPad T400s OS: ubuntu, windows vista cpu: Core 2 Duo p9400 @ 2.4GHz memory: 4GB HD: 250GB ubuntu9.10(32bit)を設定していく

チンイツの待ち問題

makeplex salon:あなたのスキルで飯は食えるか? 史上最大のコーディングスキル判定 (1/2) - ITmedia エンタープライズ にある問題を解いてみた. 再帰で実装 頭や暗刻は一つの数字につき高々1つであることを利用 1111222333444で1単騎を待ちとしてしまう …

JabRefで文献管理

論文のファイルがあちこちにちらばって探すのが困難になったことと, BibTeXファイルを毎回作ることが面倒になったため文献管理ソフトを使って管理することにした.BibTeX関連ツール - TeX Wikiで物色した結果 JabRefを使うことにした. Jからはじまることか…

数学ガール/ゲーデルの不完全性定理

数学ガールの最新作 ゲーデルの不完全性定理を読んだ.数学ガール/ゲーデルの不完全性定理 (数学ガールシリーズ 3)作者: 結城浩出版社/メーカー: SBクリエイティブ発売日: 2009/10/27メディア: 単行本購入: 37人 クリック: 930回この商品を含むブログ (151件…

Chromed Bird (twitter client)

chromeにtwitterクライアントであるChromed Birdを入れてみた. Silver Bird - Chrome Web Store twitterは2008年の9月に14号館でメタン漏れ事件が発生してから使っていなかったので, 1年半以上放置していたことになる. ちなみにアカウントはyambi (@yambi…

Vimium

マウスをなるべく使わないようにするためにchromeにVimiumプラグインを入れてみた. Vimium - Chrome ウェブストア vim使いではないのでキーバインドは少し覚える必要がある とりあえず h 左へ移動 j 下へ移動 k 上へ移動 l 右へ移動 gg ページの先頭へ移動 …

uim-skk

iBusにはflashに日本語入力ができない(おそらくflash側の問題)のでuimを入れてみた. ついでにanthyのバカさ加減にうんざりしていたのでskkを使うことにした. sudo apt-ge install uim uim-xim uim-anthy uim-skk skktools でインストールし, sudo update…

非実在青少年

Q. 「非実在青少年」とは何か? A. 実在しないか,青少年でないものです.

lastpass

chromeのパスワード管理は平文で危険なのでlastpassというオンラインのパスワード管理システムを使ってみることにした. LastPass | Password Manager, Auto Form Filler, Random Password Generator & Secure Digital Wallet App これからアカウントを作る…