タイトル 書き換えルールによるノノグラムの解法の表現 著者 小池, 英勝