No Such Blog or Diary

2週間ほど前に認定証の申請を送っといたのが届いた．めでたし．

何気にラミネート加工されてたりしてちょっと格好良い？　でも額に入れるには邪魔だったりするのでちょっと残念．

さて，これで残すは中部と関東．でも中部はとても時間がかかるっぽいので今年の全国制覇の申請には間に合わんかもな……（作戦ミス）

やっとこさ納車日が確定できるようになったらしいので都合の良い日を伝えたら，「仏滅だけど大丈夫です？　気にしません？」と聞かれた．なるほど，世間的には納車日の六曜を気にするのか．

調べてみると，やっぱ大安に納車するのが一番人気っぽい感じで，その後に友引で先勝だそう．仏滅・先負・赤口は人気がない．

自分としては「仏滅は古いものが消えるから新しい事するのによい」という解釈を採用しているので，仏滅に納車で問題ない．先負も午後ならいいんじゃないのと思う．でも赤口だけはどうも嫌なので避けたいところ．

だがしかし，世間的には友引で OK ってなってるけど，「友引」は音的に「友轢き」になるのでビミョウな気が．車に関する日としてはあまり良くもないんじゃないかなぁ．

なお，今の車の納車日は 2013年1月26日で，調べたら友引だった．幸いにしてまだ誰も轢いてないので気にしなくて良いかも知れない．

閑話休題．

天赦日・一粒万倍日・不成就日とかもあるっぽい．前者2つは良い方，最後のは良くない方．でもこれらは重なったりするので面白い．今年の9/8はこの3つに大安も重なった謎日だったらしい．

スマホのマリオカート．昨日から配信中？　とりあえずスーファミ版を現役世代としては遊ばざるを得ない．

で，なかなか難しい．スマホ用にインターフェースが単純化されていてアクセル自動でハンドルのみなのだけど，逆向きにドリフト開始しちゃった時のリカバリが難しい．

「Haskell で typeclass を使う例を示せ」と言われて考えるも，どこかしら無理が生じるという罠にハマる今日このごろ．

「もらった式の型を文字列で返す」という関数 getTypeName :: a -> String を備えたクラスとかイイんじゃねとか思ったけれど，リストを考えると空リストで悩ましいことに気づいた．要素がないので getTypeName に渡すべき a 型の式がない．ScopedTypeVariables を入れつつ where x = x :: a とすれば a 型の x が使えるようになるのだけど……　ビミョウ．

「何でもかんでもリストに flatten するぜ」な型クラスを考えたら multiple parameters で functional dependencies 使わんとあかんし……

「何でもかんでも和を取るぜ」な型クラスを考えつつ「文字列のときには "one" って書いたら 1 だと思ってほしいな」とか思ったら String = [Char] だから [a] のインスタンス（要素和を取る素直なもの）と被って {-# OVERLAPPABLE #-} とか書かなきゃならなくなるし……　（一番上の例でも生じるけど）

「〇〇というデータ構造」というクラスだと〇〇が理解できないというオチが待ってるので悩ましい．ヒープくらいならなんとかなるかな……

など，とても悩ましい．

久々に講義でしゃべる．疲れた．

だがしかし，昼休み挟んで2限連続って時間割ってのは……　どうしてそうなった？

明日の準備が終わらない．そろそろ 9時間連続稼働だけどまだ終わらんとは面倒くさい．当たり前にやっていることの説明ほど難しいものはなく，「歩き方を説明しろ」と言われても説明に困る感じで説明しにくい．

来週以降の分はそれほど悩まずに済むといいな．