rice theoremダタクスの祠ティア松葉公園