generated at
赤ペン
添削や修正を意味する。
添削に赤いペンを用いる 場合が多いことから。

朱を入れる