Haskellで計算機代数勉強会
- masahiro_sakai
- 4329
- 0
- 1
- 0
昨日の計算機代数勉強会の自分の発表資料を以下に置きました。PDF: http://t.co/aNFw1MbXSR Keynote: http://t.co/BrDvJx5kJ9 Slideshare: http://www... http://t.co/dnqPiN5qUQ
2013-05-05 10:42:06sakai: ikegami__ さん。昨日話したシンデレラは http://t.co/DUYEX4TItT です。 http://t.co/EQPmVVzw5e
2013-05-05 13:08:28昨日の発表資料を作るに際して、選択部分の TeX 数式を STIX font を使ってそれっぽくRTFでレンダリングするサービス(OSX のメニューから実行できるアレ)を作ったのだが、変換前のスタイルに合わせるように改良したいと思っている
2013-05-05 14:04:17ikegami__: シンデレラはまだ生きています : https://t.co/bVbTL4Mstt : http://t.co/4jFmdbyaBE http://t.co/eK3pYUvxGF
2013-05-05 20:48:00ikegami__: Coq が裏で走る系で GeoProof というのがあります : http://t.co/QKz50yc8kv http://t.co/iqOHswlnP4
2013-05-05 20:48:40ikegami__: 大人が本気出すと中線の定理の証明をすっぱりとできるんですね… : http://t.co/ZoRaaLSy8J にある geom.ml の最終具体例 http://t.co/tRhYLgVBPl
2013-05-05 20:55:33ikegami__: あれ、でも中線の定理はコメントアウトされているぞ??? http://t.co/nYo1TepGDz
2013-05-05 20:56:20@erutuf13 『不変式論が今どこまで盛んなのか』ですが、コホロモジー論とか言うのと同じで、今ではそれ自体の研究より、表現論や代数幾何で時々使う技の一つという面が強い気がします。具体的には、幾何学的不変式論や(ある種の)symplectic簡約の計算とかで見かけます
2013-05-06 07:39:46@maophilia そうなんですか。発表されていた計算不変式論もそういうツールとしての需要を汲んで進んでいるということですかね。
2013-05-06 08:27:21@erutuf13 不変式論ユーザーは色んな研究テーマに散在してますし、必ずしも特定の問題への応用を見据えて研究してるわけでもないでしょうけど、そういう需要を全く知らないってことはないと思います。まぁMacaulay2やらに実装する人が出る程度には需要があると
2013-05-06 09:03:02@maophilia ふむ。まあ個々人が特定の応用を意識しているというより背景的な影響はいくらかはあるのかなと。色々な情報ありがとうございます。
2013-05-06 12:01:47今頃、新宿or新宿三丁目から武蔵小杉が乗り換えなしで行けることに気付いて、衝撃を受けている。渋谷で乗り換えてたわたしは何やったんや。東京の路線複雑すぎるだろ!
2013-05-06 12:37:44Risa/AsirにCylindrical algebraic decompositionが実装されてるらしきを発見した。ドキュメントに書いてないじゃんorz
2013-05-06 18:56:38