Z に関するファイルはどこにありますか?

World Wide Web (WWW) での情報は http://www.comlab.ox.ac.uk/archive/z.html のページから利用できます． http://www.comlab.ox.ac.uk/archive/formal-methods.html に一般的なフォーマル メソッドの情報があります． WWW のハイパーテキストのシステムは, "netscape", "mosaic" や " lynx" などのプログラムから利用可能です．あなたのシステムから WWW が利用できない場合はシステムマネージャに相談してください． アーカイブはインターネットを通して、anonymous FTP でも利用可能です。 "ftp ftp.comlab.ox.ac.uk" (あるいはうまくいかなければ"ftp 163.1.27.2") とコマンドを 入力して下さい。ログインID として "anonymous"パスワードとしてあなたの電子メー ルアドレスを入力して下さい。"cd /pub/ZForum" と入力することによって Z のアーカ イブディレクトリに行くことができます。 一般的な情報は ftp.comlab.ox.ac.uk:/pub/ZFforum/READMEファイルから、ファイルの一覧は ftp.comlab.ox.ac.uk:/pub/Zforum/00index から得ることができます。(これらのファ イルは、例えば "get README" というコマンドを使って手に入れることができます。)

メールベースの自動アーカイブサーバが PRG にあって,そこには Z FORUM や comp.specification.z の過去の成果や記事があります.また,他の Z 関連の ファイルもいくつか置いてあります.サーバの使い方にもっと詳しく知りたい 場合は <archive-server@comlab.ox.ac.uk> に "help" というコマンドを含む 記事を送って下さい. "index z" というコマンドによってZ 関連のファイル のリストを受け取ることができます.email を使ってファイルを受け取るため には "send z <file1> <file2> ..." というコマンドを含む記事を <archive-server@comlab.ox.ac.uk> に送ってください. アーカイブサーバに 付いて何か問題があったら, <archive-management@comlab.ox.ac.uk> に連絡 を下さい.

Next: どのようなツールが利用できますか?