http://www.atmarkit.co.jp/fwin2k/win2ktips/630ctfmon/ctfmon.html の記事に従って，ctfmon を動作させないようにした．ms windows xp の言語バーが出なくなった．

デスクトップマシン (dell inspiron530s) が起動しなくなった．電源を入れて最初に出るdellのロゴ画面のまま，動かない．「F2 setup F12 BIOS setup」(?) などと出ているのだが，キーボードも反応しない．DeLLのサポートに電話してみる．(どうでも良いが，電…

web site に パワーポイント，ワード，エクセルなどの Office 2007 ファイル (拡張子 .pptx, .xlsx, .docx) のものを置いておくと，ダウンロードする時に zip ファイルとなってしまう．これを防ぐには， .htaccess に以下の記述を書いておけば良い． AddType…

Free Style Wiki をインストールしてみた．簡単． http://gcg00467.xii.jp/fswiki/wiki.cgi 最初は，Wiki 記法が @wiki に比べて貧弱かと思ったが，いろいろなユーザが plugin を提供していて，それらを使えば結構なことができるみたい．

書かれているとおりにしても，起動しない．その後ごにょごにょやって Proof General は起動したのだが，Isabelle のプロセスが segmentation fault を出す．どうも，/usr/local/Isabelle/bin に，起動スクリプト Isabelle と isabelle があって，$0 の先頭の…

ここで，cygwinのパーミッション問題，といっているのは，Windows アプリケーションでファイルを作成すると，permission が 0700 になってしまうこと． http://www.sixnine.net/cygwin/cygwin-doc/professional.html に，解決方法が出ている． ACL の設定と…

Windows で du を実行したい．Windowsにはない．これはまあ，仕方がない．Cygwin の du が，ものすごく遅くて，あまり使いたくない． 多分，command line 版も含めて，いろいろあるのだろうけれど，google で windows disk usage として最初に引っかかったの…

レンタルサーバで，root権限なしでCPANを使う． cpan の configuration で，perl Makefile.PL の引数を聞かれるところで，PREFIX=~/perl と答えればよい．(サンプルとして表示されている．) これは，"makepl_arg" というキーに保存されるようだ．ちなみに，…

どうも保存されるhistoryの数が少なすぎるように思った．comint.el を見ると，comint-input-ring-size というので指定されていて，既定値は32になっている．これは少ない．ということで，comint-mode-hook に (setq comint-input-ring-size 512) と書いてみ…

Windows起動時に立ち上がるプログラムを，間隔を開けて起動してくれるものがないか，と思って探したら，ぴったりのものがあった．Startup Delayer． 動かしてみた．概ねうまく動くが，「現状でのスタートアッププログラムからのインポート」で，プログラム本…

会議で出席者の名前を示すために机の上に置く名札を作る必要が生じた． A4の紙を縦長に置き，上下に4等分した上から3番目の部分に所属と氏名を書き，三角柱になるように折り曲げて，1番目と4番目の部分を貼り合わせてできあがり，という簡単なもの．でも，名…

ssh でコマンドを起動するときの PATH の値を変更したいとき， ${HOME}/.ssh/environment に PATH=.... と記述しておけばよいらしい．もちろん，他の環境変数も同様．

なぜかしらないが，いろいろ勉強する羽目になってしまった．まず，Classオブジェクト．オブジェクトoから oが属するクラスのクラスオブジェクトを得るには， Class cl = o.getClass();とする．状況によっては， Class<A> cl = o.getClass();とか， Class cl = o</a>…

Opera で，mailto リンクをクリックすると，Outlookを起動しに行くようになってしまった． Operaでは，「標準のアプリケーション」で開く設定にしているのだが，そして，それはbeckyであるはずなのだが，いつのまにか書き換わっている． いろいろ調べた． ま…

cron で動かそうとする script が，標準出力/エラー出力 に出力すると，いちいちメールが来てうるさい．しかし，コマンドが失敗したときにはやはりメールがほしい．ということで，exit status が 0でないときだけ，出力を行うようなwrapperを書いた． #!/usr…

cygwin と unix 間の remote の unison で file permission が変わってしまう． ソースを見てみた．OCaml なので，よくわからないのだが，どうも，cygwin は win32 の一種と思われていて，所有者が writable かどうかしか意味がない，とされているようだ．ub…

cperl-mode で File mode specification error: (error "Autoloading failed to define function perl-mode") というエラーが出るのは，バージョンが古いから．最新版を http://www.emacswiki.org/cgi-bin/wiki/CPerlMode から持ってくればよい．でも，最新…

pdfリーダ． pdfファイルの方が更新されると，そのままビューワ上で変更結果が反映されるようだ． そのままだと日本語が出ない．http://kzworks.at.webry.info/200703/article_6.htmlによれば，http://www.foolabs.com/xpdf/download.htmlから xpdf-japanese…

Cygwin 上で動かしているのだが，ファイルをローカルマシンに持ってこようとすると， Could not change owner/permissions on : Permission denied - というエラーがたくさん出る．chown で，おかしなユーザにしようとしているのではないかと思う．めんどう…

http://r.gnavi.co.jp/g053508/先日，入れなかったので，18時頃行ってみた．2席しか空いていなかった．10分位すると，もう行列になっている．別にこの店だけでなく，ルミネ全体として混んでいるみたい．ボーナスはもう出たのだろうか?いつものように，「石焼…

中華料理．まずまず．高いけど． 豪快な調理...

18:00-20:50 ミューザ川崎鈴木雅明（指揮・チェンバロ） バッハ・コレギウム・ジャパン（管弦楽）

操作するコマンド: s3sync.rb, s3cmd.rb注意: cygwin にインストールしたら，そのままでは動作しなかった．これらのスクリプトの先頭行の末尾にあった1バイトの空白を削除したら動作した．インストール: 展開して，パスを通す．添付されている s3config.yml.…

ベルギービールの店． まずまず．高いけど...http://www.diamond-dining.com/patrasche/main.html

都響スペシャル〜エリアフ・インバル プリンシパル・コンダクター就任披露公演ミューザ川崎シンフォニーホール 18:00-指揮：エリアフ・インバル ソプラノ：澤畑恵美 ソプラノ：大倉由紀枝 ソプラノ：半田美和子 メゾソプラノ：竹本節子 メゾソプラノ：手嶋眞…

無効にする方法: http://oshiete1.goo.ne.jp/qa2934845.html 詳細設定のブラウジングでツールチップを表示しないようにすればよいように思ったが，こうすると，<a>タグのリンク先もツールチップで表示されなくなってしまう． サムネイルだけ無効にするには，Ope</a>…

Windowsのディレクトリをアーカイブするのに，tar などの cygwin コマンドだと日本語ファイル名がうまく扱えない場合がある．(第2バイトがバックスラッシュの場合など．) Winzip のコマンドライン版を使っていたが，ライセンスがだんだん厳しくなってきたの…

explorerで「マイネットワーク」を選ぶ． 「ネットワークプレースの追加」を選ぶ． インターネットまたはネットワークのアドレスで，アクセスするためのアドレスを入力

職場で支給されたノートPCを設定する。 Windows XP 共有がうまくいかない firewallをいろいろいじるけどだめ。最後に判明したのは、そもそもネットワークがそういう風に設定されていなかった。 ネットワーク接続→ローカルエリア接続→プロパティ で、Microsof…

新しいマシン(Dell Inspiron 530s; Windows Vista)にキーボード (東プレ Realforce 106) をつないでみようと...，ゲッ，PS/2端子がない．うーむ，世の中そういうふうになっているのね．まあ，しょうがない，ってんで手持ちのPS/2→USB変換アダプタ (Arvel AU0…