Haskellで計算機代数勉強会
-
masahiro_sakai
- 4337
- 0
- 1
- 0
-
- いいね！0
erutuf
@erutuf13
代数的実数の表現をもうちょっと内在的な構造から抽出できないのと思って、適当に思い付きで n 乗する関数の線形和の空間のイデアルとその空間から代数的実数の空間への射でまず表現できんのと計算してたけど結局具体的に書けないし合ってるのか知らん
2013-05-04 21:55:33
erutuf
@erutuf13
D-module の話しないのみたいなこと言われたけど計算機メイン数学サブじゃなくて数学メイン計算機サブな社会人勉強会があったらとは思う、あってどこまで話せるかは甚だ怪しいが
2013-05-04 22:12:59
Noriyuki OHKAWA
@notogawa
いまさっき事前アンケートのタイトル見て，あのおそろしいひとたちがにんげんではなくやっぱり妖精であったことに安堵するなど
2013-05-04 22:13:59
スマートコン
@mr_konn
Gröbner 基底の発表資料のPDF版（ http://t.co/acVsGyxlW4 ）と Keynote 版です（http://t.co/iFhTCxQv0n ）
2013-05-04 22:28:43
もっちぃ
@tanimocchi
@erutuf13 お疲れ様でした。今回のが計算機メインだったかとゆーと、実際微妙だと思うので、大丈夫なのではないかとは思います。それに、主催者からの依頼ですし。そして、フォローあざます☆
2013-05-04 23:05:36
ヽ|・∀・|ノ
@i_am_a_youkan
今日のスライド https://t.co/fsdR7M0CMn 数式が薄いという意見が多かったので太くしてみた(手遅れ。次回があれば気を付けます。。
2013-05-04 23:07:20
erutuf
@erutuf13
@tanimocchi お疲れ様でした！ 数学の話は多かったですけど、モチベーションとしては計算機色が強かった印象です。まぁまた機会があったら。
2013-05-04 23:13:46
Seizan Shimazaki
@seizans
午前の部だけ参加だったけど非常に楽しかった。 @masahiro_sakai さんや @erutuf13 さんと挨拶もできて良かった。最後までいたかったなぁ。またあったら参加する。 | Haskellで計算機代数勉強会 http://t.co/CxtoJH08hH
2013-05-04 23:48:23
Seizan Shimazaki
@seizans
朝は計算機代数やってたと思ったら昼過ぎには大磯にいて、昼からビール飲んだと思ったらそのまま山にハイキング行ってパノラマを拝んで下山、だらだらしてたら目についた微積分の教科書を読んだらデデキント切断が理解できた。特に難しいこと無かった。あとピエール・エルメのサティーヌが美味かった。
2013-05-04 23:52:57
Masahiro Sakai
@masahiro_sakai
.@masahiro_sakai Acrobatで保存しなおしたら1.4MBほどになった。 Keynoteで生成したPDFの48MBは一体何に使われていたのだろう……
2013-05-05 00:00:06
erutuf
@erutuf13
Haskell で計算機代数勉強会に行ってきた話です。理解が浅いところがあったらご指摘願いたい。 http://t.co/wn8SFL8YGs
2013-05-05 01:13:56
Jay Kumogata🔢
@jay_kumogata
昨日，Haskellで計算機代数勉強会に参加しました．参加してみて，分かったことをまとめると， ・グレブナ基底というものがあり，多変数の連立方程式を解くときの道具として役立つ ・アルゴリズム化されており，計算機での実装が各種ある ・計算機による高速化手法も各種実装されている
2013-05-05 07:49:28
Jay Kumogata🔢
@jay_kumogata
・日本は国家プロジェクトとして，幾ばくかを投資している（投機？） ・そして，Haskellが現場で使われる事例が増加している（雑談より） といったところでした．企画・発表された方々，お疲れさまでした．大変勉強になりました．cf. http://t.co/F2WbQefQDv
2013-05-05 08:05:08