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

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

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

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

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

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

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

apacheグループのファイルを書き換えたくて usermod -G apache yambi としたら yambi is not in the sudoers file. This incident will be reported. と怒られsudoが使えなくなってしまった． 原因はusermod -Gはグループの追加ではなく変更であったため． …

htmlなどの検証をオンラインでやってくれるwebサービスがある http://validator.w3.org/これにクエリーを投げてくれるchromeエクステンションを入れてみた． https://chrome.google.com/extensions/detail/fdicklfajomdgpciofajkedchajbnhkk 大抵のページで…

動画編集の練習としてこんなものをつくってみた． 使ったのはkdenlive 0.7.7 ubuntuだとリポジトリにppa:sunab/ppaを追加すればaptで入れることができる． 素材集め 今回は， 画像をhttp://yambi.mydns.jp/swf/Sort.htmlから， 音楽をhttp://www.voiceblog.j…

オフラインテトリスをやろうの続き とりあえず，Uを押すとundoできたりするようにした． これで最適化を考えやすくなったはず． ついでにプレイ動画を作ってyoutubeにアップした． 撮影はgtk-recordMyDesktop，編集はPiTiViで行った． 56lines, 160blocksの…

イントロダクション テトリスは，有名な落ちものパズルゲームである． 通常のテトリスは入力（テトラミノがどの順番で落ちてくるか）が次のものまでしか分からない（オンライン）が， すべて分かっている場合（オフライン）についての最適化問題や研究がなさ…

id:tzik-tackによるシャノンゲームの実装が公開された． http://www.misojiro.t.u-tokyo.ac.jp/~tzik/shannon/index.xhtml シャノンゲームとは，無向グラフ上のゲームで， 2人のプレイヤーが交互に短絡除去（SHORT）と開放除去（CUT）を繰り返すことで行われ…

Javaのグラフライブラリのjungを使ってグラフの描画をする方法のメモ． インストール とりあえず，ここから最新のライブラリを落としてくる． （2010/3/7現在ではjung2-2_0_1.zip） これを解凍するとjarファイルが大量に入っているので， /usr/local/lib/jav…

今までは15型ディスプレイを2つ使っていたが， 離れて見るには小さかったので思い切って新しいディスプレイを買ってしまった． EC-CURRENTで\18980なり．安くなったものである．BENQ JAPAN 24型LCDワイドモニタ(グロッシーブラック) G2420HD出版社/メーカー:…

()や{}をそのままの意味で使うときにエスケープシークエンスが必要かと思っていたら必要なかった．ものによって仕様が異なるのでややこしい． 参考 正規表現メモ

英辞郎第5版が生協で15%OFFだったので買ってしまった． （あとで計算してみたらこっちの方が145円ほど安かった．本はつかないけど．）(HY版))" title="英辞郎 第五版 ((HY版))">英辞郎 第五版 ((HY版))出版社/メーカー: アルク発売日: 2010/02/02メディア: …

StarDictというのはオフラインで使える辞書ソフトで， ブラウザとかエディタで単語を選択すると，ポップアップで意味を表示してくれるもの． ここから入手できる． StarDictで英辞郎の辞書を使うためには，StarDictで使える形式にデータを変換しなければなら…