タグ

関連タグで絞り込む (2)

タグの絞り込みを解除

OCamlとLAPACKに関するkuyのブックマーク (2)

  • ICFP 2014 参加報告 兼 研究紹介 - 住井・松田研究室 / Sumii-Matsuda Laboratory

    M1 の阿部です.先週,スウェーデンのヨーテボリで開催された ICFP 2014 と,その併設イベントである OCaml Workshop 2014,ML Family Workshop 2014 に参加しました.(写真は ICFP の会場とヨーテボリの街並み) 時差ボケで大変でしたが,興味深い発表を沢山見ることができました!東北大からは他に,O堀研のO堀先生やU野さんが参加・発表されていました.私は,自分の論文が OCaml Workshop に採択されたので,その発表のために参加していたのですが(発表自体は ML Workshop),体調不良のために発表は住井先生に代わってもらうことに・・・折角の機会だったのに,残念です.このままだと,私が自分の研究について語る機会がなくて悔しいので,この場を借りて簡単な研究紹介をしたいと思います!(ごめんなさい,内容は簡単ですが,長文です.) まえお

    ICFP 2014 参加報告 兼 研究紹介 - 住井・松田研究室 / Sumii-Matsuda Laboratory
  • Sized Linear Algebra Package (SLAP)

    What’s SLAP? SLAP is a linear algebra library in OCaml with type-based static size checking for matrix operations. Many programming languages for numerical analysis (e.g., MatLab, GNU Octave, SciLab, etc.) and linear algebra libraries (e.g., BLAS, LAPACK, NumPy, etc.) do not statically (i.e., at compile time) guarantee consistency of dimensions of vectors and matrices. Dimensional inconsistency, e

    kuy
    kuy 2017/02/19
    次元の合わない行列演算をコンパイル時に検出する機能を持ったOCaml用の線形代数演算ライブラリ。
  • 1