論理パズルって自動生成アルゴリズム組めそうだけどそんな余裕はないか