Boomborg Project

Welcome to the Boomborg project home page!

(English version is here.)


萩谷研究室 では、Boomborgと呼ばれるソフトウェア群をGNU Emacs上で開発していま す。Boomborgソフトウェアは「計算=編集」パラダイム という新しいプログラミングパラダイムを基にしています。このパラダイムで は、編集対象となる文書上の情報は様々な制約によって関係付けられている、 と考えます。Boomborgソフトウェアはこれらの制約を文書の中に目に見える記 号の形で記述し、文書の編集中にその制約を解消することを可能にします。

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

このパラダイムを実現するために、Boomborgプロジェクトでは visibilitystructure-freedom という二つの概念を重要視しています。

Boomborg softwares:

* Boomborg/red -- 再帰的関数の計算(簡約)システム
* Boomborg/turing -- チューリング機械のシミュレータ
* Boomborg-PC -- Calculus of Constructionsの型チェッカ (in English)
* Boomborg-Keisan -- フリーフォーマット・スプレッドシート
* Boomborg-Math -- 数式処理システムのユーザ・インターフェース
* Emacs-w3 Red -- 項書き換え制御のユーザ・インターフェース
* Boomborg-HOL -- HOLのユーザ・インターフェース

Notes:


萩谷研ホームページに戻る
{hagiya, blacky}@is.s.u-tokyo.ac.jp
Last updated February 28,1996