2015/5/22 #maths4pg 第3回 プログラマのための数学勉強会

tsujimotter 日曜数学者 @tsujimotter

「今日伝えたかったこと：この図式の素晴らしさ」 #maths4pg

リング @matsumoring

図式の素晴らしさを伝えたかった #maths4pg

ヲヲ @wowo_k

「今日伝えたかったこと： この図式の素晴らしさ」 #maths4pg

s.t. @simizut22

可換図式が一番楽しいのは圏論だ #maths4pg

Tomohiko@草数学者、圏力トレーニング中 @KinebuchiTomo

「公理化」=「数学的開き直り」 #maths4pg

岩淵夕希物智 @butchi_y

行列計算に学ぶ「急がば回れ」 #maths4pg

s.t. @simizut22

公理化する前に環と体の定義から入ろうな #maths4pg

リング @matsumoring

あ、抽象的ベクトル空間だ！ #maths4pg

tsujimotter 日曜数学者 @tsujimotter

まるでガロア理論のイントロをしてくれたような素敵な発表w #maths4pg

s.t. @simizut22

抽象クラスを切り出すに数学を近づけている #maths4pg

Tomohiko@草数学者、圏力トレーニング中 @KinebuchiTomo

「公理化による抽象化」は「プログラミングでの抽象化」に感覚が近い. #maths4pg

リング @matsumoring

エンジニア的には抽象クラスを切り出すこと…？ #maths4pg

s.t. @simizut22

fibanacci 数列?? ああ数列空間の話か #maths4pg

リング @matsumoring

時間に追われる発表者（安心した） #maths4pg

tsujimotter 日曜数学者 @tsujimotter

終わったと思ったらちょー面白い話きたw #maths4pg

s.t. @simizut22

数列空間における shift operator の導入 #maths4pg

s.t. @simizut22

線形微分方程式． 物理屋さんからの説明なのかな?? #maths4pg

リング @matsumoring

微分方程式の発表のイントロまで…さすがだ #maths4pg

s.t. @simizut22

内点法まだー?? #maths4pg

リング @matsumoring

「線形感覚」www #maths4pg

Tomohiko@草数学者、圏力トレーニング中 @KinebuchiTomo

"公理" = "メソッド" + "動作仕様" と見ると, 公理で定める感覚は (Java での) interface を書いて, その仕様を定めることに近い. #maths4pg

s.t. @simizut22

5次方程式が代数的に解けないわけ #maths4pg

Tomohiko@草数学者、圏力トレーニング中 @KinebuchiTomo

次は代数方程式の解について. @tsujimotter さん. #maths4pg

s.t. @simizut22

ζ が触れる #maths4pg

三重積 @triprod1829

食べられるゼータ関数の衝撃 #maths4pg