Haskellで計算機代数勉強会

Masahiro Sakai @masahiro_sakai

@1to100pen 自分の発表は基本的に前提知識なしで理解できる内容のつもり。 グレブナー基底の定義については @mr_konn さんの発表を聞けば、最小限の理解は出来るのではないかなぁ、多分。

Chaton Haskell @chaton_haskell

ikegami__: 2013-05-04 に行われる予定の Haskellで計算機代数勉強会 について、この場を借りて議論させてください。 http://t.co/gS1g3EiqrD… http://t.co/IqjkRJaUhU

Chaton Haskell @chaton_haskell

ikegami__: 会場にはネット環境がないと想像しています（あればすばらしい） http://t.co/3IJpmaQCbT

Chaton Haskell @chaton_haskell

ikegami__: 事前に用意したほうがよいのでは？とおもうものを、つらつらとリストアップします http://t.co/wqNlsDSeHt

Chaton Haskell @chaton_haskell

ikegami__: Haskell Platform を事前に用意すべきです。Haskell の処理系と Cabal は手元で動いたほうがいいでしょう http://t.co/25CqheP9oi

Chaton Haskell @chaton_haskell

ikegami__: @mr_konn さんの computer-algebra パッケージをもげるなら、github から引っ張るために git をインストールしておいたほうがよいです http://t.co/nCoXt6KhnQ

Chaton Haskell @chaton_haskell

ikegami__: つぎに、グレブナ基底の予習に便利なコンテンツを紹介します（ここから Haskell はあまり関係ない off topic になります） http://t.co/Lyjzha4EVP

Chaton Haskell @chaton_haskell

ikegami__: PCMI 2008 の Buchberger 先生のテキスト : http://t.co/QN8JrpNi3u http://t.co/2n6IhtLBok

Chaton Haskell @chaton_haskell

ikegami__: EACA 2012 の Cox 先生のスライド : http://t.co/Cnranm4L8f http://t.co/HLATt1t6KT

Chaton Haskell @chaton_haskell

ikegami__: 一松 信先生の、一般人向けの Gröbner 基底の説明。たとえば、一松 信『数学とコンピュータ』共立出版 1995 http://t.co/AgR7Kguj16

Chaton Haskell @chaton_haskell

ikegami__: 日比 孝之先生の、「現代の産業社会とグレブナー基底の調和」2011 にある Gröbner 基底の説明（スライド 1 枚ですます） http://t.co/OYYWO16pRy

Chaton Haskell @chaton_haskell

ikegami__: http://t.co/5hDKGDYezX http://t.co/I96JGQPGPA

Chaton Haskell @chaton_haskell

ikegami__: ぼくからは以上です。 http://t.co/cu6C3p9TMX

Chaton Haskell @chaton_haskell

ikegami__: 発表者の皆さんは質問を受けたら答えるタイプですので、わからないことがあれば当日に持ち込んでいただきたい http://t.co/r9PqczYmJt

Chaton Haskell @chaton_haskell

ikegami__: 前日であっても、この場をお借りするか、適当な場所で議論はできます。 http://t.co/38iTs0XMvB

ヽ|・∀・|ノ @i_am_a_youkan

勢いで計算不変式論の話をしたいとか言ったものの、真面目にやると、色々大変であった #どうしよう

Chaton Haskell @chaton_haskell

sakai: 有限体の計算をするためのコードを https://t.co/Xj7kdXFyrX で書いていて、型レベル自然数が欲しいのですが、今だとどの実装を使うのが良いでしょう? http://t.co/tEMIydyMrj

Chaton Haskell @chaton_haskell

sakai: ikegami__さん、計算機代数勉強会のページに参考資料として転記しておきました。 ついでに編集者にも加えておきました :-) http://t.co/O4PksApyvM

Chaton Haskell @chaton_haskell

sakai: しかし、こんな勉強会に20人も集まるなんて、世の中狂ってる…… http://t.co/UMnABliTJE

Chaton Haskell @chaton_haskell

ikegami__: いただいた編集権を行使して、参考文献リストに丸山先生の資料を加えました。 http://t.co/QppXDXwRxt

Chaton Haskell @chaton_haskell

ikegami__: 参考文献が 5 つになりましたが、グレブナ基底の初歩的なことを書くと応用がおろそかになり、逆も然りなので、相補う形になります。これ以上僕から増やすことはないと思います… http://t.co/uWl7OWUiiV

Chaton Haskell @chaton_haskell

ikegami__: ２進表現の型レベル数だと type-level-numbers があるらしい http://t.co/Ydjs9TTgnh http://t.co/R2PUZwjvkj

Chaton Haskell @chaton_haskell

ikegami__: 素体を計算したいのなら、特に整数が必要になると思われるのですが、上記の type-level-numbers には実装があるみたいです http://t.co/IvQZewIaKS

Chaton Haskell @chaton_haskell

ikegami__: 使ったことはないので外しているかもだ http://t.co/JCF87G3bTb

Chaton Haskell @chaton_haskell

sakai: type-level-numbersに乗り換えて、Hackageにもアップロードしてみました。 http://t.co/mnHHF7RX3t https://github… http://t.co/lLKUy2vxn9