昨日のマストドンの活動は
トゥート : 23540(+11)
フォロー : 70(0)
フォロワー : 99(0)
#Worldle #142 3/6 (100%) 🙈
🟩🟩🟩🟩⬜↖️
🟩🟩🟩🟩🟨↗️
🟩🟩🟩🟩🟩🎉
https://worldle.teuteuf.fr
#市区町村 #ShiKuChoSon No.71 X/6 (99%)
🟩🟩🟨⬜⬜⬅️
🟩🟩🟩⬜⬜↗️
🟩🟩🟩⬜⬜⬇️
🟩🟩🟩⬜⬜⬆️
🟩🟩🟩🟩🟨↗️
🟩🟩🟩🟩🟨↘️
https://shikuchoson.jp
回路図をせっせとdraw.ioで書いてたけど、テキストのpdfからコピーすればいいじゃん
circuitikzがうんたらの記述に惑わされた
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
subsubsectionの番号をsubsectionと同じにしてたので
2
2.1
2.1.1
2.1.1
2.2
2.2.2
2.2.2
2.2.2
みたいなことになってた
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
texの数式はインデントとかしない
数式の可読性はないけど改行しすぎて文書全体の可読性が損なわれるのは嫌(インラインでいきなり改行とか)
[useless tips]
トークンの都合で\frac12は\frac{1}{2}と等価
KaTeXでも再現されてる
SATySFiでは再現されない
シャープペンシルのグリップの加水分解が進んだのか今日は中から液体が漏れ出てきてもうだめだと思って新しいの買った
売ってたのが2色しかなかく、両方とも持ってる色だったから色は前と同じ
消しゴムも買った。モノの50円のやつだけどタフらしい消しゴムを買ってみた。いつも一度はちぎれるのでもしちぎれないなら精神衛生に良い
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
#Worldle #146 2/6 (100%) 🙈
🟩🟩🟩🟩⬜↙️
🟩🟩🟩🟩🟩🎉
https://worldle.teuteuf.fr
#市区町村 #ShiKuChoSon No.75 3/6 (100%)
🟩🟩🟨⬜⬜↙️
🟩🟩🟩🟩🟨↙️
🟩🟩🟩🟩🟩💮
https://shikuchoson.jp
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
>BT 開発者向けオプション→最小幅(dp)で表示サイズ最小より下げたうえでFirefox Beta/Nightlyでlayout.css.devPixelsPerPxを弄ってさらに表示小さくするまでやるでしょ
やらない?そう…
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、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 #148 X/6 (95%) 🙈
🟩🟩🟩🟨⬜⬇️
🟩🟩🟩🟩🟨⬅️
🟩🟩🟩🟩🟨⬇️
🟩🟩🟩🟩🟨↙️
🟩🟩🟩🟩🟨⬅️
🟩🟩🟩🟩🟨↘️
https://worldle.teuteuf.fr
#市区町村 #ShiKuChoSon No.77 X/6 (94%)
🟩🟩⬜⬜⬜⬆️
🟩🟩🟩⬜⬜⬆️
🟩🟩🟩🟩🟨↙️
🟩🟩🟩🟩🟨⬇️
🟩🟩🟩🟩🟨⬇️
🟩🟩🟩🟩🟨⬇️
https://shikuchoson.jp