家族が帰ってくるので、実質の最終日でした昨日は、朝から千葉方面に 遠征。227km走って17.4km/lの燃費、なかなかよい。ではなくて昼過ぎには 帰って、後半の補強2 やったこと 様相論理(HMLでいいから)の説明をどこかに 特に最大、最小不動点のところは補強…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。