No Such Blog or Diary
ちと整理を
- 2007-01-05 (Fri)
- 一般
式の数が多すぎるのでまとめられる部分をまとめて整理する．が，ひじゃうに眠いので打ち込みは寝てから．
- Comments: 0
- TrackBack (Close): -
検証用コードは書けた．次は
- 2007-01-03 (Wed)
- 一般
どうにかごまかして検証コードを書けた．ということで，次は本文に式を移して説明と例を入れるべし．だがその前に，くしゃみばかりしているので寝る．風邪というよりアレルギーなきもしてきた…
- Comments: 0
- TrackBack (Close): -
Haskell ではまる
existential type でバインドされてて外側からは見えない型が二つあって，それらが同じ型である場合しか考えたくないのだがコンパイラにはそんなこと分からず… 動かん．そこの型を明示的に持てばこの部分だけは問題解決するが他の部分で… とりあえず計算のシミュレートさえ出来れば良いのでトリックでごまかす．
- Comments: 0
- TrackBack (Close): -