年末に近づいたので，そろそろはてなダイク（第九）の時期かしら。