昨日のマストドンの活動は

トゥート : 3474(+41)
フォロー : 36(+1)
フォロワー : 38(+1)

でした。
https://donhaialert.herokuapp.com

#donhaialert

GeoGuesser見てたら酔った

寝てた(起きた)

もしかして
証明図←→トレース
適用する推論規則←→プログラム
？

でも入力の有無が

やはりべつの公理系を使えばいけそう

再考察するか

現像のやり方知らない

explorerがおかしくなってタスクバーも表示されないし名前を付けて保存もできなくなった

現在

こんなのあるんだ

ほう
どこだろう