数学記号を考案・改良するスレ

**１３２人目の素数さん** · 2020/02/21(金) 20:34:15.89

数学記号というのは、まだまだ改良の余地があると思う。
特に=の記号なんかは何通りかに分類して書き分けても良いのではないだろうか？

**１３２人目の素数さん** · 2020/04/20(月) 14:58:40.28

>>173
それはセンスなさ過ぎ
不等号の向きを揃えるのが基本
さらに右側を大きな数にすると、数直線と対応して読みやすい

**１３２人目の素数さん** · 2020/04/20(月) 16:27:14.70

「x＜1 または 2＜x」だろ

**１３２人目の素数さん** · 2020/04/20(月) 17:55:30.60

x＜1 ∩ x＞2　?
1＞x＜2　　　 ??

(x-1)(x-2)＞0
⇒x＜1 ∩ 2＜x

**１３２人目の素数さん** · 2020/04/20(月) 21:00:23.84

プログラミングではxを左に書く流儀がそれなりに地位を得てるな
プログラミングでは修正のしやすさが重要視されていて、例えばx > 2に付け加えてx < 1 || x > 2にしたり、x < 1 || x > 2から削除してx > 2にしたりが、xを左に統一する流儀だと楽

**１３２人目の素数さん** · 2020/04/20(月) 21:58:35.01

>>177
順番を逆にしたら何が不都合なのか

**１３２人目の素数さん** · 2020/04/20(月) 22:16:42.02

>>178
x > 2単体で書くときに2 < xと書く流儀なら修正しやすさに違いはないかな
書き忘れてたけど、変数を左に書くのは「主語述語の順に読み下せる」的な意味もある

**１３２人目の素数さん** · 2020/04/20(月) 22:26:08.69

>>179
それだと
２はｘより小さい
でも何ら問題ない

数学民に響く理由はないの？

**１３２人目の素数さん** · 2020/04/20(月) 23:44:17.68

>>180
「2より大きい」は数学用語の意味でも述語だし、「xは1より小さいか2より大きい」と主語を省略できるから考えやすいとは思う
数学民に響く理由は知らん

**１３２人目の素数さん** · 2020/04/21(火) 01:36:08.27

やべ、&とorを間違った。訂正ついでにID:8+nBZFTUの意向を汲んで追加筆

