Haskellで計算機代数勉強会

内海 @u23mjag

@masahiro_sakai @1to100pen 挫折を乗り越えた1to100penさんならアフィンスキームすらスラスラ解説出来る (と無茶振り)

kikx @kikx

@1to100pen @masahiro_sakai @mr_konn @tmiya_ 期待age

スマートコン @mr_konn

@kikx @1to100pen @masahiro_sakai @tmiya_ おいやめろ

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

@u23mjag @masahiro_sakai 私の屍を乗り越えて先に行ってください。

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

@kikx @masahiro_sakai @mr_konn @tmiya_ 日程はいつ頃がいいですか。

Masahiro Sakai @masahiro_sakai

@1to100pen @kikx @mr_konn @tmiya_ ゴールデンウィークとか？

Takashi Miyamoto @tmiya_

@mr_konn @1to100pen @masahiro_sakai 学生と違って、社会人だと月一の勉強会で読むのだと、到底１年では読み終わらないなぁ。。。

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

@tmiya_ @mr_konn @masahiro_sakai きっと読まなくてもいいくらい konnさんがやさしく解説してくれます。

Takashi Miyamoto @tmiya_

@1to100pen @masahiro_sakai あまり数学良く判ってると言いがたいのですが、計算機で処理する/処理出来る数学、みたいなところに興味が有ります。グレブナー基底とかQEとか。D加群なんかもそうなのかな？　まぁそれとは別に数学も好きです。

NaOHaq(苛性ソーダ) @NaOHaq

@tmiya_ @1to100pen @masahiro_sakai ぜひこちらへどうぞ。 / 東京大学 大学院 情報理工学系研究科 数理情報学専攻 http://t.co/baZuZqOgeB

日比野 啓 (Kei Hibino) @khibino

@tmiya_ @1to100pen @masahiro_sakai @mr_konn そのあたり、私も興味あります。ログを辿ってみるとCoqで圏論系の面子?

tomo🐧@learning @cocoatomo

@khibino @tmiya_ @1to100pen @masahiro_sakai @mr_konn 私も興味あります. できれば参加したいです. 数学修士持ってるので, そっち方面は受け持てると思います.

takeo @bonotake

@khibino @tmiya_ @1to100pen @masahiro_sakai @mr_konn Coqで圏論でグレブナー基底と聞いて

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

@bonotake @khibino @tmiya_ @masahiro_sakai @mr_konn 話が膨らんでいく・・・

Masahiro Sakai @masahiro_sakai

@tmiya_ @1to100pen @kikx @mr_konn @khibino @cocoatomo @bonotake それなら、自分は Cylindrical Algebraic Decomposition (CAD) によるQEの話でもしましょうか。

erutuf @erutuf13

グレブナ基底勉強会の文字列が見えた。どっちかというと Risa/Asir を知っておきたい

Nobuo Yamashita @nobsun

@1to100pen @bonotake @khibino @tmiya_ @masahiro_sakai @mr_konn 楽しそうですねぇ。

cutsea110 @cutsea110

@1to100pen @bonotake @khibino @tmiya_ @masahiro_sakai @mr_konn 謎すぐる

スマートコン @mr_konn

@cutsea110 @1to100pen @bonotake @khibino @tmiya_ @masahiro_sakai 寝ている間に一体どんな話になってしまったの……

erutuf @erutuf13

グレブナ基底、理論的にみっちりやらなければすぐ説明できるものなので厚い本を輪読するより知ってる人連れてきたほうが社会人勉強会的には都合がよさそう。可換環の諸概念を知ってる必要はあるけど。

erutuf @erutuf13

. D 加群への応用とかもうちょっと勉強してから喋ってみたい気もするけど、数学数学してるからあまり興味持たれないかなぁ。 @1to100pen

erutuf @erutuf13

@1to100pen 解析だと計算機の人からは遠いんじゃないかなとか思ったんですけどどうなんでしょうねぇ

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

@erutuf13 計算機関係なくてもいい疑惑。

Takashi Miyamoto @tmiya_

@NaOHaq うーむ、社会人大学院生か。。。

kikx @kikx

グレブナ基底の次がもう決まったのか！