>>115 タイプの定義は理論によるものなのだから、理論を理解せずして定義は不可能ではありませんか