家族が帰ってくるので、実質の最終日でした昨日は、朝から千葉方面に
遠征。227km走って17.4km/lの燃費、なかなかよい。ではなくて昼過ぎには
帰って、後半の補強２
やったこと
- 様相論理(HMLでいいから)の説明をどこかに
- 特に最大、最小不動点のところは補強しないとわからんずら
- 全体の整合性、特に同期並行、同時実行、同期並列、もう無茶
- アービターの部分の補強（参考文献でいいから）
やり残したこと
連休中にやろうとおもった範囲はなんとかだ、それにしても午前身体をつかって
午後頭を使うと夕方はボロボロにつかれて、なにもできない。
