備忘録。
kは0以上の整数とする。使う記号。
記号 | 意味 |
---|---|
in | |
from | 構成のソース指標 |
to | 構成のターゲット指標 |
k-σ | k-指標 |
k-γ | k-構成 |
k | k-射の宣言 |
:k | k重のコロン |
→k | k重の矢印 |
:= | 割り当て記号 |
( ) | パラメトライズ |
( ) | 気休め語〈consolation word〉 |
{ } | ブロック構造 |
気休め語〈consolation word〉は次の形で使える。
- k-σ(fooBar)
- k-γ(fooBar)
- k(fooBar)
- X(fooBar){ } パートのブロック、Xはラテン大文字