noneless
This account is not set to public on notestock.
This account is not set to public on notestock.
油断してるけど
1.5h + 1.5h by 24:00
2h+ by 16:00
3 heavy by tomorrow 24:00
があることを見よう
This account is not set to public on notestock.
しかし転送速度が遅いのでなし(?)
回線は700MbpsぐらいでるけどいつもFreeFileSyncが遅い
そもそも20TBも一時保存できる環境がこちらにないか
This account is not set to public on notestock.
ヒステリシスの綴りがわからなかった
語源は違うらしい
https://en.wiktionary.org/wiki/hysteresis
https://en.wiktionary.org/wiki/hysteric
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
Coq以外あるんだ(OCamlでかかれたHOL)
https://www.cl.cam.ac.uk/~jrh13/hol-light/index.html
https://github.com/gilith/hol-light
Kepler conjectureの形式的証明に使われたらしい
https://www.cambridge.org/core/journals/forum-of-mathematics-pi/article/formal-proof-of-the-kepler-conjecture/78FBD5E1A3D1BCCB8E0D5B0C463C9FBC
https://docs.ankiweb.net/platform/windows/installing.html#qt5-vs-qt6
Qt 5 -> Qt 6になったらしい(Qt 5バージョンもある)
wingetでアップグレードしたからわからなかった
This account is not set to public on notestock.
https://docs.ankiweb.net/math.html#packages
Anki latexのpreambleも編集できるからTikZお絵かきできるらしい
https://rs.luminousspice.com/anki-latex-guide/#i-4
This account is not set to public on notestock.
私の記録は26桁でした。(TIME:14秒) #円周率チャレンジ http://altarf.xyz/pi2/
#Worldle #512 3/6 (100%) 🙈
🟩🟩🟩🟩⬜↖️
🟩🟩🟩🟩🟨↖️
🟩🟩🟩🟩🟩🎉
https://worldle.teuteuf.fr
JuliaHEP/LandauDistribution.jl: Extending `Distributions.jl` to include Landau Distribution based on CERN ROOT's implementation. https://github.com/JuliaHEP/LandauDistribution.jl
This account is not set to public on notestock.