noneless
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
油断してるけど
1.5h + 1.5h by 24:00
2h+ by 16:00
3 heavy by tomorrow 24:00
があることを見よう
このアカウントは、notestockで公開設定になっていません。
しかし転送速度が遅いのでなし(?)
回線は700MbpsぐらいでるけどいつもFreeFileSyncが遅い
そもそも20TBも一時保存できる環境がこちらにないか
このアカウントは、notestockで公開設定になっていません。
ヒステリシスの綴りがわからなかった
語源は違うらしい
https://en.wiktionary.org/wiki/hysteresis
https://en.wiktionary.org/wiki/hysteric
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、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でアップグレードしたからわからなかった
このアカウントは、notestockで公開設定になっていません。
https://docs.ankiweb.net/math.html#packages
Anki latexのpreambleも編集できるからTikZお絵かきできるらしい
https://rs.luminousspice.com/anki-latex-guide/#i-4
このアカウントは、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
このアカウントは、notestockで公開設定になっていません。