演習システム RED
What's New?
- version 0.3.3 をおきました (2006/11/29)
- version 0.3.2 をおきました (2006/10/30)
- 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
- GUI 版で停止しない計算を開始すると,システム全体を止めるしかなくなる.
- prctxでの表示の見栄えがよろしくない.
- x-1 と空白なしで書くと x(-1) と構文解析されるが,
x- 1 とすると,x と 1 の引き算と解析され,紛らわしい.
Windows でのインストール方法
- Tk8.3 インストーラのダウンロードページを訪れる.ダウンロード元のサーバ選択画面がでてくるので,表の中から近場のJAISTあたりを探して,右側のアイコンをクリックするとダウンロードが自動的に始まる.これ保存して実行.質問には「next」を選んでいけばよい.インストール後には例によって再起動を求められる.
- red.exe をダウンロードして実行.
ダウンロード
- クイックコマンドリファレンス
- Windows 版(Tk8.3が必要) red.exe (MD5SUM: c92a4d691441e535abb8713c4dcb9437)
- linux GUI版(glibc 2.3.2, Tcl/Tk8.4が必要) redtk (MD5SUM: 11aa07d3a913b302f09f943bbe7c018e)
- linux コンソール版(glibc 2.3.2 が必要) redtext (MD5SUM: c21a490c6a72dad9f23277958373a406)
igarashi@kuis.kyoto-u.ac.jp
Last update on $Date: 2006/12/04 10:42:17 $.