レベル上の記録型