2024.05.30
https://gyazo.com/a34e7d014af2881fe7a5ab3e949bfc0d
思った
かなりブルアカっぽい
メモ
やった
メモ
Leanで集合a ∪ b ∪ c ∪ d = a ∪ c ∪ b ∪ dを示す（もっと複雑な場合もある）の自動化出来ないのか？とと思っていたが外延を取ってaesopすればいいことを知った by ext; aesop
思った
核反応を伴う一部の天文学的現象はその現象が起こるために必要な天体の質量や半減期の関係から、大体どのくらいの時間が経過すると次の状態に移行するのかが割と分刻みとか日刻みぐらいの正確なスケールで人類に知られているらしく、ちょっとおもしろい ケイ素燃焼過程は太陽の8-11倍以上の質量を持つ大質量星で起きる核融合過程である。ケイ素燃焼過程はわずか2週間の過程である。 メモ
太陽系の惑星の太陽からの距離は簡単な数列で表せるという法則。 しかし、その後発見された海王星はこの数列の予想から外れており、現在では、この法則に物理的根拠はなかったと考えられている。
メモ