No Such Blog or Diary

普通の Haskell ソース(.hs) だと下のような {-# LANGUAGE ... #-} をファイルの頭に書くのだけど，.lhs でそのまま同じに書いといたら ghc が認識してくれなくて困った．

{-# LANGUAGE FlexibleInstances,MultiParamTypeClasses,FunctionalDependencies #-}

で，{- -} がコメントだから，コメントがデフォルトになってる Literate Haskell では # LANGUAGE ... # と書くのか？　とかアホなことをしつつ，最終的にプラグマはプログラムの一部なんだから頭に > つけなきゃ認識されないよなとかいうことを理解した．

ということで，こう書けばよかった：

> {-# LANGUAGE FlexibleInstances,MultiParamTypeClasses,FunctionalDependencies #-}

今まで Literate Haskell でプラグマが必要なプログラムなんか書いてなかったのでアホなことに躓いた．

「12日に会議があるから出席してね」というメールが来たので予定に「12日会議」と代入しておいた．

その後，「ごめん11日だったわ」というメールが来たのだけど，単一代入なので上書きとかされなかった．

つまり，会議開始15分前に来たリマインダメールを会議開始後10分に見て，見事に遅刻したという．

なんだろ，確かに日付間違ってたメールが来てたのを見た記憶があるのだけど，予定日時の記憶の方は上書きされなかったっぽい．残念．

型推論器を実装しなければならない状況であることがよく分かった．とりあえずユニフィケーションを実装しにかかる．

論文の改訂版が来たから再査読よろしく，という連絡が来たのでオンラインのシステムから論文をダウンロードしてみたら，内容が完全に以前の版と一致．著者からのレスポンスでは内容を直したと言っているので，どうも著者が間違って古いのをアップロードしたようだと返してみたら，「私がアップロードを間違えました（秘書）」とかいうオチが待っていた．

完全にオンラインでデジタルに処理されてるんだと思っていたのだけど，実は微妙に人間というアナログなものが間に入ってるとか．何となく前にもこんな風にアナログってたことがあったな．あれはオンラインでパーツを注文した時だっけ．デジタル処理してれば無かったであろうパーツ番号の数字1文字間違い．

"人間入ってる"なオンラインシステムって実際どの程度あるのだろうか．

天気予報曰く「曇り／雨」．実際の空曰く「雲の切れ間から日が差しとる」

ということで，近場の英彦山の方へカメラ持ってお出かけしてみた．

とりあえず r52 から R500 へ入って少し登ったところ，川を渡る橋の脇道の手前からその橋の周り．カラフルで丁度よいタイミングかも知れない．

そして龍門峡．こちらも色々とカラフルでタイミングがちょうどよかった気がする．

竜門峡の道の脇にある修験道場＋紅葉．

閑話休題．

竜門峡の入り口すぐの駐車場には職員専用駐車場との看板が．これを見て 100m くらい坂を登った先の R500 の脇にある駐車場に車を停めたのだけど，ぶっちゃけ気にしたら負けなのかも知れないと思った．

閑話休題．

龍門峡へ至る R500 の脇道には少なくとも2箇所から入れる．上流のしゃくなげ荘近くからと，下流のかじか庵の近くからと．今回は下流側から R500 を登っていったので先に現れる入り口はかじか庵近くの方で，何も考えずにでそっちから入ってみたら，道が酷かった．アスファルトで舗装されてるけどタイヤが嵌まれる幅の亀裂が道を縦に10mくらい走ってたりしてて．幸いにして亀裂が道路の端までは届いてなかったので跨いで通れたけれど，あそこはそのうち崩れて無くなるんじゃなかろうか．

ということで，龍門峡のすぐ近くまで車で行くならしゃくなげ荘近くから入るべし．

少し大きめの三脚とその他の小物類を一緒に注文したら，高さ 90cm の大きな Amazon の箱に普通サイズの Amazon の箱（空）が緩衝材として入ってきた．隙間が大きすぎるので紙の緩衝材では無駄が多いからだろうけど，分かってても中のダンボールを開けた時に何も入ってないのは非常に残念な気分になる．

いっその事小物をその中に入れてくれてればよかったのに……