JMdictDB - Japanese Dictionary Database

Entries

Search | Advanced Search | New Entry | Submissions | Help
Login for registered editors
Username:
Password:
jmdict 2860176 Rejected (id: 2291787)
証終
しょうしゅう
1. [n] {mathematics}
《abbr. of 証明が終わった》
▶ end of proof marker
▶ QED

History:
8. R 2024-02-13 20:09:32  Stephen Kraus <...address hidden...>
  Comments:
Fork
7. A* 2024-02-13 09:02:47 
  Comments:
A site:ac.jp search brings up some stuff.
6. A* 2024-02-13 03:56:06  Jim Breen <...address hidden...>
5. A 2024-02-13 03:55:47  Jim Breen <...address hidden...>
  Refs:
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14238433999
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q10131595015
  Comments:
Thanks for those examples, Ben. I can see it being discussed in that context. I guess not many mathematical proofs turn up as web pages.
I'll lock it in with a note and reopen for further discussion, if any.
  Diff:
@@ -13,3 +13,3 @@
-<gloss>Marker of end of proof in mathematics</gloss>
-<gloss>Quod Erat Demonstrandum</gloss>
-<gloss>Q.E.D.</gloss>
+<s_inf>abbr. of 証明が終わった</s_inf>
+<gloss>end of proof marker</gloss>
+<gloss>QED</gloss>
4. A* 2024-02-12 23:28:41  Ben Bullock <...address hidden...>
  Comments:
In a mathematics text the marker of the end of the proof is used to aid the reader to distinguish between the proof's text and whatever remarks the author might add after the proof has finished. It's often marked with a black square or a white square like ■ or □ instead. This usage is restricted to mathematics texts of course, but it's commonly seen even on the internet. 

https://service.zkai.co.jp/books/toudai/pdf/k6.pdf
http://www.misojiro.t.u-tokyo.ac.jp/~murota/lect-kisosuri/cauchyseq041109.pdf
https://www.math.tsukuba.ac.jp/~tange/jugyo/18/slide.pdf

A lot of the PDFs found with Google seem to have the ability to search the text switched off, but there are examples here:

https://horibe.jp/PDFBOX/HD_pi.pdf

As far as I can tell, there are not many Japanese mathematics books available in online form, so what I'll do is go to the library and take some pictures of various random maths books. Hopefully that will be enough to "end the proof" that this is a real word.
(show/hide 3 older log entries)

View entry in alternate formats: jel | edict | jmdict xml | jmnedict xml | jmdictdb xml