No Such Blog or Diary

紅葉がよさ気な感じになってるだろうかと思って行ってみたけれど，ぶっちゃけまだ早かった．

少しは紅い．

でも基本的には緑．

ないし半端な色．

変則的に一部だけ完全に紅くなっている面白いのもいたり．ちょうど葉脈のところに後ろから別の葉っぱが触れてるので，そのせいでその先だけが紅くなったのかもしれない．

とりあえずもう少し紅葉が進んだ頃に朝と夜のライトアップとを見に来てみたい気がする．

閑話休題．

8時45分頃に着いたら山の上の臨時駐車場行きだった．駐車場もシャトルバスも無料だけど，シャトルバス待ちを考えると下の駐車場に止められるくらいに早く来るべきだっかも．

9223372036854775807 という数を見て，たぶん 2^63 程度だろうなと思って Google に聞いてみたら……

偶数 - 奇数 = 0

内部的に double でやってたりすると一番下の方の桁が落とされる（切り上げられる）ので綺麗に 0 になっちゃったんかね．

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

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

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

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

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

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

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

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

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

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

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

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

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

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