Haskellで計算機代数勉強会

スマートコン @mr_konn

おぉ…… Gröbner基底を使ってヘロンの公式が導かれた……！

スマートコン @mr_konn

Gröbner基底、受験生に教えればいいのでは

スマートコン @mr_konn

【受験生へアドバイス】変数消去に Gröbner 基底を使うとき、単項式順序として辞書式順序を使うと計算量が増えて大変なので、次数付き逆辞書式順序の直積を使うか重み付きの順序を使おう！色々と捗るぞ！

[1..100]＞＞=pen @1to100pen

「グレブナー基底」で東京都図書館検索すると結構出てくる。手っ取り早く理論を知るにはどの本がよいだろうか。

Takashi Miyamoto @tmiya_

@1to100pen Ideals, Varieties, and Algorithms の読書会するなら誘ってください。

[1..100]＞＞=pen @1to100pen

@tmiya_ 「Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra」ですか。初耳ですた。

Takashi Miyamoto @tmiya_

@1to100pen Springerから和訳も出てるはずです。

[1..100]＞＞=pen @1to100pen

@tmiya_ 「グレブナ基底と代数多様体入門 イデアル・多様体・アルゴリズム」ですかね。題名だけから想像するに代数多様体までやると大変そうですね。

Takashi Miyamoto @tmiya_

@1to100pen 結構分厚いので、社会人の勉強会だと、適当に端折らないといつまでたっても終わらないかも、という本ですね。。。

Masahiro Sakai @masahiro_sakai

@1to100pen @tmiya_ Ideals, Varieties and Algorithms の勉強会、誘ってくださいっ！

[1..100]＞＞=pen @1to100pen

@masahiro_sakai @tmiya_ 代数多様体にも手を出そうとしてるですか。

Masahiro Sakai @masahiro_sakai

@1to100pen @tmiya_ buchbergerアルゴリズムの超簡単な実装はした https://t.co/S1zLrKlX6f ので、これをもう少しちゃんとした実装にしたいのと、あとグレブナ基底周辺をもう少し色々と理解したい。代数多様体自体にはそこまで興味はないです。

内海 @u23mjag

@1to100pen 1to100penさんが代数多様体に関する分かりやすい解説をセミナーで披露してくれるとの極秘情報を入手した。

[1..100]＞＞=pen @1to100pen

@u23mjag 挫折した古傷がうずく・・・死ぬ・・・

[1..100]＞＞=pen @1to100pen

@masahiro_sakai @tmiya_ 私はまずはグレブナー基底の理論を手っ取り早く理解したいです。理論と実装をマスターしている konnさんを講師に招けば解決？

Masahiro Sakai @masahiro_sakai

@1to100pen @u23mjag おお、ぜひぜひ。

スマートコン @mr_konn

@1to100pen @masahiro_sakai @tmiya_ まだ勉強中です＞＜

Masahiro Sakai @masahiro_sakai

@mr_konn @1to100pen @tmiya_ 実装に関してはとりあえず斉次化とか sugar flavor とかを理解したい。

[1..100]＞＞=pen @1to100pen

@mr_konn @masahiro_sakai @tmiya_ ちゃちゃっと「Ideals, Varieties and Algorithms」を読んで解説お願いします。

スマートコン @mr_konn

@1to100pen @masahiro_sakai @tmiya_ この本、来年のゼミで一年かけてよむ予定なのですが…。z

Masahiro Sakai @masahiro_sakai

@mr_konn @1to100pen @tmiya_ 大丈夫、konnさんならきっとできるよっ！

[1..100]＞＞=pen @1to100pen

@masahiro_sakai @mr_konn @tmiya_ 予習大事ですよね。

スマートコン @mr_konn

@masahiro_sakai ぼくもそのあたり高速化の方法はまだ全然知らないので、これから色々調べたいと思っているところですね。

スマートコン @mr_konn

@masahiro_sakai ひょえ〜＠＠

[1..100]＞＞=pen @1to100pen

取りあえず「グレブナー基底入門」開催して欲しい。