奇怪的訊息

剛剛執行 aptitude 居然出現了不一樣的訊息

sudo aptitude 
哎唷! 得到 SIGSEGV, 垂死中..
程式記憶體區段錯誤 (core dumped)

第一時間讓我覺得是不是中病毒了。後來想想可能是翻譯的人的巧思，還蠻逗趣的。

數學歸納法

早晨整理雜亂的書桌，無意之間翻了一本華羅庚先生所寫的『華羅庚科普著作選集』。裡面有一個章節專門講數學歸納法。我在高中時也學過這個方法，不過好像高中老師用了不到二節課就上完了。華羅庚先生這本書的內容都是從最簡單的開始講起。我想高中生應該都能看懂。

其實數學歸納法的主要精神是如何將所有的正整數描述出來。不可否認地，在現實中我們沒有辦法將所有的正整數一個接著一個地數過。但只要有一些規則，那麼我們就能夠利用推理的方式來和其他人達到共識。

另外，華先生也提醒我們可以利用數學歸納法，來幫助我們思考一些複雜的問題。例如帽子問題中是三個人，那我們可以先考慮二個人的情形，再看看所得到的解是不是放到三個人的情形也能成立。

重新安裝 ＋ 雙螢幕設定

蒐集了很久的資料，昨天晚上終於付諸行動。先將所有的資料備份，然後就重灌了。至於重灌的理由之前已經提到過。安裝的過程中唯一碰到的問題就是 tw.archive.ubuntu.com 這台機器很難連的上去，所以有些語言的套件就無法安裝。

初步安裝完成後，重新啟動，剛開始時一切正常，但是到了 X 視窗啟動後，就出現問題了。一個螢幕顯示 “Out of Range" ，另一個螢幕則是一片漆黑。知道是設定上的問題，不多說直接切換到文字模式。首先，更新套件庫，這一步花了很多時間。接著安裝 nVidia 的驅動程式

sudo apt-get install nvidia-glx-new
sudo nvidia-xconfig

接著直接手動修改 /etc/X11/xorg.conf。先加入垂直和水平頻率

Section "Monitor"
    Identifier     "CMC 19"
    Option         "DPMS"
    Option         "HorizSync" "30-82"
    Option         "VertRefresh" "56-76"
EndSection

接著再加入雙螢幕的設定

Section "Device"
    Identifier     "nVidia Corporation NV43 [GeForce 6600]"
    Driver         "nvidia"
    Option         "TwinView"
    Option         "MetaModes" "1280x1024, 1280x1024; 1152x864, 1152x864; 1024x768, 1024x768"
EndSection

存檔，重新啟動，一切正常。終於可以使用雙螢幕了。

安裝 Acrobat Reader 與中文 FontPack

首先根據 Ubuntu 的非官方 Starter Guide 將 sources.list 中的套件庫補齊。這樣就可以直接安裝

sudo apt-get install acroread

但是這個套件不能顯示那些沒有內嵌中文字型的 pdf 檔。這是因為少了 FontPack 這個部分。要到 Adobe 的官方網站去下載。選擇適當的版本及平台，再選擇要下載正體中文的套件即可。其實其它的語言套件都是一樣的，所以只需要下載一個就可以了。

然後將下載的檔案解開

tar xvfz FontPack708_cht_i386-linux.tar.gz

這時會出現一個 CHTKIT 的目錄，裡面有三個壓縮檔，我們只需要 LANGCHT.TAR 和 LANGCOM.TAR 這兩個壓縮檔。切換到下列的目錄

/usr/lib/Adobe/Acrobat7.0/Resource

再將上述兩個壓縮檔解開就可以了

tar xvf ~/CHTKIT/LANGCHT.TAR
tar xvf ~/CHTKIT/LANGCOM.TAR

Emacs 22.1 released

Emacs 22 終於推出了，GNU 終於確定 Emacs 22 要使用哪一個版本。這個版本有支援 Gtk+，應該是我目前正在使用的版本，可以有好看的字型。看看 Debian 和 Ubuntu 近期是不是會將 Emacs 更新到最新的版本。

讀書(1)

看著書架上的圖書，突然興起該好好唸書的念頭。自從畢業後，就放鬆了許多。很多知識都不記得了。看著從前收集來的書，算一算也花了十幾萬，如果就讓它們靜靜的趟在書架上，實在是有夠浪費。

可是這麼多的書該如何讀呢？看來真得到制定一個讀書計畫，將書架上的書一本一本的讀完。當然要順便將筆記做好，以後才能知道自己要用到的知識該到哪去找。另外，那些佔空間的雜誌，也應該將有用的部分整理出來，然後就可以將雜誌裝箱封存了。書本實在太多了，書架都不夠放了。

