Language ${\cal L}$

言語${\cal L}$ (竹内格)

基本的な形式系や実行系のみでなく、実際に人間つまりプログラマに使われ るためには、抽象度が高く、使われやすい言語が与えられなければなりません。 言語${\cal L}$は、相互作用に基づいた言語で、一連の通信を表記可能でか つ抽象化可能であります。その一連の通信を一種の型としてとらえ、それを検 査するシステムやアルゴリズムを提供します。