FreeStyleWiki

Z言語

このエントリーをはてなブックマークに追加

[数学,形式検証]

Z言語

ここがすごい

Zは、公理的集合論とラムダ計算、一階述語論理で使われる標準的な数学的記法に基づいている。 Zで記述されたあらゆる式は型づけられており、それにより素朴集合論のパラドックスのいくつかを回避する。 Zは標準化されたカタログを含む。 このカタログは数学的ツールキットと呼ばれる。 このツールキットは、一般的に使われる数学的な関数と述語から構成される。

  調査

  • Z言語をASCIIあるいはLaTeXで表現するには?
    • ZANSのユーザーマニュアルによるとZ言語のASCII表記がZSL, LatexはLatex入力と呼ばれているようだ