這個讀書計畫，說實在還真得沒做過這麼大的，有幾百本書。記得高中做的讀書計畫很簡單，星期一念國文，星期二念數學，星期三念英文，、、、。結果從來就沒有徹底執行計畫，總是虎頭蛇尾，不了了之。主要原因應該是計畫不切實際和沒有正確的讀書方法，最重要的是決心。先研究要怎麼作讀書計畫吧。

方程式的環境

LaTeX 提供了最基本的方程式環境（就是會將數學式子單獨放在一行的那種），分別是 equation, eqnarray, eqnarray*。 equation 是單行、有編號的數學環境， eqnarray 是多行、有編號的數學環境，而 eqnarray* 是多行、無編號的數學環境。下面有兩個例子

\begin{equation}
  1+2 = 3
\end{equation}

\begin{eqnarray}
  \cos 2 x & = & \cos^2 x - \sin^2 x \\
  & = & 2 \cos^2 x -1 \\
  & = & 1 - 2 \sin^2 x
\end{eqnarray}

要特別說明一下 eqnarray，我們用兩個 & 夾住的二元算子是在方程式中要對齊的地方。但如果我們要對齊的地方不是二元算子的話，那可能會看起來非常地奇怪。

所以，我們要特別介紹由美國數學協會所推出的文件類別 amsart, amsbook, amsproc。在這些文件類別中，關於數學方面的設定是放在 amsmath 的套件中，可單獨使用這個套件。

\usepackage{amsmath}

amsmath 所提供的數學環境主要常用的是 align*, align, gather*, gather。這幾個環境可以放一行的方程式，也可以放二行以上的方程式。align, gather 是有編號的，每一行一個號碼，而 align*, gather* 則是沒有編號。在 align 的數學環境中，方程式是可以隨自己的意思對齊方程式，對齊的方法就是使用 & 。注意，在這裡只需要一個 & 就可以了。

\begin{align}
  x^2 + y^2 & = z^2 \\
  x^3 + y^3 & < z^3
\end{align}

在 gather 的數學環境中，每一行都是居中對齊，所以不需要 & 這個符號。

\begin{gather}
  x^2 + y^2 = z^2 \\
  x^3 + y^3 < z^3
\end{gather}

虛擬機器 VirtualBox

自從 Ubuntu 7.04 發佈之後，就常看到 VirtualBox 的討論，讓我以為 VirtualBox 為 Ubuntu 內建的軟體。兩天前，心血來潮想試試看 VirtualBox 的效能如何，卻發現在套件庫中找不到 VirtualBox 。上網查了一下，才知道要自行下載套件，還好有編譯好的套件可供下載。

原本想說在 Ubuntu 上安裝 Windows XP 或 Windows Vista ，所以就去和學校的網管問了一下關於在家中安裝 Windows 的規定。以學校和微軟簽的授權，教職員只能在家中安裝一套 Windows XP 或一套 Windows Vista。如果有二台電腦的話，另一台要自己購買。另外 Vista 的授權就更嚴格了，學校要設置授權認證的伺服器來管理學校內部的電腦，而且每半年要更新授權碼。至於在家中的電腦，學校只購買一百多個單獨的授權碼提供給教職員在家使用。

聽了這些規定後，我就不想使用 VirtualBox 來安裝 XP 或 Vista 了。後來我在學校研究室的電腦 (Windows XP) 上使用 VirtualBox 安裝了 Debian (配置 256MB 的記憶體)，執行起來還蠻順的。研究室的電腦是公用的，利用 VirtualBox 就可以跑自己熟悉的作業系統。

檔案管理

電腦用的越久，檔案就越多。有時要找從前的檔案，常常不知放到哪裡去了，到最後找不到的機率還是蠻高的。而且有時更新電腦或是重新安裝作業系統時，讓我深深地覺得自己沒有在這方面仔細考慮要如何管理我的電子檔案。

看來自己應該去修一下這方面的課，畢竟這是一門學問：資訊管理。我想應該要使用單獨的一顆硬碟來存放個人檔案。可以使用的電腦有好幾台，不這麼做可能會每台都有檔案，但每台的資料都不太一樣。

桌面特效

Ubuntu 7.04 預裝了 compiz 套件，從網路上得到的訊息是這個套件和 beryl 本來是同一個專案，後來不知道為了什麼而分道揚鏢。聽說最近又要整合在一起了。

