タグ

関数型言語に関するpicatiueのブックマーク (4)

  • Objective Caml 入門

    Objective Caml 入門五十嵐 淳 京都大学 工学部情報学科計算機科学コース 大学院情報学研究科知能情報学専攻 e-mail: igarashi@kuis.kyoto-u.ac.jp September�24, 2007 Contents Chapter�1�� 1.1��関数型言語 ML と Objective Camlについて 1.1.1��ML・Objective Caml の特徴 1.2��参考書,資料,マニュアル 1.3��環境設定 Chapter�2�� 2.1��インタラクティブコンパイラを使う 2.1.1��簡単な使い方 2.1.2��その他: ファイルからのプログラムの読み込み・コメント 2.2��基データ型とその演算 2.2.1��unit型 2.2.2��int型 2.2.3��float型 2.2.4��char型 2.2.5��string型 2

  • 経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた - camlspotter’s blog

    今の会社に移って半年経ちました。めでたく試用期間終了です。といっても別に試用期間中に密かに首を切られるような事をしたとか、逆に試用期間が終わったからと言ってこれで定年までのうのうと働ける、という訳ではありません。未来は全く判りません。まあとにかく、一つ区切りがやってきました。 金融を知らないQuantsの仕事 私の職業の肩書きには Quantitatitatitatitative という単語がくっついて超カッコよさそう。普通は Quant というと、金融工学や統計数理に詳しい夜もブイブイいわしている超イケメン20代を想像しますが、私は金融とか全然知らないアラフォーお父さんです。それでも Quant です。お願いですから、私に何を買ったらいいかとか、聞かないでください。金融商品とか買った事ないし。というか、逆に教えて欲しいです。 私のチームは、当の Quant さん達が開発した、金融派生商

    経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた - camlspotter’s blog
    picatiue
    picatiue 2010/12/28
    こういう言語寄りの技術をデリバティブに導入するアイデアは LexiFi (www.lexifi.com) が創めたものです。Haskell マニアが嬉しそうに紹介している機能は実はほとんど使う必要が無い。
  • 数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)

    筆者 住井 英二郎 「プログラミング言語理論」という研究分野がある。この分野の研究者たちは,「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」(円周率計算のことではない)など,多くのプログラマにとっては聞いたこともない言語やモデルについて,日夜研究している。ただ,そのような言語は「難しい」「役に立たない」などと思われがちだ。 この連載では,こうしたプログラミング言語やソフトウエア科学の様々な研究を,できるだけ普通のプログラマやエンジニアにもわかりやすく(どちらかといえば理論よりも実用に重点をおいて)紹介していく。 更新は毎月第2水曜日(1月のみ第3水曜日)

    数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)
  • 転職することとなりました - camlspotter’s blog

    この二年仕事をしてきた会社ですが、アジア圏での更なる発展をめざし、東京オフィスを香港に移転することになりました。(http://www.cufp.org でも既に東京の求人は止めて、香港で出しています。) え、どこの会社?まぁ調べてくださいよ。(追記: Jane Street Global Trading, LLC です。) アジア金融圏でニューヨーク、ロンドンなみの地位を築けた東京も今は昔。ぼぉっと10年無駄にしてる間に、日はその地位を確固とすることのないまま、香港、シンガポールと比べ、規模はともかく、税制、規制面で劣るマーケットになってしまいました。地理的なしがらみの少ないファンドやウチの会社のような prop trading の会社の日脱出は非常に合理的な判断と言えましょう。日人関数型言語プログラマとしては日から関数型言語で飯がえる場所が一つ消えてしまうのは忸怩たる思いがあ

    転職することとなりました - camlspotter’s blog
    picatiue
    picatiue 2010/12/28
    金融(トレーディングシステム)の現場で使われている関数型言語 "特に OCaml コンパイラの内部について精通している人材をこれだけ揃えている所は Caml-dev の外にはそうないのではないでしょうか。"
  • 1