数学
(x-1)(x-2)＞0
× ⇒1＞x＜2 {(∵ (1＞x＜2)=(x＜1 ∩ x＞2)≠(x＜1 ∪ x＞2)}
△ ⇒x＜1 ∪ x＞2
○ ⇒x＜1 ∪ 2＜x

情報数理
(x-1)(x-2)＞0
× ⇒1＞x＜2 {(∵ (1＞x＜2)=(x＜1 ∩ x＞2)≠(x＜1 ∪ x＞2)}
△ ⇒x＜1 ∪ 2＜x
○ ⇒x＜1 ∪ x＞2

集合和積∪∩じゃなくて論理和積∨∧の方が良かった？

**１３２人目の素数さん** · 2020/04/21(火) 01:36:39.57

>>174
> 不等号の向きを揃えるのが基本

数学の美的センスのような物だよな

**１３２人目の素数さん** · 2020/04/21(火) 07:56:58.92

√2/2よりも、1/√2の方が美しい
問題文に「分母は有理化すること」と書いてあるとモヤモヤする

**１３２人目の素数さん** · 2020/04/21(火) 14:34:58.55

俺もそう思ってた

**１３２人目の素数さん** · 2020/04/21(火) 17:00:47.89

ユーリカ！

**１３２人目の素数さん** · 2020/04/21(火) 22:12:59.65

因数分解と素因数分解という用語を統一したい

**１３２人目の素数さん** · 2020/04/21(火) 22:49:07.02

>>184
線型代数やれ

**１３２人目の素数さん** · 2020/04/22(水) 01:48:08.93

>>187
素元分解

**１３２人目の素数さん** · 2020/04/22(水) 05:33:19.73

図I、図IIという表記を廃止し、図1、図2にする

**１３２人目の素数さん** · 2020/04/22(水) 16:52:35.56

図0 から始めよう

**１３２人目の素数さん** · 2020/04/22(水) 19:07:18.92

小泉今日子を KYON^2 と表す件について

**１３２人目の素数さん** · 2020/04/22(水) 19:13:50.44

>>73-74
KYON^2(歳)

**１３２人目の素数さん** · 2020/04/22(水) 20:24:36.14

ハンター×ハンター

**１３２人目の素数さん** · 2020/04/23(木) 07:30:57.33

>>73
log^2 x と書いている国もあるよ
国によって数学の記号の流儀が異なることもある

**１３２人目の素数さん** · 2020/04/23(木) 10:08:44.12

「したがって、よって、ゆえに」の使い分けについて

**１３２人目の素数さん** · 2020/04/23(木) 10:50:15.80

∀xとかが後ろにあるともやっとする
x+0=0+x=x ∀x
みたいなの

**１３２人目の素数さん** · 2020/04/23(木) 12:32:47.20

>>196
同じ意味だろ

**１３２人目の素数さん** · 2020/04/23(木) 18:43:07.87

「よって」って「だから」レベルの俗語だよな
学術用語ではない

・ゆえに，それゆえ
定理の証明
・したがって
公理・公準の援用

**１３２人目の素数さん** · 2020/04/23(木) 18:44:02.49

～によって
という日本語はあるが
よって～
という日本語はない

**１３２人目の素数さん** · 2020/04/23(木) 18:46:05.82

>>197
論理式や数式って右から読むと理解できることもあるんだぜ
左から書いて読むなんていうのは最近の出来事
それだから
関数f(x)も(x)fとかxfって書いた時代もあった

**１３２人目の素数さん** · 2020/04/23(木) 18:52:39.91

たとえば群の単位元なんていうのがわかりやすい例だと思う：

∃e∈G；　∀x∈G，　x=x*e=e*x

これを右から読むと

x*e=e*x=x
となるすべてのxに対して
eが存在する

**１３２人目の素数さん** · 2020/04/23(木) 19:05:02.52

>>202
お前バカだな
「任意」と「ある」の順序を変えたら意味が全然違うぞ

下の文の e は xに依存しても良いから

**１３２人目の素数さん** · 2020/04/23(木) 19:09:51.68

笑ったw

色々知識をひけらかしても>>202は論理の基本が分かってないな

**１３２人目の素数さん** · 2020/04/23(木) 19:10:22.65

>>203
右から読んでも順序は変わらない

∀x∈G，　x=x*e=e*x

をみたすようなeが存在する

お前こそ
そんな考えじゃ
この任意の元に何か代入してんじゃないのか？
任意の元だから任意に選ぶっていう奴

**１３２人目の素数さん** · 2020/04/23(木) 19:18:58.78

論理式も同じだぞ

(∃x)(∀y)FxGy

すべてのGyをみたすようなFxが存在する

これをただ左から読もうとすれば

Fxが存在しすべてのGy

という意味がよくわからないものとなる

それだから右から読むことを勧めたまで

**１３２人目の素数さん** · 2020/04/23(木) 20:13:15.55

じゃあε-δを逆に読んでも同じ意味になるのかよ

**１３２人目の素数さん** · 2020/04/23(木) 21:14:11.97

デルタは適当にとれるが
イプシロンは任意に固定されている

これがわかっている奴の質問とは思えんな

**１３２人目の素数さん** · 2020/04/23(木) 21:16:06.30

εは任意だから1とおくだとか
εは任意だからε/2とするとか

そういうのは全部間違いだぞ

**１３２人目の素数さん** · 2020/04/23(木) 21:51:39.09

大輝くん元気～？

**山本大輝** ◆MR2ZPDP6w6 · 2020/04/23(木) 22:11:45.67

>>210
俺をkingみたいに呼ぶなｗ

**１３２人目の素数さん** · 2020/04/24(金) 07:06:28.00

上への写像(onto)という言葉はイヤだ

**１３２人目の素数さん** · 2020/04/24(金) 16:25:09.23

中への写像も同類だな

**１３２人目の素数さん** · 2020/04/24(金) 21:21:28.50

自然な写像は？

**１３２人目の素数さん** · 2020/04/25(土) 08:15:23.25

「内」積・「外」積という用語について

**１３２人目の素数さん** · 2020/04/25(土) 13:40:22.04

外積は分かるが内積は何だろね

**１３２人目の素数さん** · 2020/04/25(土) 13:57:47.26

2つのベクトルの間(内)にある角度かな

**１３２人目の素数さん** · 2020/04/26(日) 00:39:13.39

内部積ってのもあるね

**１３２人目の素数さん** · 2020/04/26(日) 05:44:23.67

3乗根を「ルートの左上に3」と書くのは不自然だと思う

**１３２人目の素数さん** · 2020/04/26(日) 11:42:02.04

他に書く場所がない

**１３２人目の素数さん** · 2020/04/26(日) 12:23:00.52

5の3乗根を3√5に見間違えるとかなら分からんでもないが不自然では一切ないな

**１３２人目の素数さん** · 2020/04/26(日) 13:06:05.42

立方根はcube root of 2とか2^(1/3)とか別の方法でも書いてほしいよな。

**１３２人目の素数さん** · 2020/04/26(日) 13:14:15.61

学術の巨大掲示板群 - アルファ・ラボ
ttp://x0000.net

数学物理学化学生物学天文学地理地学
IT 電子工学言語学国語方言など

**１３２人目の素数さん** · 2020/04/27(月) 07:11:21.62

「ε-δ論法」を廃止し「δ-ε論法」にする

**１３２人目の素数さん** · 2020/04/27(月) 20:40:28.95

>>224
> 「ε-δ論法」を廃止し「δ-ε論法」にする

ε-δ論法の論理構造を君が全く理解していないって良く分かったよ

**１３２人目の素数さん** · 2020/04/27(月) 21:49:36.09

(∀a)(∃b)Fab　適当にとったbに応じてaも変化する(もちろん任意に固定されている)

(∃b)(∀a)Gab　bを適当にとってもaは固定されたまま(Gの全体)

粋蕎 ◆C2UdlLHDRI · 2020/04/27(月) 22:06:58.37

コテハン「哀れな素人」こと安達氏に言え
彼は『任意の』の意味も履き違えとった

**１３２人目の素数さん** · 2020/04/27(月) 22:15:09.15

生きてたんかお前……

**１３２人目の素数さん** · 2020/04/27(月) 22:16:03.74

>>226
お前の∀aとか∃bにかっこをつける記法は結構珍しい流儀だけど何が由来？
つかコテつけとけ

**山本大輝** ◆MR2ZPDP6w6 · 2020/04/27(月) 22:38:59.65

>>229
丹治信治の論理学だよ

粋蕎 ◆C2UdlLHDRI · 2020/04/27(月) 23:26:15.03

田舎じゃけぇの。kingもmixiに引きこもり毎日、日記を書いとるぞ
しかしkingは本当に理研なんじゃろうか？

>>211
はて？kingが去った後に暇した儂も知らん貴殿が何故、kingを知っとる？

**１３２人目の素数さん** · 2020/04/27(月) 23:27:12.43

>>230
数学書読めや

**山本大輝** ◆MR2ZPDP6w6 · 2020/04/27(月) 23:42:56.65

>>232
昨日から竹之内脩の集合と位相を読み直している
集合算の基礎の証明でもいくつかトートロジーが使われていて
論理学を学ぶ前では気づきもしなかったことだった

って感じで数学も読んでる

**１３２人目の素数さん** · 2020/04/27(月) 23:57:26.93

>>233
論理学の数学書読めや

**山本大輝** ◆MR2ZPDP6w6 · 2020/04/28(火) 00:06:23.27

>>234
論理学の数学書？ｗ
数理論理学のことか？
何れ読むよ

俺には目標があって
成田正雄のイデアル論を読むことなんだ

**１３２人目の素数さん** · 2020/04/28(火) 00:26:06.07

>>235
(哲学書を読むなとは言わんが、数学板で論理について語りたいならまず)論理学の数学書(である数理論理学の本)読めや

**１３２人目の素数さん** · 2020/04/28(火) 09:57:51.39

「必要」条件、「十分」条件という言葉のわかりずらさは異常

**１３２人目の素数さん** · 2020/04/28(火) 23:16:55.17

そうか？

**１３２人目の素数さん** · 2020/04/28(火) 23:17:13.13

そうか？

**１３２人目の素数さん** · 2020/04/29(水) 09:54:14.78

∩をキャップ、∪をカップと呼ぶのはイヤだ

**１３２人目の素数さん** · 2020/04/29(水) 12:47:15.19

猫背と海老反りにする？

**１３２人目の素数さん** · 2020/04/29(水) 14:42:12.60

フールズキャップ黒歴史大学ノート

**１３２人目の素数さん** · 2020/04/30(木) 06:55:21.04

時計回り・反時計回りという言葉を廃止し、右回り・左回りにする

**１３２人目の素数さん** · 2020/04/30(木) 13:18:22.67

そういえば逆回り時計もあったな

**１３２人目の素数さん** · 2020/04/30(木) 15:27:12.97

お前ら廃止だとかイヤだとか書くならその理由もちゃんと書け

**１３２人目の素数さん** · 2020/05/01(金) 18:14:58.87

イヤイヤ期

**１３２人目の素数さん** · 2020/05/02(土) 19:00:04.40

7の読み方を「なな」「しち」のどちらかに統一してほしい

**１３２人目の素数さん** · 2020/05/02(土) 21:49:51.50

ディアドの呼び方と記号が混乱しまくり
https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E7%A9%8D

とりあえずディアドのことを外積と呼んだり、テンソル積と呼ぶのはやめるべきだと思う。

**１３２人目の素数さん** · 2020/05/03(日) 00:08:27.51

>>243
むしろ、回転の角度を「3時の方向から反時計回り」で考える数学界の悪習を廃して、
時計の動きを模した「12時の方向から時計回り」に切り替えるべき。

**１３２人目の素数さん** · 2020/05/03(日) 00:19:18.29

3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ，
宿題が 3/10 = 30% でした！
宿題の勝率が低すぎると思うので、
これからは一層精進していきたいです！
https://twitter.com/shukudai_sujaku/status/1256593951349338116
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2020/05/03(日) 11:27:55.43

>>247
訓読みと音読みの両方があるから日本語だ

**１３２人目の素数さん** · 2020/05/03(日) 13:28:30.82

最近は「∴」の使用頻度が低下しつつあるらしい

**１３２人目の素数さん** · 2020/05/03(日) 14:50:36.43

>>247
シチはイチと音が似てるからナナが使われる
シがヨンと読まれるのもニとの混同を防ぐため

**１３２人目の素数さん** · 2020/05/03(日) 17:12:49.71

∵ を『但し』の意味で使われる事は有るのかな？
『しかし』の意味で使われる記号は無いのかな？

**１３２人目の素数さん** · 2020/05/03(日) 18:39:47.89

>>254
∴をひっくり返した∵が「但し」を表すのはセンスが悪すぎる
数学で本来の逆接の意味を持った「しかし」を使うことなくね？なら記号割り当てる必要なくね？

**１３２人目の素数さん** · 2020/05/04(月) 07:31:52.70

集合Aの要素の個数をn(A)と表すのをやめて、|A|にする。
線分ABの長さをABと表すのをやめて|AB|にする
△ABCの面積を△ABCと表すのをやめて|△ABC|にする

**１３２人目の素数さん** · 2020/05/04(月) 13:08:15.29

3月の宿題で(1)のみ正解の数弱@shukudai_sujaku

昨年度の大学への数学(大数)での勝率は、

学コンBコースが 1/1 = 100% ，

宿題が 3/10 = 30% でした！

宿題の勝率が低すぎると思うので、

これからは一層精進していきたいです！

https://twitter.com/shukudai_sujaku
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2020/05/04(月) 13:36:25.93

>>256
理由は？

**１３２人目の素数さん** · 2020/05/04(月) 17:49:16.78

>>256
お前が挙げている最初の例は、どれも使われてないから心配するな

**１３２人目の素数さん** · 2020/05/04(月) 18:46:15.90

|A|は濃度で普通に使われてるでしょ
何なら(有限)群の位数を表す記号は|G|が一般的

**１３２人目の素数さん** · 2020/05/05(火) 01:35:07.06

>>260
逆、n(A) のことを言った

**１３２人目の素数さん** · 2020/05/05(火) 01:36:30.58

|A| は測度を表すから、すべて理にかなっていると思うよ

**１３２人目の素数さん** · 2020/05/05(火) 06:28:27.57

法線ベクトルという用語をやめて直交ベクトルにする

**１３２人目の素数さん** · 2020/05/05(火) 11:10:54.59

3月の宿題で(1)のみ正解の数弱@shukudai_sujaku

昨年度の大学への数学(大数)での勝率は、

学コンBコースが 1/1 = 100% ，

宿題が 3/10 = 30% でした！

宿題の勝率が低すぎると思うので、

これからは一層精進していきたいです！

https://twitter.com/shukudai_sujaku
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2020/05/06(水) 06:41:21.85

有理数という言葉をやめて整比数にする

**１３２人目の素数さん** · 2020/05/06(水) 11:22:15.45

>>265
スレタイ嫁
記号の改良スレだ、用語についてはスレ違いだ

**１３２人目の素数さん** · 2020/05/06(水) 15:55:33.40

有理数を Q で表すのと関わるからいいだろ

**１３２人目の素数さん** · 2020/05/06(水) 17:49:52.86

そういえばQで表すのはなんでなん？
rationalのRだと実数と被るからその前のQってこと？

**１３２人目の素数さん** · 2020/05/06(水) 17:55:50.74

>>265
整比数だと比が整数って意味にとれるから整数のことになりそうだが

>>267
quotientは商なんだから商数とでもいいたいのか

**１３２人目の素数さん** · 2020/05/06(水) 20:59:43.33

>>254-255
数学で「しかし」とか「だが」みたいな逆接を表すことはできないね。
「だから」みたいな順接は表せるけど。

**１３２人目の素数さん** · 2020/05/06(水) 22:05:54.08

数列を{a_n}って書くこと多いけど、{}だと集合を意味するから、意地悪に言えば数列の順番が無視される
(a_n)と直積の元っぽく書く方が好き

**１３２人目の素数さん** · 2020/05/06(水) 22:38:21.70

わかる
まあ{a_n|n∈N}と{a_n}_{n∈N}は別(一般の集合族も同様)のものとしてやれば解決するけど

**１３２人目の素数さん** · 2020/05/06(水) 22:38:47.70

たとえば
T：有限または無限集合
N⊆M：Mの部分集合
その部分集合族{N_t}(∃t∈T)
Nの元の族{a_t}(∀t∈T)

こんな風に書くことが多いから{}は譲れない