<random>ヘッダ概要ページのサンプルコードを整理した