日々の流転

λ. 『ウルトラダラー』 手嶋 龍一

ウルトラ・ダラー(手嶋 龍一) を読んだ。だいぶ前に「伊藤洋一の Round Up World Now」で紹介されていて、読もうと思っていた本。人物描写は微妙だと思ったが、内容はとても面白かった。そういえば、ライトノベルとかでないちゃんとした小説を読むのはずいぶん久しぶりだ。

λ. Agda2 on Meadow

darcsレポジトリからとってきたAgda2のスナップショットをMeadow3の上で動かそうとした。

README の記述は NTEmacs22 を想定したものになっていて、ucs-fonts と mule-fonts をインストールして設定する方法が書いてあったけど、それらのフォントは基本的にはMeadowのパッケージで入っているはずなのでその辺りは無視。 そうしたら、「File mode specification error: (error "No fonts match `-misc-fixed-medium-r-normal--18-120-100-100-c-90-iso8859-1'")」と言われてしまった。

仕方ないので、READMEの記述に従おうとしたが、Meadowだとフォント周りはNTEmacsと若干異なっている部分があるみたいで、どうもうまくいかない。 結局、.emacsに「(setq agda2-fontset-name nil)」と書き、agda-mode.elの以下の部分をコメントアウトしたら、解決した。

(if window-system
    (create-fontset-from-fontset-spec agda2-fontset-spec-of-fontset-agda2 t t))