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

トゥート : 25221(+35)
フォロー : 73(0)
フォロワー : 111(0)

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

#donhaialert

よくわからない

夏休みになったためか、すしすきーのLTLが活発だ

最近これがよく出てくる

boomelang

メモリが

負の記号のかわりに減算の演算子使っても特にエラーが起きないのでいつも減算の演算子使ってる

関数電卓その2はそこまで高機能じゃなかった

OhMyREPL, Plots, GLMakie, CSV, DataFramesのもりもりsystem image作ったらJuliaの起動に16秒かかるようになってしまった

バニラだと1.5秒

バニラでPlots.jlを使ってplotしたとき

もう少し減らさないとあまりメリットがない気もする

あれ、速い

RAS症候群 - Wikipedia https://ja.wikipedia.org/wiki/RAS%E7%97%87%E5%80%99%E7%BE%A4

"はんづら"らしい
"はんめん"と読んでた

【DTPキーワード】版面の設計 | JAGAT https://www.jagat.or.jp/archives/25594

#Worldle #187 3/6 (100%) 🙈
🟩🟩⬜⬜⬜⬅️
🟩🟩🟩🟩⬜↘️
🟩🟩🟩🟩🟩🎉
https://worldle.teuteuf.fr

細胞分裂って加速度がかかってる環境でもできるんだな〜と思ったけど、粘性が大きそうなので実はそんなに関係ない？

リファレンス作らないと

解析

mudanakotoshiteru

拡散希望するか

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

拡散希望した

jpから見るとプロフィールの反映が遅い(fedibirdから見たので解決した)

SATySFiの欠点(？)

Physicsパッケージがない

でも\qty(),相当の\paren{}や\abs{}などはデフォルトである

うーん

Subwaytooter Tips:
色んなところ長押しするとcross-accountなアクションができる

bra ketが実装されてるのはないからQiitaのやつをコピペして使ってるけど、新たなパッケージを作るかAZmathに入れてもらうか考えてる
どっちがいいのやら

そもそもphysicsパッケージが何を以て"physics"なのか疑問に思ってるので、パッケージ名として適当だとは思わない(つまり数学の人たちにとっても有用じゃないかと思ってる。括弧類とか特に)

\veneti !?

Physics, 交換子あるんだ

\Resもあるんだ

C++23でstd::print

眠すぎて進捗無
解析やばい

なんか積分たくさん使うけどRiemann しか知らないのもなんだかなとか言う軽い気持ちでとったの後悔してる

れべすぐぇ

まあ、バナッハ空間の文字を拝めたので良しとするか

1年の情報の授業の第8回でいきなりHahn-Banachの定理を仮定して…とか出てきたの今でも覚えてる

6月だった

Rademach complexityとかもあったけど覚えてない

やるぞ

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

Bourbaki dangerous bend symbol - Wikipedia https://en.m.wikipedia.org/wiki/Bourbaki_dangerous_bend_symbol

https://twitter.com/1408TT/status/1552235922132938753

CATANをCTANに空目した

位相の基本的な知識がなくてつらい

攻めた開集合を取ってその無限和を考えるパターン多いけど、無限和とる操作に位相の知識が要求されるため非自明

うわ人多い

that's my line