f8243cb 時点のファイルを生成。ただし、strike 問題については引き続き直接修正。