>>863
定理を論文に書く　→　haskellで確認する
アルゴリズムを論文に書く　→　実証用の簡易実装をhaskellで作って公開する
数値実験　→　haskell環境で実験

haskellのコードに限りなく近い形で論文に掛けるからhaskellを使ってる