CPRMのDVD-RをPCで再生することって，今までできていたはずなのだ． WINDVD9を使って．ところが， なぜか動かなくなっている． 再インストールとかいろいろやってみたけどだめ． で，あきらめて，PowerDVDを購入してインストールしてみた． ソースネクストが…

我ながら下手なタイトルだ． webを検索すると，実にいろいろなことが書いてあるが， 自分の環境では，結局これだった: (set-file-name-coding-system 'utf-8) 他に default-file-name-coding-system もあるのだが， describe-variableすると， This variable…

PARなるものを使うと，perl script が，perl をインストールしていない環境でも動く，Tkを使っていてさえ動く，という話を聞いて，使ってみようと思った． インストールは結構たいへん．何回か失敗した後， http://hardsoft.at.webry.info/200801/article_4.…

cygterm + putty を使っている． やはり，黒地に白だと読みづらいので， 白地に黒にしたいと思う． ついでに，vt100 の設定で2色というのはあんまりなので，256色使える ようにする． 白地にする: 設定→ウィンドウ→色 で，「システムカラーを使う」にチェッ…

ということで，sugarsync も使ってみた． こちらもイマイチ．permission については，やはり同期されない．もっとも，勝手に書き換えられてしまうことはないので，その点はdropboxよりもマシだが． 問題なのは，負荷が高いこと．sync manager(だったけな)を…

他人から，メールでは送れないほどの大きなファイルを受け取りたいときも，dropboxが使えるようだ． サインアップはしてもらわなくてはいけないけれど，クライアントプログラムのインストールは不要で，webブラウザからアップロードできる． 手順を書いてみ…

dropboxを使い始めた． なかなか悪くなさそうである． ちょっと問題なのは，対象ディレクトリが「My Dropbox」という名前で決めうちされていること． 場所は自由に選べるのだが，フォルダ名はこの名前でないとだめらしい． 回避手段として「シンボリックリン…

東大病院の人間ドックを受診した． 早く着いたので，1階のベンチで作業をして時間調整してから行ったのだが， 遅い順番になってしまった．どうも早く行って受付をした方が 良いらしい．まあ，待っている間仕事ができた(計算機も使えた)ので， 別段問題はない…

三洋のワイヤレスマイク HM-W300 を使っている．なかなか感度良く録音でき て満足しているのだが，ACアダプタがイマイチ．マイクも受信機も充電して使 うのだが，1つのACアダプタでこれらを同時に充電することになる．まあ もちろん，充電してから使う，とい…

急に，base64エンコードの結果をデコードしろと言われて焦ったが，インターネットとはありがたいもので，ちゃんとスクリプトが転がっていた．しかもたったの3行． #!/usr/bin/perl -w use MIME::Base64; while (<>) { print(decode_base64($_)); } しかし，…

active perl についてくる wperl というのを使うと，DOS窓を開かないで perl (Perl/Tk) で書いた MS Windows アプリケーションの実行ができる．たとえば，ショートカットとして 作業フォルダ \full\path\to\directory\where\script\resides リンク先 \full\p…

Meadow の中から ispell-buffer だの ispell-region だので起動される aspellが，とても遅いことについて．以前から遅くていやだったが，まあそういうものなのだろう，と，あまり考えていなかった．今 日，コマンドライン版(cygwin)からaspellを起動してみて…

初期設定に戻す 職場の ThinkPad X61 がどうにも不調なので，思い切って，工場設定に戻すことにした． 方法: http://www-06.ibm.com/jp/domino04/pc/support/Sylphd03.nsf/jtechinfo/SYJ0-0190EE1その後の設定については，http://gcg00467.xii.jp/fswiki/wik…

CDからの曲の吸い出しは CDex を使っており，ID3 tagは，SuperTagEditor で適当に編集してから，iTunesに入れている． ところが，編集しても，フィールドの編集結果をiTunesが認識してくれない，ということがある． よくわからないのだが，そういうときに，…

CPRM付きの番組をビデオ録画する時の話．DVD-R の VRモードにするのだが，これをPCで，WinDVD9 を使って再生する場合，ファイナライズをしないとだめらしい．

inkscape に textext を入れると，LaTeX でイメージを生成できるようになる． いや，前にも入れたはずだが，家のマシンには入っていなかった． そのままだと動作しない． http://www.empitsu.com/wp/?p=411 に修正の仕方が書いてある．感謝．しかし，この通…

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であるはずなのだが，いつのまにか書き換わっている． いろいろ調べた． ま…