やったこと

設計は難しい

難しい。コードを書いてみるとダメだったりするのでどうにかしたい。

集中力が切れて新しく考える余力が無かったのでKleene Algebra with Domainsを読んでいた。

Kleene Algebbra with Domains

久し振りに読み返したらかなり理解度が高まった。いい加減Kozenのテスト付きクリーニ代数の論文とか読もう。

ドメインを導入する動機が、テスト付きクリーニ代数はテストとしてクリーニ代数に部分代数としてブール代数を考えるのだけど、テストとテスト以外が分かれてしまって良くないので、ドメインというテスト以外(を含む全体)からテストへ変換する演算を考えるのだということをようやく理解した。
もっと早く理解して。

普遍代数

『代数学入門』としての普遍代数学を読んでる。落ち着いて読むと意味は分かるのだけど、油断してるとすぐに見失うので難しい。ゆっくりやっていきたい。