Welcome to the Boomborg project home page!

(English version is here.)

Boomborgソフトウェアの特徴をまとめると次のようになります。

• 通常の文書の中に、制約を意味する文字列などを自由に挿入することが できる。
• 文書内に設定した制約は、文書の編集中にいつでも解消することができ る。制約の解消は制約記号の上でEmacsのコマンドを実行することによりおこ なわれる。
• 制約の解消結果は即座にその文書に反映される。
• 文書全体の制約を一度に解消することもできるし、未完成の文書の制約 を部分的に解消することも可能である。

Boomborg softwares:

Boomborg/red -- 再帰的関数の計算(簡約)システム

Boomborg/turing -- チューリング機械のシミュレータ

Boomborg-PC -- Calculus of Constructionsの型チェッカ (in English)

Boomborg-Keisan -- フリーフォーマット・スプレッドシート

Boomborg-Math -- 数式処理システムのユーザ・インターフェース

Emacs-w3 Red -- 項書き換え制御のユーザ・インターフェース

Boomborg-HOL -- HOLのユーザ・インターフェース

Notes:

• 「計算＝編集」パラダイム

  「計算＝編集」パラダイム(Computing-As-Editing Paradigm)は、プログラム の編集過程とプログラムによる計算過程を一体化しようとする計算パラダイム である。「計算＝編集」パラダイムの基本哲学を要約すると次のようになる。

  • 計算機を使う目的は最終的な文書(報告書、論文、本)を作ることにある。
  • 最終文書上の情報は、様々な制約によって関係付けられている。
  • 文書の「編集」過程には、制約の設定と解消が含まれる。
  • 制約を解消することが、すなわち「計算」であるととらえる。

  「計算＝編集」パラダイムは、「編集」と「計算」の作業を自然な形で統合す るためのパラダイムともいえる。

• visibility [Kim88]

  例えばユーザが計算機を用いて文書を作成する、図や絵を描く、表計算ソフト で何かを計算する等の仕事をしているとする。もし計算機が、ユーザが直接確 認したり変更したりできないような情報を内部に隠し持っていたとすると、ユー ザはそれらの情報が今どういう状態になっているのかを常に気にしながら仕事 をしなければならないだろう。これは結果的にユーザに負担をしいることにな る。Scott Kimはこの問題を指摘し、「計算機が内部に持っている情報はすべ てユーザが見たり変更したりできるべきである」というvisibilityの概念を提 案した。

  Boomborgシリーズでは「エディタのバッファ上の情報以外のユーザに見えない 情報は存在しない」ことを目指し、文書上の制約をすべてバッファ上に表示す るようにしている。

  Reference:

  [Kim88] Scott Kim: "Viewpoint: Toward a Computer for Visual Thinkers", PhD thesis, Stanford University, 1988.

• structure-freedom

  エディタの中にはしばしば文書内の構造によって制限された編集操作しか許さ ないようなユーザインターフェースを持つものがある。プログラミング言語の ための構造エディタなどがその例である。そのようなユーザインターフェース を用いると計算機が行なうべき処理はを簡単になる。しかし一方でユーザが行 なえる編集操作の自由度に制限を設けることになる。とりわけプログラミング 作業のように試行錯誤の繰り返しを伴うような作業においては、この制限はは ユーザの作業を頻繁に中断させ、ユーザにかなりの負担を強いる要因となるで あろう。structure-freedomは「文書の持つ構造によってユーザの自由な編集 操作が阻害されるべきではない」ということを押し進めるための概念である。

  Boomborgシリーズでは編集対象を通常のテキストとし、汎用のテキストエディ タ上で構造を意識することなく編集できるようにしている。