墓石記号
(証明終了記号 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/12/01 01:32 UTC 版)
墓石記号(はかいしきごう、ぼせききごう、英語: tombstone mark)とは、数学において証明の終わりを示すために用いられる四角形の記号である。証明終了記号(end of proof mark)、Q.E.D.記号(Q.E.D. mark)、ハルモス記号(Halmos’ mark)、ハルモスの箱(Halmos’ box)とも呼ばれる。従来Q.E.D.と書かれていた箇所に、その代わりに表示される。雑誌では、記事の終わりを示すためにこの記号が用いられることがある。
- ^ Paul R. Halmos, I Want to Be a Mathematician: An Automathography, 1985, p. 403.
- 墓石記号のページへのリンク