「ｔ：」の編集履歴（バックアップ）一覧はこちら

「ｔ：」(2008/07/10 (木) 19:22:40) の最新版変更点

追加された行は緑色になります。

削除された行は赤色になります。

**ｔ：（てぃー）
-ｉ言語で使われる記号。
-定理、つまり決まっていることを指す記号。
-一度通った[[ｆ：]]は、それ以降、定理としてｔ：で扱われる。
-最近ではルール関係もｉ言語で書かれており、発表されるときはたいていｔ：が使われる。
-ｔ：の集合体としてＬ：（ライブラリ）が存在する。アイドレスデータなどは、Ｌ：つまりｔ：の集合で書かれる。