型の構造とサイクル検出 ノート