展開タイプのみが欲しい場合は、↑を展開するよりも雲の公式から帰納的に導出すると早い