演習システム RED
What's New?
- version 0.3.1 をおきました (2006/1/24)
- version 0.3.0 をおきました (2006/1/16)
- version 0.2.0 をおきました (2005/11/21)
- version 0.1.2 をおきました (2005/10/24)
- ページ立ち上げ (2005/10/18)
記号対応表
記号 | システム上での記法 |
λ | lambda |
→ | -> |
∈ | : |
∀ | All |
Known Issues and Problems
- prctxでの表示の見栄えがよろしくない.
- Nat で +, * が右結合である.
- x-1 と空白なしで書くと x(-1) と構文解析されるが,
x- 1 とすると,x と 1 の引き算と解析され,紛らわしい.
Windows でのインストール方法
- Tk8.3 インストーラのダウンロードページを訪れる.ダウンロード元のサーバ選択画面がでてくるので,表の中から近場のJAISTあたりを探して,右側のアイコンをクリックするとダウンロードが自動的に始まる.これ保存して実行.質問には「next」を選んでいけばよい.インストール後には例によって再起動を求められる.
- red.exe をダウンロードして実行.
ダウンロード
- クイックコマンドリファレンス
- Windows 版(Tk8.3が必要) red.exe (MD5SUM: 0027cfaca7b54bd93d9280427d0ce977)
- linux GUI版(glibc 2.3.2, Tcl/Tk8.4が必要) redtk (MD5SUM: d0b15a52dc790ba1bdc126b8c2c60a45)
- linux コンソール版(glibc 2.3.2 が必要) redtext (MD5SUM: 00cb4231d3d3dc4c8e25589013dcb6c7)
igarashi@kuis.kyoto-u.ac.jp
Last update on $Date: 2006/01/24 12:54:58 $.