今天將工作場所的那台機器的桌面特效啟用，就直接可以使用 3D 的效果。完全不需要額外的設定，看來 Ubutnu 整合的相當不錯。不過，一開始忘了將桌面個數調整為 4 個，就把將桌面放在正方體的選項打開，雖然一開始還正常，但發現換到別的桌面居然還能在下面的 panel 看到原來的桌面所開啟的視窗，在好奇心的驅使之下就按了那個視窗，是可以跳到那個視窗，可是卻不能切換到其它視窗了，而且 gnome-panel 也掛了。只好強迫離開 X 視窗。不過再次登入後，只剩一個桌面。最後將該選項取消後，再將桌面設為 4 個，再重新打開該選項，就完全正常了。

X.org 7.2 無法正常開啟

升級 Ubuntu 到 7.04，之前兩台桌上型的電腦均沒有問題，其中一台有安裝 beryl 也能正常工作。所以最後就剩下筆記型電腦 Portege M500。經過約二個小時的時間終於將系統整個升級到 7.04，結果重新開機之後就發生意想不到的事情，無法進入 X 視窗。這種情形和之前 xorg.conf 設定錯誤的情形是不一樣的，通常 xorg.conf 設定錯誤的話，大約最慢 2 分鐘後就會告訴我們說有錯誤，要不要看錯誤的訊息之類的話。可是這次是一開始出現有色的背景後，就先跳回 tty1 又立刻跳到 X 視窗，然後滑鼠變成一個轉盤不停地轉，接下來就會聽到風扇狂轉的聲音。

明明在 6.10 跑得好好的，怎麼在 7.04 就不行了。查了一些資料將 xorg.conf 改來改去，都沒有變法。後來拿 7.04 的 LiveCD 開看看卻又可以，所以就重灌了。因為 M500 內幾乎沒有什麼個人資料，所以沒做什麼備份。用了不到一個小時的時間，就完成了一個初步的系統，視窗的開啟也沒有問題。仔細地看了一下 xorg.conf 的設定，發現只是多了垂直和水平頻率。其它幾乎都是一樣的。

到現在還不知道是什麼原因造成的，難不成是因為我在之前有更改過 BIOS 的設定。但是還是很奇怪，因為更改 BIOS 的設定是在一個星期前，在更新之前還能夠正常地開啟 X 視窗。

升級到 Ubuntu 7.04

本來想多等一陣時間，但過了一個星期好像沒在網路上看到太多地抱怨，所以就先試著升級其中一台機器，下載套件的速度還算蠻快的。升級過程沒有出現錯誤訊息，看來升級過程很平順。再來就是找些時間將其它的機器升級，對了還有一台需要重新安裝，因為在 emacs-gtk 無法使用 xim 類的輸入法，又找不到在哪裡更改設定(從來都沒有改過設定，但是就是和其它的機器不一樣)，所以只好再重新安裝了。

當機了

今天一大早將機器打開，看了一下影片，沒想到過了約二十分鐘後，整個畫面就停住了。本來只是以為播放器掛掉而已，移動滑鼠按右鍵沒反應，不信邪再按左鍵還是沒反應，這時才想可能是當機了，按按鍵盤沒有任何燈號亮起，確定是掛了。於是將電源關掉，再重新開機。

不過，現在想一想，覺得不該這麼快就將電源關掉，應該要先用別台機器進入這台機器。因為我覺得應該只是 X 掛掉而已。

自從安裝 beryl 之後， X 就不是很穩定，這次比較嚴重。我想可能還是不要用 beryl 好了。

USB 鍵盤

雖然覺得新買的 Laptop 不錯用，但是唯一美中不足的是，我還不太習慣使用內建的滑鼠，忘了這種裝置叫做什麼，就是那種用手指在一個平面上移來移去的。所以我就買了一個外接滑鼠。不過在打字的時候大拇指常常會去碰到那個板子，就將游標移到別的地方，非常地麻煩。

今天特別去買了一個超薄的 88 鍵鍵盤。接好之後開機還算正常，可是在輸入帳號以後，密碼怎麼按都沒有反應，好像是兩個鍵盤起了衝突。後來試著先不裝 USB 鍵盤，等開機登入後再看看要如何更改 Xorg 的設定。可是用 Google 搜尋了一下沒找到設定的方法，卻發現有人和我有一樣的問題，但是好像沒有回答。無奈之下，只好先插了再說，沒想到居然就可以正常使用了。

這篇文章就是利用外接的鍵盤和內建的鍵盤輪流打出來的，看來似乎沒有什麼問題，不過我想還是應該要找出正確的設定會比較好。

