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