あけおめ

This account is not set to public on notestock.

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

トゥート : 28419(+50)
フォロー : 81(+1)
フォロワー : 124(0)

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

#donhaialert

!wkten november search

Lambdify - SymPy 1.11 documentation https://docs.sympy.org/latest/modules/utilities/lambdify.html

reparameterization invariance

https://docs.python.org/3/library/xml.html

This account is not set to public on notestock.

30年失われたというのは、よその国より実質30年若いということを意味してる

震災回避イベント

穀類(?)で一番生産量が多いの、実はとうもろこし

リリパットかな

ghc入った
使う予定はない

> scoop list | measure -line
36

winget は 150

沈没した田んぼもある

船に乗って収穫する(たぶん)

winget list 148
winget 58(installed or managed with winget)
scoop 36
choco 6

https://twitter.com/moskva_daisuke1/status/1586141319709478914

いい睡眠がとれそう

睡眠の禁断症状

睡眠には依存性があります

D-braneのDはDirichletのD

rga15GBぐらいのフォルダでも1分強で探索終わる

Dirichletと聞いて一番最初に思い浮かぶのはDirichlet-Jordanだけどそれが何なのか覚えてない
C¹級をフーリエ変換して逆フーリエ変換したら元に戻るとかだった

今確認したら

Symbolics.jlいい感じ

C...

duckduckgo, !texdoc使えるな
manjaroではローカルに入れなくていいや

nemu

スライドにtofuがいる
かわいい

satysfiはsatyrographosでドキュメント見れるけど、最新版への追従が遅めなのでローカルに<package>-docを入れるか、git cloneするのおすすめ

そういえばまだv0.0.8がsatyrographosでリリースされてないのかな

change visibility with shift + enterをfirefoxに入れた

「自然体に慣れてる」

バッテリー保全団体メンバーなので充電の閾値を設定できるデバイスが好き

ねむ

https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%A4%E3%82%BA%E7%A2%BA%E7%8E%87#%E9%A0%BB%E5%BA%A6%E7%A2%BA%E7%8E%87

正規分布とかは流石にわかる

Fあまりしらない

https://otepipi.hatenablog.com/entry/20210523/1621773970
なるほど
こうやって使うのか

これすごいな

微分方程式の解を陰解法で求めたいときにも最初の微分方程式を定義してSymbolics.jlでの数式処理で漸化式求めるとかもできるのかな

暖房...? 早くない?

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.

torch(lua)のウェブサイトエモい

何関数でしょうか

https://dlmf.nist.gov/
NIST Digital Library of Mathematical Functions

レイアウトはひどいけど情報量的にえげつない
今度からここ見て積分しようかな

そんなこともあったな

https://dlmf.nist.gov/5.13
知らない積分ばっかり

This account is not set to public on notestock.

やっぱり新規増えてそう

This account is not set to public on notestock.

これわかる

旧PCは設計容量の40%まで減ってて1:30 - 3hぐらいの持ちだったのが3 - 6hは持つようになって更に新PCで8 hぐらい行けるようになってストレス激減

zeta関数のところ見てたら引用でBerryとあって、たどってみたらあのBerryだった

LWiP/pt fix
LWiP/daq prep
SM2 ar1
LA 7
Sjl

satysfiのなかにUnicodeData.txt入ってるんだ

This account is not set to public on notestock.

なんか最近スマフォの画面の左側がパコパコしてるなと思ってたら、どうもスマフォの左側が浮いてきてるらしい。バッテリーが膨張したのかな

すでに隙間ができてるので簡単に開けられそう

スマフォ持つの初めてなので何もわからん

スマフォ１(台|代)目

まだ3年目

Fedibird 🤔

record型のエラーメッセージわかりにくい

差分だけ出してほしい

okular、文字選択するときいちいちモードを切り替えないと行けないの面倒すぎる

https://bugs.kde.org/show_bug.cgi?id=155563
Okular、中ボタンドラッグのズームといい、テキスト選択モードをわざわざ切り替えないといけない点といい、基本的な操作なのに他のソフトと全然違う点があってストレスだな

それも10年以上前から指摘されてるのに放置されてる

何もわからんのでとりあえず全部プロットさせてみた

This account is not set to public on notestock.

積分経路が実数のみで特異点がなければf(x) + ig(x)で実数値関数になってそのまま計算できる
たぶん

正則性とか無視してた

少なくともこの場合正則だからテイラー展開できて問題なく実数値関数に分けられるはず

たくさんプロットするとき、color scheme悩む

https://juliagraphics.github.io/ColorSchemes.jl/stable/goodpractice/
good practice

ん
"特異点がなければ"
正則だった

transpose型があるの、メモリへのアクセス的に記録しておく必要があるからか

こう

おそらく一部分が線形になってるデータで、いろんな範囲でフィッティングさせてそこから回帰直線のパラメータの誤差を求めようと言われたけど、誤差の求め方で悩んでる
のでつらつらと書き連ねる

1回のGLMフィッティングで得られるのはy = 1 + xのそれぞれの係数とその標準偏差

係数だけとってきてその標準偏差を取ると、回帰した回数だけ誤差が減っていくのでそれはおかしい

単純に標準偏差の平均値を求めるか？

iidじゃないからな

そういえばjuliaの関数の型ってどうなってるんだろう

そもそもsatysfiがint->int->int的なことしか知らないな

measurementsを係数にのせた関数をplotしたらリボンがつくレシピがほしい

そうだったmethodsが複数あるからだ

これでいいのか

https://docs.juliaplots.org/latest/recipes/
よむか

とんでもなく大きくなった

This account is not set to public on notestock.

こういう計算面倒なのでやらないけどやったほうが身につくのは分かってる

円周の積分経路も結局パラメータは実数だし

f(z(t)) dz(t)/dt

df(z(t))/dz(t)