ようやく書きあがった．ページ制限に悩まされて，すごい調整を行なった．

最近右腕が痛いな〜と思っていたけど，実はThinkPadのトラックポイントが原因かもしれないと思った．ThinkPadを使い始めたのが2001年なので，知らず知らずのうちに右腕と右中指に疲れが溜まってるのかもしれない．