日記を書く [・w・] はやみずさん

東京電力管轄内での節電にご協力ください
ヤシマ作戦:節電へご協力ください

2008-11-03

宣言的な言語

宣言的な表現とは,その手順ではなく「何をしてほしいか」を記述するもの。例えば今までの手続き的な言語では,コーヒーを頼むのに「お湯を沸かして,ドリッパーを用意して,コーヒーの粉を入れて…」と記述していた。これに対し宣言型の言語では,「コーヒーをお願い」といえばよい。処理手順に煩わされることなく,何をしたいかを記述できるのでプログラムの作成効率は上がる。

【PDC】関数型言語「F#」を標準装備,並列処理の記述を容易に - 組み込みソフト - Tech-On!

ねーよwwwwwwww

Let's note CF-W4にUbuntu 8.04入れた

「λかわいいよλ」で有名なところのはやみずのノートPCが、ヒンジ部分が崩壊してしまうという状態となったため、開け閉め不能で持ち運び不可な状態となってしまった。

そんなわけで、代替PCを手に入れるべく研究室のPCの墓場に潜り、使われていないLet's note CF-W4を発掘した。とりあえず何も考えずにOSにはUbuntuを入れたので、簡単にメモ。

ファイルシステム

上野氏がReiserFSがいいとか昔いってたので、とりあえずReiserFSにしてみた。

無線LANがつかえない

"WIRELESS LAN"スイッチがoffになっていたという基本的なところからハマった。onにしてみても、iwconfig & dhclient ができない。しかたないので、とりあえず有線で apt-get update & apt-get upgrade したらできるようになった。裸の8.04だとドライバがなかったのだろうか。

wpa_supplicant

Ubuntuの各種設定のGUIはなんか動作が怪しいので、できるだけCUIで設定することにしている。無線LANの設定もまた然り。/usr/share/doc/wpasupplicant/examples/wpa_supplicant.init-daemon を /etc/init.d/wpasupplicant にコピーして、実行権限つけて、適宜必要なところを書き換える。あとは、 /usr/share/doc/wpasupplicant/examples/ 以下にある適当な設定ファイルを /etc/wpa_supplicant.conf にコピーして、ctrl_interface_group に admin をセット*1して wpa_supplicant の動作テスト。うまくいったら、update-rc.d で起動時に wpasupplicant が実行されるよう登録してく。

俺々環境をもってくる

まず、git-coreを入れる。その後に、Dreamhost上においてある、dot filesやらemacs lispやらをgit cloneして設定スクリプトを走らせる。そうすると、.zshrc やら .screenrc やら .emacs やら .Xmodmap やら必要なもの諸々がセットアップされて準備完了。aptzshemacsを入れればもうそこにはいつもの環境が。

Firefox

VimperatorTab mix plusgreasemonkeydownload statusbar、Ubiquity あたりは外せないので即座にインストール。そのあと、グリモンのスクリプトは俺々環境のgitレポジトリにsymlinkを張っていつも使ってるやつはインストール完了。

Fn + F1/F2 (画面の明るさ設定)ができない!

Let's noteには有名な問題らしい。

http://www.netlab.cs.tsukuba.ac.jp/~yokota/izumi/panasonic_acpi/

からpcc_acpiの最新版を落としてきて、pcc_acpi_utilsのほうに書いてあるrequiredなライブラリ等をaptインストール。そのあと適当に make && sudo make install && sudo depmod && sudo modprobe pcc_acpi でOK。Fn + F? が使えるようになった。便利!

Ubuntu 8.10 にupgradeして発狂しかけた

NetworkManagerというやつが、wpa_supplicantを内部的に勝手に立ち上げているおかげで、自前で設定したwpa_supplicantの起動スクリプトと協調してくれない。しかたないからGUI無線LANの設定するかと思って慣れないGUIをいじいじしてみたら、WEPのパスフレーズという選択肢に騙されて1時間くらい無駄にした。

*1:これにより、sudo を使わなくてもwpa_cliからwpa_supplicantが操作できるようになる