昨日のマストドンの活動は

トゥート : 23694(+49)
フォロー : 70(0)
フォロワー : 100(+1)

でした。
https://donhaialert.herokuapp.com

#donhaialert

このアカウントは、notestockで公開設定になっていません。

最近の気づき
晩ご飯食べなくてもそんなに困らない

DVI (DeVice-Independent file format)はドライバ依存

🤔

かなしい

cheatsheet、見通しが良すぎる

ラプラス変換とルジャンドル変換が対になってるのか

対数を取ると！？

このアカウントは、notestockで公開設定になっていません。

ルジャンドル多項式でもルジャンドル陪関数でもいい

https://as2.c.u-tokyo.ac.jp/~shmz/zakkifiles/12-09-17.html

https://twitter.com/STakesue/status/1536892258644938753

写真

空腹きつい

みず飲んで寝る

zo

空腹に負けてわかめとパスタ食べてるけどパスタが固すぎる

歯が欠けそう
爪より固い

逆に満腹感がある
もう食べたくない

はやねのよさ

このアカウントは、notestockで公開設定になっていません。

塩

真面目に言うとサラダ油

おわった

海外行きたい

英語やらないと

お金無いのの言い訳苦しい

P2Wでしょ

こういう公的な機関の考え、なんか合わない

合わないのをぶつけたら思いっきりはじかれたけど

実力が足りないのはある

土壌が悪いなら客土しよう

ネタも能力もない

素直にその土地を捨てるという手

それはない

土3/4しかあいてない

悩む手間が省けた

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

Ankiの見た目激変してた

https://docs.ankiweb.net/platform/windows/installing.html#qt5-vs-qt6
Qt 5 -> Qt 6になったらしい(Qt 5バージョンもある)
wingetでアップグレードしたからわからなかった

#anki

https://ja.wikipedia.org/wiki/%E4%BF%9D%E5%9E%8B%E5%BD%A2%E5%BC%8F
2次ゴママヨ #ゴママヨ

埋もれてた

このアカウントは、notestockで公開設定になっていません。

論理学だけじゃない(改めて調べてみた)

生き返った人だ

https://docs.ankiweb.net/math.html#packages
Anki latexのpreambleも編集できるからTikZお絵かきできるらしい
https://rs.luminousspice.com/anki-latex-guide/#i-4

me neither

horn

このアカウントは、notestockで公開設定になっていません。

Letterle 7/26
⬜
⬜
⬜
⬜
⬜
⬜
🟩
https://edjefferson.com/letterle/

ちょとつもうしん
ちょっとずつもうしん

きたく

クエン酸

私の記録は26桁でした。（TIME:14秒） #円周率チャレンジ http://altarf.xyz/pi2/

薬局とかで売ってる？やつ

磁針のゆらぎ

お3ぽ

トリップのことをお散歩という人 #さまざまな人

ナルシスト：好きなキャラは自分です！