このチュートリアルは、プログラミング言語 Oz とMozart プログラミングシステムへの導入のためのものです。Oz は、先進、並行(concurrent)、ネットワーク、ソフトリアルタイム(soft real-time)、そしてリアクティブアプリケーション(reactive application)のためにデザインされたマルチパラダイム言語(multi-paradigm language)です。Oz はオブジェクト指向プログラミング(object-oriented programming)の顕著な特徴である、状態(state)、抽象データ型(abstract data type)、オブジェクト(object)、クラス(class)、そして継承(inheritance)を提供します。また関数型プログラミング(functional programming)の顕著な特徴である、合成構文(compositional syntax)、第一級の手続き/関数(first-class procedure/function)、そしてレキシカルスコープ(lexical scoping)を提供します。また論理プログラミング(logic programming)と制約プログラミング(constraint programming)の顕著な特徴である、論理変数(logic variable)、制約(constraint)、選言的構築(disjunction constructs)、そしてプログラム可能な探索(search)機構を提供します。またユーザーに動的に大量のシーケンシャルスレッドを生成する事を許します。このスレッドは、スレッドが操作を実行するのを全ての被演算子(operand)が解決(well-defined)された値になるまで待機するという意味で、データフロースレッドです。
チュートリアルは Oz のコンセプトの大部分をインフォーマルなやり方でカバーします。理論的背景なしにすぐにプログラムを書き始められるようになりたいプログラマーにとって、最初に読むのに適しています。文書はインフォーマルに提供され、他の Oz の文書を補完するものになっています。
Mozart プログラミングシステムは DFKI (the German Research Center for Artificial Intelligence)、 SICS (the Swedish Institute of Computer Science)、 the University of the Saarland、 UCL (the Universit� catholique de Louvain)、およびその他の研究者によって開発されました。
| M | N | T | U |