これらはここでは詳述しない.
ここでは