Haskellで計算機代数勉強会
-
masahiro_sakai
- 4368
- 0
- 1
- 0
-
- いいね！0
ヽ|・∀・|ノ
@i_am_a_youkan
グレブナー基底に興味ある人を、グレブナー基底計算の高速化に興味ある人にすると、人数減ってしまうんだろうか。グレブナー基底自体は、あんな分厚い本読む必要ないと思うけど
2013-04-03 23:14:18
[1..100]＞＞=pen
@1to100pen
図書館に行って「グレブナ基底の計算」基礎編と実践編を予約してきた。他区の図書館から取り寄せる場合はネットで予約できなくて不便。 風雨が本格的になる前に済んでよかった。
2013-04-06 17:13:10
[1..100]＞＞=pen
@1to100pen
「グレブナー基底の計算」の基礎編、シルベスター行列まで読んだ。こういうの最初に思いついた人はどういう経緯でたどり着いたのだろう。
2013-04-18 13:34:13
Masahiro Sakai
@masahiro_sakai
Kronecker's method での多項式の因数分解の自分の実装、x^9-15*x^6-87*x^3-125を因数分解しようとして、131072通りの候補で割ろうとしてた。 そりゃ遅いわけだ。 やっぱりちゃんと勉強してB... http://t.co/N45trNnIme
2013-04-19 21:50:51
Masahiro Sakai
@masahiro_sakai
@mr_konn @1to100pen @kikx @tmiya_ @cocoatomo @cutsea110 @bonotake @khibino せっかくなので、本当にゴールデンウィーク後半あたりで開催したいのですが、ご都合いかがでしょう？ > konnさん
2013-04-21 16:31:20
スマートコン
@mr_konn
@masahiro_sakai @1to100pen @kikx @tmiya_ @cocoatomo @cutsea110 @bonotake @khibino おお、ゴールデンウイークなら、木曜以外であれば空いてますので平気です！
2013-04-21 16:32:15
Masahiro Sakai
@masahiro_sakai
@mr_konn @1to100pen @kikx @tmiya_ @cocoatomo @cutsea110 @bonotake @khibino おお。konnさんにグレブナ基底の実装について紹介してもらって、自分は代数的実数とCADの実装について紹介することを考えてます。
2013-04-21 16:34:35
スマートコン
@mr_konn
@masahiro_sakai @1to100pen @kikx @tmiya_ @cocoatomo @cutsea110 @bonotake @khibino 実装については最近ゼミで発表したのでたぶんいけるかと思います！
2013-04-21 16:35:47
Masahiro Sakai
@masahiro_sakai
@mr_konn @1to100pen @kikx @tmiya_ @cocoatomo @cutsea110 @bonotake @khibino とりあえず、partakeにイベント作りました。 http://t.co/gJRS7TBRcm
2013-04-21 17:27:38
スマートコン
@mr_konn
@masahiro_sakai @1to100pen @kikx @tmiya_ @cocoatomo @cutsea110 @bonotake @khibino ありがとうございます！
2013-04-21 17:29:47
[1..100]＞＞=pen
@1to100pen
計算機代数の勉強会が企画されてる。多分 Haskell にこだわらないと思う。 「Haskellで計算機代数勉強会 」 http://t.co/xnG87Owdr7
2013-04-21 23:38:31
hiratara
@hiratara
へえ。 「> 2013年5月3日」「> Haskellで計算機代数勉強会」「> Haskellによるグレブナー基底の実装紹介」「> Haskellによる代数的実数の実装紹介」「> Haskell...実閉体の理論の決定可能性について」 http://t.co/Z2iEwyiVg9
2013-04-21 23:42:57
Takashi Miyamoto
@tmiya_
CoqのcontribにはBuchbergerというのがあるけど、まぁGWまでに読み終えるのは無理だよなぁ。。。
2013-04-22 16:13:23
Masahiro Sakai
@masahiro_sakai
ゴールデンウィークに計算機代数の勉強会を企画中 http://t.co/gJRS7TBRcm http://t.co/sUSpYdEG7I
2013-04-23 08:57:03
Masahiro Sakai
@masahiro_sakai
計算機代数勉強会 http://t.co/gJRS7TBRcm は、5/4(土) 川崎市中原市民館 (武蔵小杉) での開催としました。 参加募集中です。発表も募集中。 http://t.co/hDyDBi8ZpV
2013-04-24 08:51:49
Takashi Miyamoto
@tmiya_
G/Wは休日出社がほぼ確定したので、グレブナ基底の勉強会はなんとか出ようと思うけど発表ネタ準備までは無理だと思います。話聞くだけで申し訳ない感じ。
2013-04-24 20:33:36
Masahiro Sakai
@masahiro_sakai
計算機代数勉強会で池上に聞いてみたい話について、池上さんがアンケートしてる https://t.co/ktsuUVRWIO ので、池上さんに聞きたい話がある人は答えておくと良いと思うよ。
2013-04-25 19:12:34