No Such Blog or Diary

式の整理に時間喰いすぎたので本文がほとんど書けてない…　これから根性で書く．

式の数が多すぎるのでまとめられる部分をまとめて整理する．が，ひじゃうに眠いので打ち込みは寝てから．

頭痛くて寝てすごす．明日の準備もしなければ…

どうにかごまかして検証コードを書けた．ということで，次は本文に式を移して説明と例を入れるべし．だがその前に，くしゃみばかりしているので寝る．風邪というよりアレルギーなきもしてきた…

existential type でバインドされてて外側からは見えない型が二つあって，それらが同じ型である場合しか考えたくないのだがコンパイラにはそんなこと分からず…　動かん．そこの型を明示的に持てばこの部分だけは問題解決するが他の部分で…　とりあえず計算のシミュレートさえ出来れば良いのでトリックでごまかす．

例年どおり早朝に三島大社へ初詣．おみくじは小吉．抱きかかえられていたフェレットに反応する人間多数．バッグに入ってた猫に反応する人間皆無．ところで，このおみくじでは小吉と吉のどっちが上なんだ？