Show more

図の配置はこだわらずにTeXに任せるのがいいと思う。(個人的にはHは使ってはいけないと思っている。)

Exact Real Arithmeticはざっくり言って、数式処理的な数値計算ということですか。
それならやってみたいですね。

$\exists m\in\mathbb{Z}$ s.t. $P(m)$.
この式を2通りの読み方で読んだだけに思える。

長文注意 Show more

そういえば、3次方程式の代数的解法って相当長い間未解決問題だったのでは?

Toru3 boosted

Maximaで計算して得た多項式を全次数辞書式順序で表示させるためだけにSingularにペーストしているのですが、 Maximaだけで簡単に実行する方法はないですか?

$\log_2 5$が無理数なので合ってそう。

ベンフォードの法則

念の為補足しておきますと, __builtin_ctzl(x)はGCCの組み込み関数なのでコンパイラがGCC以外の場合動く保証はありません。

rustのising2d
i8からi32にしたら速くなった

恐らく反例$n=2, f=5x^2, g=4x^2$

CでIsing Show more

補足 Show more

この前C++で書いたIsingと同じプログラムを(Rustの練習ついでに)Rustで書いてみた。
慣れないRustに苦戦していたらこんな時間になってしまった。
github.com/Toru3/ising2d
そして、約11秒と思ったより遅い。もし何故か分かる人がいたら教えて欲しい。

(多変数多項式環の)単項式順序って(ユークリッド整域の)ユークリッド関数っぽさあるな

単純にdSFMTに差し替えるだけで約7.5秒と倍位早くなりました。
gist.github.com/Toru3/e732da1b

袖領域を用意して境界の分岐を消したり、vector<bool>を使ったりすればまだ速くなりそうですが、とりあえずはここまでにしておきます。

twitterの方で流行っているようなので、2D Ising model をC++で実装してみました。
特に高速化は意識せずに書いたので速くはありません。
参考までに私の環境ではJuliaが約8秒に対し, C++は約16秒でした。
gist.github.com/Toru3/e732da1b

偏微分がよく出てくるときには、
私は
\newcommand{\pfrac}[2]{\frac{\partial {#1}}{\partial {#2}}}
と定義しておいて
\pfrac{f}{x}
のように使いますね。

金融緩和は行いつつ、財政拡大することでより確実にデフレ脱却出来ると私は思っています。

財政拡大は直接需要になり、企業や家計の所得になるためです。

Show more
Mathtodon

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