91 ななしのよっしん
2020/10/23(金) 22:18:26 ID: TVTU3qJnCG
本職の数学者の中では不人気なのか
確かにこれ使うとイキってる感じがするし、実は元の文言からするとイキリでもない何とももやもやした表現だしで二重に恥ずかしい
そりゃ不人気にもなるか
👍
高評価
1
👎
低評価
0
92 ななしのよっしん
2020/10/25(日) 12:22:21 ID: Z3PK9eS1mz
教授にどれだけ言われてもQ.E.D.を使ってるわ
研究室史上最も馬鹿らしい冷戦と言われてるのは知ってる
👍
高評価
0
👎
低評価
0
93 ななしのよっしん
2021/02/12(金) 20:12:12 ID: lVsOR4ZhuC
数学書では定義の終わりに明の終わりに■が使われていた
当然一般的な用法ではないと思われる

この手の記号に関連していうと、なんかも論文じゃ見た記憶がないな
Thereforeって書けばすむしね
👍
高評価
0
👎
低評価
0
94 ななしのよっしん
2021/04/06(火) 12:04:49 ID: 7+OG6da4f9
イキることに特化した言葉やね
👍
高評価
2
👎
低評価
0
95 ななしのよっしん
2022/08/08(月) 14:12:32 ID: jIEE5xhaxh
CoqだとQed.を使うなーと
👍
高評価
0
👎
低評価
0
96 ななしのよっしん
2024/01/10(水) 00:43:19 ID: pAQ0uzT6n6
もしかして
Q=CV V=ED U=QED
👍
高評価
0
👎
低評価
0
97 ななしのよっしん
2025/03/03(月) 18:31:04 ID: yXXSXCZHRx
中学生の時、先生
「どれを使ってもいい」と言われたから
一番簡単な「//」を使っていたが
そんなに不人気だったとは
👍
高評価
0
👎
低評価
0