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

トゥート : 9033(+35)
フォロー : 47(0)
フォロワー : 58(0)

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

#donhaialert

Axiomatize

1!=0

このアカウントは、notestockで公開設定になっていません。

自室の次に滞在時間が長いのがトイレ

このアカウントは、notestockで公開設定になっていません。

ゴキブリ見つけても何すればいいのかわからないので放置

触れるのに抵抗感はあるので干渉しない

=が組み込みなのが問題だと思って自分で定義したら反射律対象律推移律を定義し忘れていた

A = BがA->B/\B->Aだったかも

興奮してきた！

ドモルガンの証明で悩んでたけど直観主義だと証明できないんだった

https://stackoverflow.com/questions/44942643/how-to-make-use-of-a-hypothesis-containing-forall-in-coq

大仏造立の詔は隋のやつを参考にして作ったが、易姓革命に関する項目は削除されているとか

一段落した

5時間くらい集中できた

結構コツつかめた

このアカウントは、notestockで公開設定になっていません。

哲学の方が政治思想よりも広いように感じている

政治思想は大体合理主義(？)

というよりは社会主義も資本主義も競争するんだなと思った(前者はそれに飲まれているだけな可能性もありそう)

^_^

サイズ変更できてないもの

ふるいふるい

@ruuumia 唾液を数十mL吐く

コミット済み40.9GBとかになってる

昼ごはんたべよう

414

Prolog(not -gue)

LINEで(over)議論に臨む

ワニの涙

https://ja.wikipedia.org/wiki/ワニの涙

安住の地にいる

「数字とはリンゴである」
論が展開されてる

従兄弟との科学的知とは何かという話で出てきた

嵐
https://ja.wikipedia.org/wiki/科学

https://ja.wikipedia.org/w/index.php?title=%E7%A7%91%E5%AD%A6&diff=prev&oldid=56718545
2015年からあった

そういえば図書館の検索端末Chrome OSだったな(デスクトップ？)

ホーン

干しいかも欲しいかも