桌面、佈景

上個星期看到這篇 Gnome 桌面時裝展，覺得很有趣。不過由於該作者比較偏好 Mac 類的佈景，並沒有打算跟著做。上了 www.gnome-look.org 看看有什麼好看的佈景可以使用。說實在地，到後來有點累了，因為 beryl 和 gtk2 的佈景一直搭不起來。後來覺得 beryl 自帶的佈景也蠻不錯的，選了 Wombat_Gray 之後，本想再找一個適合的 gtk2 佈景，這時突然注意到在 Wombat_Gray 的描述中有提到 Use with PlatinUm, Polycarbonate-0.6，所以就選擇了 Polycarbonate，感覺真得不錯。之前真的是浪費太多時間了。

之前使用黑色系的佈景也不錯，只是上網時有些網站在輸入的欄位會變成黑底黑字，或白底白字都看不出來輸入了什麼。所以還是換成淺色系的會比較好。

Ubuntu 7.04 正式推出了

終於推出新的版本了，不過按照以往的經驗，大約要再等一個月左右。那時候無論是抓檔的時間或是一些相依性的狀況都會比這一、二個星期來的好。

先測試一下數學式子

安裝了 ASCIIMathMLwFallback.js 看看數學式子的效果如何。

`sin^2 theta + cos^2 theta = 1`, `\int_1^2 2x = x^2 |_{x=1}^{x=2} =3`.

更新： 效果似乎不錯，好像比 ASCIIMathML.js 還好。

終於安裝了 Beryl

幾個月前就常聽到這個可以 3D 旋轉桌面的東西，說實在一開始並不知道 Beryl 是一個視窗管理員，也就沒有特別注意。雖然說我的設備是符合要求的，但是還不是很動心。直到幾天前看到《Download!》四月號的介紹，才了解原來 Beryl 是一個 3D 的視窗管理員，這才試著按照雜誌上面所寫的步驟將 Beryl 安裝上去。果然一次就成功了。Beryl Wiki 也有詳細的安裝說明，例如 Install Beryl on Ubuntu。現在支援的顯示卡比較多了，不過設定的方法都不一樣。要視顯示卡而定。我在桌上型電腦和筆記型電腦 (Toshiba Portege M500) 都安裝成功，一個是看 nVidia 的安裝方法，一個是看 AIGLX 的安裝方法。

安裝好了之後，就是安裝佈景主題： Beryl Emerald theme 我選擇了 Vista-Black 1.1，而 GTK 2.x Theme/style 我選擇了 FC-Fino。感覺還不錯。如果對 Vista 這類佈景有興趣的話，可以參考 Vista-Linux 這個網頁。

MikTeX 2.6 Beta 2

剛剛看了 MikTeX 的官方網站，發現該網站居然釋出了 2.6 Beta 的安裝程式。這讓我非常的驚訝。 MikTeX 釋出版本的風格是從不會將 Beta 版提前釋出，而且網頁上也說明現在正式的版本還是 2.5。看了 2.6 的釋出說明後才了解，這一切都是因為 Vista。

所以說，如果是使用 Vista 的作業系統的話，那就要安裝 MikTeX 2.6 以上的版本。目前還用不到 Vista，所以還不想去更新為 2.6。畢竟 Bata 版還不是那麼穩定。

想換電腦了

時間過得真快， Ubuntu 7.04 已經於上星期釋出 Beta 版了。大約只要再等一個月就可以進行升級了。前一陣子天氣比較熱，電腦的 CPU 風扇轉速始終維持在最高速，所產生的噪音非常地嚇人。幾乎讓我有總電腦要解體的錯覺，也興起了換電腦的念頭。

如果要換電腦的話，我想這次我會考慮伺服器等級的電腦。就我的認知中，伺服器以耗電較低、產生熱量較少為其特色。雖然效能不是最頂級的，但至少夠穩定。我想這對我來說，已經足夠了。

當初趕時髦，組裝了一台 CPU 為 LGA775 3.2GHz 的電腦，用了一陣子就後悔了。因為 CPU 產生的熱能實在是太驚人了，開機不到三十秒電腦自己偵測到的溫度就已經超過 80 度了。稍微啟動一下程式就聽到風扇狂轉的聲音。我在猜想在這麼高溫的狀態下， CPU 的效能可能發揮不到百分之五十。

其實我也想過安裝水冷系統的可能性，不過看到報導提到水冷系統的缺點讓我有些怕怕。要再想想看。也許直接用工業風扇對著電腦吹也是一個方法。