タグ

2007年8月29日のブックマーク (4件)

  • Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa

    Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa Didier Rémy APPSEM'2000 summer school1 Copyright © 2000, 2001 by Didier Rémy. These notes have also been published in Lectures Notes in Computer Science. A preliminary version was written for the Appsem 2000 summer school held in Camina, Portugal on September 2000. The notes are also available in Postscr

    okagawa
    okagawa 2007/08/29
    OCamlチュートリアルの一つ
  • w.l.o.g. ギャップバッファ

    04:40 04/06/04 ピーステーブル PieceTable とも言う。文字列の Piece(小片)を繋げて、 一つの巨大な文書を表現する方式。 検索すると引っかかる文書のほとんどが AbiWord 関係なので、 このワープロソフトの主要な内部データ構造ということなのかな。 他に、MS-WordやOpenOffice.org関連の文書にも登場していて、 基的に単なるテキストエディタよりは、文字に付加情報をくっつける系の 編集ソフトに使われる場面が今のところ多いみたいです。 余談ですがAbiWordは、綱渡り的にですがBeOS版の開発が続いている貴重なワープロソフトなのです。感謝感謝。 概要 ファイルを読み込んだとしましょう。ABCDEFG、という7文字のファイル。 とりあえず、7文字分のOrigという名前のバッファを用意して、そこに格納します。 それと別に、Addという名前の空のバ

    okagawa
    okagawa 2007/08/29
    ropeの解説。前後のアルゴリズムも勉強になる。
  • Software

    okagawa
    okagawa 2007/08/29
    Vim拡張for OCamlがある。
  • t.dvi

    Purely Functional Data Structures Chris Okasaki September 1996 CMU-CS-96-177 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Thesis Committee: Peter Lee, Chair Robert Harper Daniel Sleator Robert Tarjan, Princeton University Copyright c 1996 Chris Okasaki This research was sponso

    okagawa
    okagawa 2007/08/29
    書籍版はHaskellのコードもついている。