代数的実数を作る日記

@mod_poppo が計算機代数を勉強しつつ「週刊 代数的実数を作る」を書く日記です
3
前へ 1 2 3 ・・ 43 次へ
mod_poppo @mod_poppo

効率を度外視すれば最小多項式の計算は必須じゃないから、ここが正念場なんだよな

2017-09-30 09:26:53
mod_poppo @mod_poppo

sqrt 2 * sqrt 2 が 2 になるようになった

2017-09-30 09:42:55
mod_poppo @mod_poppo

なんか sqrt 2 * 2 が 0.75 になるんだが

2017-09-30 09:43:55
mod_poppo @mod_poppo

こっちは凡ミスだった

2017-09-30 09:50:31
mod_poppo @mod_poppo

最小多項式の計算(因数分解)を行なっていないので、 (∛2)^3 の定義多項式が27次になる

2017-09-30 10:16:08
mod_poppo @mod_poppo

最小多項式を置いておくとしても、まだ手をつけていない課題として、代数的数を係数とする方程式を解くという操作が残っているんだよな(多分、多変数多項式をモロに扱うことになる)

2017-09-30 10:22:03
mod_poppo @mod_poppo

あとは代数的数(複素数の範囲で)も

2017-09-30 10:23:16
mod_poppo @mod_poppo

いずれグレブナー基底と真正面から向き合うことになる気がするが、どうしたものか

2017-09-30 10:43:13
mod_poppo @mod_poppo

グ.レ/ブ_ナ—基底のエゴサ(字義通り)に引っかかった

2017-09-30 10:46:25
mod_poppo @mod_poppo

代数的実数と有理数の比較がおかしい

2017-09-30 11:47:16
mod_poppo @mod_poppo

多項式の次数 {-∞, 0, 1, 2, …} をプログラムで表すの、Haskellだと Maybe 型について Nothing < Just _ となるので、1バイトでも節約したいという状況でもなければ Maybe Int を使えば良さそう

2017-10-02 17:30:29
mod_poppo @mod_poppo

プログラムのミスか、それとも効率が悪いだけなのか

2017-10-13 02:27:33
mod_poppo @mod_poppo

正確な計算を効率よく行うためにはうまく近似計算と付き合っていくことが必要なのじゃ

2017-10-13 02:31:17
mod_poppo @mod_poppo

HakyllのmodificationTimeFieldってUTCの日時がフォーマットされるやつか?(ウケる)(ウケない)

2017-10-14 00:16:26
mod_poppo @mod_poppo

「週刊 代数的実数を作る」創刊しました miz-ar.info/math/algebraic…

2017-10-14 02:12:39
mod_poppo @mod_poppo

どーせ深夜だし誰も見ないだろw

2017-10-14 02:14:18
mod_poppo @mod_poppo

創刊号は多項式除算がついてホニャララ円!

2017-10-14 02:15:48
mod_poppo @mod_poppo

「週刊」(休載しないとは言ってない)

2017-10-14 02:20:30
mod_poppo @mod_poppo

Markdownででかい表を作るの、端的に言って地獄っぽい pic.twitter.com/GQ4363xcV1

2017-10-14 11:34:00
拡大
mod_poppo @mod_poppo

深夜にツイートした代数的実数のやつが思いの外伸びていて、緊張でぶるぶる震えている

2017-10-14 13:03:58
mod_poppo @mod_poppo

「週刊 ナントカを作る」の表紙をでっち上げなければならないが

2017-10-14 19:17:55
mod_poppo @mod_poppo

デザインセンス、欲しいですね

2017-10-15 15:49:10
mod_poppo @mod_poppo

クソ表紙なんか作ってないで本文を書けという考えもあるかもしれないが、様式美は大切

2017-10-15 15:53:28
前へ 1 2 3 ・・ 43 次へ