更新 2018年3月16日作成 2017年10月18日

代数的実数を作る日記

@mod_poppo が計算機代数を勉強しつつ「週刊代数的実数を作る」を書く日記です

計算機代数数学

mod_poppo
5255
1
3
1
0

前へ 1 2 3 ・・ 43 次へ

（多項式の因数分解についてはThe Art of Computer Programmingにも載っていると知ったのでそれも購入した）

mod_poppo @mod_poppo

もっと代数に強い人生を送りたかった

2017-09-16 17:42:34

mod_poppo @mod_poppo

終結式を完全に理解したので人生が完全に終結した

2017-09-16 19:30:21

mod_poppo @mod_poppo

手元の本を何冊か見たけどどれもこれも終結式と根の関係が演習問題になっている（解答例あり）。そんなに演習問題にしたいか

2017-09-16 19:31:42

（線形代数の教科書で、演習問題として終結式を扱っていることがある）

mod_poppo @mod_poppo

実際演習問題として適切な難易度であることは認める

2017-09-16 19:32:43

mod_poppo @mod_poppo

まあ終結式と根の関係なんて自明ですけどね。わっはっは

2017-09-16 19:33:20

mod_poppo @mod_poppo

終結式を理解したので、これで代数的実数の実装の目処は立ったかな？

2017-09-16 19:50:09

mod_poppo @mod_poppo

まだ「多項式の因数分解」をやってない

2017-09-16 19:50:30

mod_poppo @mod_poppo

「終結式」という語に厨二病的な良さを

2017-09-16 19:52:32

mod_poppo @mod_poppo

「週刊代数的実数を作る」をやるには記事何本ぐらいストックしておけばいいんだ……

2017-09-16 19:56:42

mod_poppo @mod_poppo

代数的実数を実装する上で必要だけど俺がまだちゃんとわかってないトピックは、多項式の因数分解と、代数的実数を係数とする多項式の根の計算か

2017-09-16 19:59:18

mod_poppo @mod_poppo

スツルム列もまだちゃんと証明追いかけて理解したわけじゃないけど

2017-09-16 19:59:32

mod_poppo @mod_poppo

今日は終結式と格闘していて、単純型付きラムダ計算をコンパイルするやつの進捗がない

2017-09-16 22:42:13

（「週刊代数的実数を作る」の執筆環境を整えたい）

mod_poppo @mod_poppo

Hakyllを試してみるか…

2017-09-16 22:52:06

（「週刊代数的実数を作る」をWebページとして公開したい。HakyllはHaskell製の静的サイトジェネレーター）

mod_poppo @mod_poppo

依存パッケージが無限（100〜）にあるからビルドに無限に時間がかかる

2017-09-16 22:54:19

mod_poppo @mod_poppo

Hakyll触ってみてるけど、Pandocが使えるのでかなり強そう

2017-09-17 00:20:48

mod_poppo @mod_poppo

Hakyllの雰囲気がつかめてきた pic.twitter.com/V1l9McJ97y

2017-09-17 01:19:25

拡大

mod_poppo @mod_poppo

公開する時に何らかの形でWordPressのブログに載せるのか、それとも別のところに静的サイトとして置くのかという問題はあるけど、執筆環境は整ったと言って良さそう

2017-09-17 01:20:57

mod_poppo @mod_poppo

代数的実数の演算を実装したはずだが、なぜか sqrt 2 * sqrt2 が 1 になる

2017-09-30 09:22:03

mod_poppo @mod_poppo

乗算の実装が間違っているのだろう

2017-09-30 09:22:26

mod_poppo @mod_poppo

代数的実数 vs 実代数的数

2017-09-30 09:25:20

前へ 1 2 3 ・・ 43 次へ

いま話題のタグ