家にいるのも飽きたが...

Ahgda は、

＊　あ、できた
＊　やっぱりダメだ

のループをやってるみたい。でも、少しは進んだかな〜　Agda は証明を自分の頭で考えると言うのとちょっと違うので、風邪ひきの時とかに良いようですね。

まぁ、あんまりがんばらない方針で。

今までの経験だと、鼻水は当面抜けないので、どっかで見切りだな。