作業メモ

今日も時間を縫って、土曜朝マック。壁は"Softeware Abstraction"の本の絵柄と同じ絵の内装なのがご愛嬌。

• 縦チェーン・横チェーンの修正をあわせた
• 性質の考察の追加

後者は予備審査のときからの進捗したものであり、これに基づいて、縦横チェーンの検証も深くできたとおもっているから、ここをアピールするようにつくならないといけないが、時間がないので、とりあえず整合性をあわせるのが今日のせいぜい。

それにしてもマックでの一時間は生産性が高いなあ。

土日に取り替えそうとしていたが、家族の用事が侵食してきてなかなか進めません、これは非常体制（睡眠限定モード）に移行するしかありませんかね。。。