ファンの掃除したら収まったので熱が原因っぽい

uop cache tag parity errorで死んだっぽい。調べてみたら同じ現象の人がいるみたい。

community.amd.com/thread/23074

$\mathbb{Z}_p[x]$を実装するのに係数体の情報をどこに持つかでいつも悩む。 Show more

Toru3 boosted

github.com/rust-lang/cargo/iss
ビルドのパイプライン化の提案が出ている。クレートBがクレートAに依存するとき、現在はクレートAのコンパイルを終えてからクレートBのコンパイルをしている。しかし、クレートBのコンパイルに必要なのはAのメタデータ(モジュール情報や型情報)だけなので、並列化が可能

プログラムの愚痴 Show more

@yoriyuki Denman-Beaver法と比べて良いかは知りませんがIN法というのがあるそうです。(数値線形代数の数理とhpc p.167)
link.springer.com/article/10.1

私は、数学で出てくるときはベクトル、プログラムで出てくるときはベクターと呼んでることが多い気がする。自分でも理由はよくわからないが。

循環小数の話、初等整数論講義に書いてあった気がする(うろおぼえ)

@cmplstofB $0^x$, $x^0$は該当しそうですね。

RAMに乗り切らない計算どうやっても辛そう。OS任せでスワップしまくると遅そうだし。RAM大量に積んだマシン複数台でMPIして処理するのが良さそうだけど...。

素因数分解の一意性を用いて2が偶数乗と奇数乗で矛盾という証明法もあります。

Rustは(unsafeを使わない限り)スレッドセーフなのでグラフを書き換えながら処理するのは(私が知っている範囲では)unsafeを使わないと難しそうですね。

@yoriyuki 実際端点での傾きは0に限る必要は無いですが、その場合いくつにするかをどうやって決めるかが問題ですね。

あとは $[x_i, x_{i+1}]$ 上の多項式を$f_i$として $f_i(x_i)=y_i$, $f_i(x_{i+1})=y_{i+1}$, $f'_{i-1}(x_i)=f'_i(x_i)$ ($f'_{0}(x_1)$は適当に決める)の3条件を満たすように$f_i$を定めるというのも考えられます。

@yoriyuki ぱっと思いつくのは $[x_i, x_{i+1}]$ を $f(x_i)=y_i$, $f(x_{i+1})=y_{i+1}$, $f'(x_i)=f'(x_{i+1})=0$ を満たす3次多項式で補完する方法ですね。(スプラインもどき?)
二階微分まで条件入れた5次多項式なら$C^2$になります。

$\require{mhchem}$$\ce{M_p(CO)_q}$
返信を押すと$\rm\TeX$のコマンドが読めるよ

Toru3 boosted
Show more
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.