Michael Sipser の本は証明のモチベが必ず書いてあって示した後は具体例も豊富に示されててオイシイムシャムシャ

有限なのに Kleene 閉包(無限集合)を受理したりする計算理論って無限を有限に落とし込む話ばかり、いやもっというと数学って無限を有限に落とし込む話ばっかりだよな

決定性有限オートマトンと非決定性有限オートマトンが等価であることを知り、その結果いろんなことがわかった

Claude Shannon さん、ガチ天才だな

Shannon の通信路符号化定理をみた

今やってる心理学の取調官みたいなやつバカな警察官が見て真似したりするのかなウケる

掛け算の順序問題は12年以内に出生主義者だったことがある人たちと、そういう人らとビジネスしてる人たちが大量に関わってくるので最悪だろ

掛け算の順序問題、本質的に出生主義者が関与してくるのでマジでどうにもならない。数学や教育の方法論について安心して議論するためにも犯罪者は逮捕すべきだろう。

しょうじき全然一般相対論わかってないので特殊人です

恋愛、先物取引みたいなもんですからね

今日一番の成果はオタクと鼎談したところ「山崎はるか思想派」というワードが発明されたことですね

漏れみたいな常時臭いタイプのオタクは厳しい

ある特定のトピックの話する時だけ急激に臭くなるというメリハリがオタクが女にモテる秘訣なんだよなと壁に向かって語りかけてるよ

ave;new のなんかのイントロっぽいと思ったんだけどなんだろう

古いものを表示
Fedibird

様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。