なお次の略称が使われている