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

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

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

**１３２人目の素数さん** · 2021/03/09(火) 07:21:06.90

記号ではないが、「じゅず順列」という言い方を変えたい

**１３２人目の素数さん** · 2021/03/14(日) 22:48:49.58

円順列やじゅず順列を表す記号ってないよね。

**１３２人目の素数さん** · 2021/03/15(月) 22:32:59.86

>>704
うちの高校では普通に一本線で許されたが
学校教育でも徐々に置き換わりつつあるんじゃね?

**１３２人目の素数さん** · 2021/03/17(水) 20:00:54.31

(a/b)x^(c/d)を次のように書くと小文字化しなくて見やすいと思う。
１変数関数にしか使えないけど。

**１３２人目の素数さん** · 2021/03/21(日) 16:53:21.39

円順列をcir(n)、じゅず順列をneck(n)で表すことがあるらしい。
あんまり一般的じゃないけど。

**１３２人目の素数さん** · 2021/03/24(水) 15:12:42.22

じゅず順列はネックレス順列と呼ぶことはあるね。
ネックレス順列だからneck(n)という記号になる。

**１３２人目の素数さん** · 2021/03/25(木) 11:48:59.13

群数列を表す記号があるといいと思うんだが。

**１３２人目の素数さん** · 2021/03/26(金) 23:56:15.48

n=g(p,q)で
p番目の群の第q項とかどうよ？

**１３２人目の素数さん** · 2021/03/28(日) 11:47:06.30

群数列の群はgroupでg
fの次という意味でもg
で良いかな。

**１３２人目の素数さん** · 2021/04/03(土) 22:31:17.15

「同様に確からしい」という言い方を変えたい

**１３２人目の素数さん** · 2021/04/13(火) 01:07:56.08

sを縦に引き伸ばして∫の記号ができたと言われている。
Σを縦に引き伸ばして和分の記号を作ってはどうか。

**１３２人目の素数さん** · 2021/04/14(水) 01:55:54.24

和分差分は記号の流派がいろいろありすぎて煩わしい。
次の記号で表してはどうか？
左が後退差分・中が中心差分・右が前進差分

**１３２人目の素数さん** · 2021/04/16(金) 06:00:22.53

∫は直立しているのが好き。上端と下端が揃うので綺麗。数研のチャート式がこの形。
texの∫は斜めになっていて嫌だ。上端と下端が揃っていないし、間延びして見える。

**１３２人目の素数さん** · 2021/04/18(日) 01:19:24.81

1,2,3,4のように区切れる群数列を自然数群数列としてg_nとしてはどうか？
1,3,5,7のように区切れる群数列を奇数群数列としてg_oとしてはどうか？

**１３２人目の素数さん** · 2021/04/18(日) 09:16:49.65

非負整数を表す記号を新たに作りたい。

**１３２人目の素数さん** · 2021/04/18(日) 13:13:00.61

N_0じゃダメなの？

**１３２人目の素数さん** · 2021/04/21(水) 05:20:06.92

証明終了を表すのに、□や■を使うことがあるのはなぜなのか

**１３２人目の素数さん** · 2021/05/06(木) 11:36:32.64

>>723
TeXでも\usepackage{mathabx}とかすれば綺麗に立った積分記号使えるじゃん
おれも立った積分記号が好みなので学生時代はmathabxに世話になった

**１３２人目の素数さん** · 2021/05/12(水) 15:00:19.16

>>45
cは0への丸め(truncation)で一貫してるよ、-1~+1は商0で剰余が恒等関数
特に計算機のアーキテクチャに適しているわけでもないんだけど(1の補数表現時代の名残)
商/剰余共に奇関数、恒等式
(-a/b)=(-a/b)=(a/-b)=-(a/b)
が成り立つのはこの定義だけ(たぶん)、代数的には一番キレイな定義
ただ、互除法とかのアルゴリズムと相性悪いので嫌われがち

pythonとか最近の言語はfloor算が多い、これは商が左右に対称なのが売り
定義がシンプル、かつ剰余の符号を除数から取ることさえ覚えれば互除法互換でアルゴリズム向き

数学で使うユークリッド算は剰余が常に正で直感的なのが売りだけど、除数の正負で0近傍の商が2開くのが実数の剰余算でハマる
なので多分プログラミング用途で好まれることは無いかと

**１３２人目の素数さん** · 2021/05/12(水) 15:06:36.70

>>703
ヤコビ発案かは知らんけどヤコビの記号って習った
scdnの任意の組み合わせで約したりの発想はすごい

**１３２人目の素数さん** · 2021/05/12(水) 15:13:18.77

単位分数は頻出、というか逆数関数と看做したい時に左上に/付けてるけど
字が汚いから時々紛らわしい

**１３２人目の素数さん** · 2021/05/12(水) 15:49:01.49

>>28
2階論理も述語の量化許してるから似たようなもんじゃね

**１３２人目の素数さん** · 2021/06/09(水) 17:11:31.82

たまに来ると勉強になるな

**１３２人目の素数さん** · 2021/08/02(月) 18:57:28.63

＜を「小なり」と読むのがイヤだ。
≦を「小なりイコール」と読むのはもっとイヤだ。

**１３２人目の素数さん** · 2021/08/02(月) 19:56:40.86

>>734
何故？

**１３２人目の素数さん** · 2021/08/09(月) 04:41:40.52

展開を表す記号が欲しいよなあ。

○○展開だったら、記号の上にさらに○○の頭文字を載せる。
テイラー展開だったら、Tとか。

**１３２人目の素数さん** · 2021/08/09(月) 08:45:36.31

>>734
自分も同じ見解気持ちです
全世界で同じ記号を使っているなら、読み方も同じにして欲しい
言葉を共通語にすることは困難だと思いますが、数学の記号ならあるいは

**１３２人目の素数さん** · 2021/08/09(月) 12:24:45.39

しゃあんめ、んな事ぁ言ったって。英語と独逸語と仏蘭西語とでも違かんべよ｡
しょうなり【小也】、だいなり【大也】で、後は拘るだけ徒労だんべ｡
北関東西側↑↓北関東東側
しゃあんめ、んな事ぁ言ったって。英語と独逸語と仏蘭西語とでも違かっぺよ｡
しょうなり【小也】、だいなり【大也】で、後は拘るだけ徒労だっべ｡
↑
此の様に日本語でも言葉は変わる

**１３２人目の素数さん** · 2021/08/09(月) 13:36:09.01

統一なんてアホだろ
自由にやるのが数学だ

**１３２人目の素数さん** · 2021/08/09(月) 13:44:05.89

less than派なのかな

**１３２人目の素数さん** · 2021/08/13(金) 01:21:32.59

部分分数分解って発音するのが恥ずかしいので
『4ブー』って命名してもいいですか？
(´・ω・｀)

**１３２人目の素数さん** · 2021/08/13(金) 01:29:09.89

小なりイコールがきもいのは同意
対案あるか？

**１３２人目の素数さん** · 2021/08/13(金) 11:38:53.21

対案1.論文で使われている言語
対案2.世界共通語
対案3.新しく数学用の共通語を作成
対案4.
(※専門分野のみで使用)

**１３２人目の素数さん** · 2021/08/14(土) 13:27:49.61

0を「れい」ではなく「ゼロ」と読む風潮について。

**１３２人目の素数さん** · 2021/08/14(土) 15:37:55.16

識別しやすいから

**１３２人目の素数さん** · 2021/08/15(日) 00:16:18.09

geq（ゲク）やleq（レク）と呼ぶのはどう？
eqはequal（イコール）の略。

**１３２人目の素数さん** · 2021/08/15(日) 09:30:21.79

max(a,b)を「a,bのうち小さくない方」と訳す気持ち悪さ

**１３２人目の素数さん** · 2021/08/15(日) 12:18:51.00

>>745
どうせなら１２００をヒトフタマルマルと呼ぼう

**１３２人目の素数さん** · 2021/08/15(日) 12:54:25.26

>>747
上限で済むのにな

**１３２人目の素数さん** · 2021/08/15(日) 18:20:24.81

>>748
お巡りさんとか郵便局員みたいだな

**１３２人目の素数さん** · 2021/08/15(日) 18:20:31.32

>>748
お巡りさんとか郵便局員みたいだな

**１３２人目の素数さん** · 2021/08/15(日) 19:14:14.47

>>750
旧日本軍だろ

**１３２人目の素数さん** · 2021/08/16(月) 01:51:29.83

n角形をng
正n角形をong
で表すのはどうか？
三角形なら3g、正五角形ならo5g

**１３２人目の素数さん** · 2021/08/16(月) 22:32:24.68

六一式戦車

**１３２人目の素数さん** · 2021/08/17(火) 11:38:16.30

>>736
わかる
公式集では係数を約したり冪も纏めたりなキレイな表示がされてて、どういった展開なのか不明瞭で悩む事があるわ
テイラー展開の形の剰余項を仮定して再構築してたら、そもそも展開によらず天から降ってきた級数だったり
このスレ的に言う値を表す記法ではないく、あくまで注釈だけど、たぶん需要はある

**１３２人目の素数さん** · 2021/08/18(水) 04:29:09.89

六一式戦車空冷4stV型12気筒ツインメカニカルアシストターボチャージドディーゼルエンジン
七四式戦車空冷2stV型10気筒シーケンシャルツインバイツイン形クァッドターボチャージドディーゼルエンジン
九〇式戦車空冷2stV型10気筒シーケンシャルツインバイツイン形クァッドターボチャージドディーゼルエンジン
一〇式戦車水冷4stV型8気筒シーケンシャルツインバイツイン形クァッドターボチャージドディーゼルエンジン

ろくいちしきせんしゃ
ななよんしきせんしゃ
きゅうまるしきせんしゃ
ひとまるしきせんしゃ

**１３２人目の素数さん** · 2021/08/18(水) 05:46:11.45

三角形ABCを△ABCと書くが、これでは不満だ。
正三角形、直角三角形、二等辺三角形、不等辺三角形を別々の記号で表したい。

**１３２人目の素数さん** · 2021/08/18(水) 11:07:44.05

級数展開の記号はコを左右逆にした記号でもいいかもしれない。
テイラー展開　T
マクローリン展開　M
フーリエ展開　F

**１３２人目の素数さん** · 2021/08/18(水) 17:47:43.35

級数に関しては記号よりもプログラミングにおけるコメント的なものの導入を検討した方が汎用性高いしよさそう

**１３２人目の素数さん** · 2021/08/18(水) 18:18:39.73

有名な級数展開っていくつくらいあるかなあ？

**１３２人目の素数さん** · 2021/08/19(木) 14:14:02.72

上のやつ以外はディリクレ級数しか知らんな

**１３２人目の素数さん** · 2021/08/22(日) 17:57:40.05

>>721の続き
和分の左の記号は、真ん中のシグマの記号と混同する人がいるかもしれないので、右の記号を使ってはどうかと思う。

**１３２人目の素数さん** · 2021/08/22(日) 19:17:28.41

和分専用記号は実は既存、インテグラル∫はＳを縦に引き伸ばし横をスリム化し字体の曲率を下げつつ斜体とした感じだが､
和分専用記号はＳを、インテグラルみたいに引き伸ばしてＳ字の曲率を下げてしまう様な事はせず､
縦尺を拡大しつつ横尺は縮小しない長身Ｓをベースに、斜体とせず更にＳ字の両端のカールを強めた形｡
よって細身長身低曲率によるスリムな見た目インテグラルと比べて和分専用記号は中肉長身常曲率で柔らかい見た目と成る｡
平凡社は世界大百科事典の初版の和分の項のみに記され、続版には記載されていない｡

**１３２人目の素数さん** · 2021/08/22(日) 19:26:10.52

>>762
Eの筆記体やεの縦尺拡大横尺縮小と思われぬ様に、Σの角を残した縦尺拡大横尺縮小とされたい｡

**１３２人目の素数さん** · 2021/08/22(日) 22:02:25.85

なるほど。こんな感じならいいですかね？

**１３２人目の素数さん** · 2021/08/22(日) 22:20:22.53

そんな所かな

**１３２人目の素数さん** · 2021/08/25(水) 10:56:01.59

循環小数0.11111…は0.1の1の上に点をつけて表す。
これを5ちゃんねるで表したい。
いい方法はないものか。

**１３２人目の素数さん** · 2021/08/25(水) 18:48:23.32

TeX 使えるように要求しろ

**１３２人目の素数さん** · 2021/09/05(日) 14:54:52.99

∀とか∃をΣみたいに表示するのってどう思う？

普通は∀x∈Rって横に書くけど、∀の下にx∈Rを書く。

**１３２人目の素数さん** · 2021/09/05(日) 16:18:54.04

>>767
循環する部分を()でくくってはどうだろうか？

**１３２人目の素数さん** · 2021/09/05(日) 17:45:33.38

>>769
そもそも∀x∈R p自体∀x(x∈R→p)の略記という

**１３２人目の素数さん** · 2021/09/05(日) 18:06:42.66

>>771
そのへんは論理体系によるだろう
個人的には範囲を指定しない量化は気持ち悪い

**１３２人目の素数さん** · 2021/09/05(日) 18:12:23.59

>>772
よらねえよ

**１３２人目の素数さん** · 2021/09/05(日) 18:23:55.28

>>773
型理論を知らない雑魚ちゃんは黙って

**１３２人目の素数さん** · 2021/09/05(日) 19:17:44.44

>>772
個人的には宇宙を論理式内で指定する方が気持ち悪いな
例えばε-N論法の定義式は宇宙をＲと取ってるから
∀ε>0∃N∈ω∀n∈ω(n>N→|a_n-a|<ε)
(ωは自然数全体の集合)
と書けるわけだけど
∀ε∈R(ε>0→∃N∈ω∀n∈ω(n>N→|a_n-a|<ε))
と書かれるとRより大きい集合が宇宙なのかな？ってなる

**１３２人目の素数さん** · 2021/09/05(日) 19:21:48.13

>>774
型理論って具体的に何？

**１３２人目の素数さん** · 2021/09/22(水) 00:08:28.78

https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E5%B7%AE%E5%88%86
一般的には、
前進差分は∆f(x)
後退差分は∇f(x)
中心差分はδf(x)
で表されることが多いみたい。

**１３２人目の素数さん** · 2021/09/23(木) 12:04:19.63

>>722を発展させて、
左が後退差分の逆・中が中心差分の逆・右が前進差分の逆

**１３２人目の素数さん** · 2021/09/23(木) 12:07:31.74

なぜか画像が投稿されなかったので

**１３２人目の素数さん** · 2021/09/25(土) 13:49:55.81

Δ´f(x)
｀Δf(x)
δf(x)

**１３２人目の素数さん** · 2021/09/26(日) 10:38:20.07

前進差分の逆と後退差分とかが、１つの式の中でいくつも入り混じるようなときには、
>>722,>>779の表記は分かりやすかもしれない。

**BLACKX** ◆SvoRwjQrNc · 2021/09/27(月) 01:27:38.45

良く調べてないが小カッコと大カッコしか知らないんだがもっといっぱいカッコの種類あっても良いと思わんか？
例えば絶対値カッコに下付き数字着けるとか
[''''''['''''[''''['''[''['[{(x)-A}+B]-C.]+D..]-E. ..]+F....]-G.....]+H......]

**１３２人目の素数さん** · 2021/09/27(月) 05:34:40.66

方程式(x-1)(x-2)=0の解をx=1, 2と書く。
連立方程式x-y=1, x+y=3の解をx=2, y=1と書く。

この二つの書き方は意味が違う。

前者はx=1またはx=2。
後者はx=2かつy=1。

「,」という記号に「または」「かつ」の2つの意味がある。
文脈でどちらの意味になるかを判断しなければならないのはいかがなものか。

**１３２人目の素数さん** · 2021/09/27(月) 06:31:44.54

まあ解全体の集合を求めよって言うのが一番誤解がないとは思う

**BLACKX** ◆SvoRwjQrNc · 2021/09/27(月) 07:12:35.43

4[3[{()}]3]4←下付き小文字
↑上付き小文字

でも良いよ。下付き表現出来なかったから.にしてた

**１３２人目の素数さん** · 2021/09/27(月) 08:57:15.89

>>783
後者は(x, y)=(2, 1)って書くかな

**１３２人目の素数さん** · 2021/09/27(月) 09:03:07.09

符号の省略について

2yや(x+2)(x+3)など乗算の符号×を省略するのは辞めた方がいいと考えます

因数分解などでも符号を省略することで、見やすかったり分かりやすかったりしますが、数学の定義などを考察していると、符号の省略により不備が生じる場合があります

**１３２人目の素数さん** · 2021/09/27(月) 09:17:50.15

https://www.amazon.co.jpamzn1.account.AFMWIT6NJD6GWMLNDPMKLW3RN6DA/
　
南京大虐殺主犯のヒトモドキニホンザルゴキブリ知恵遅れ爺の首を切り落として殺せ

**１３２人目の素数さん** · 2021/09/27(月) 09:23:02.14

たしかに集合では
または：和
かつ：積
で演算を定義することが多いと思う
だから因数の「または」は理解しにくい

**１３２人目の素数さん** · 2021/09/27(月) 10:06:57.41

https://www.amazon.co.jpamzn1.account.AFMWIT6NJD6GWMLNDPMKLW3RN6DA/
　
南京大虐殺主犯のヒトモドキニホンザルゴキブリ知恵遅れ爺の首を切り落として殺せ

**１３２人目の素数さん** · 2021/09/28(火) 05:57:50.15

天井関数と床関数が考えられたのは、進歩といっても良いんじゃないかな。
ガウス記号のままだったら紛らわしいでしょ。

**１３２人目の素数さん** · 2021/09/29(水) 06:49:20.23

>>33
クヌース氏がたしかコンクリート数学でa＼bと書いてはどうかと提案していたな
(その本ではバックスラッシュは半角)
それだと割り切れるというイメージが
分数のスラッシュと共有できる

**１３２人目の素数さん** · 2021/09/29(水) 07:47:24.72

それはそれで差集合の記号とややこしい気がする
ノイマン流に自然数定義するとa＼bはそこそこにありうる式だし
まあ大家が提案するぐらいだからあんまり気にならないんだろうけど

**１３２人目の素数さん** · 2021/09/30(木) 00:02:08.05

割り算の記号と関連があると良いんじゃないかな。
英語で言うableみたいなものを/に加えるとか。

**１３２人目の素数さん** · 2021/10/01(金) 04:24:23.89

小数部分を表す記号がほしいなあ。
x-[x]

**１３２人目の素数さん** · 2021/10/01(金) 04:32:30.95

>>795
それは{x}っていうのが割と普及してる気がする

**１３２人目の素数さん** · 2021/10/02(土) 05:39:57.41

x mod 1っていう表記もあるみたい。
modをそんなふうに使うのはちょっと驚き。

**１３２人目の素数さん** · 2021/10/02(土) 11:49:15.10

>>797
nZによる剰余加群の元なんだから驚きも何もないだろ

**１３２人目の素数さん** · 2021/10/03(日) 14:46:31.92

天井関数と床関数はケネス・アイバーソンによって導入されたので、アイバーソンの記号と呼んでもいいかもね。

**１３２人目の素数さん** · 2021/10/04(月) 11:35:36.14

>>792
a/b∈Z でも a ∈bZ でもいいと思うけどね
気持ち悪いってひともいるかもだけど証明の中で使うなら都合のいいこともあるだろう

>>798
1.1 mod 1= 0.1 みたいな使い方をしてたんじゃないかな
プログラミングをやってるひとには 1.1%1=0.1 って表記がわかりやすいから
個人的には x%1 の方がいいけど

**１３２人目の素数さん** · 2021/10/04(月) 14:01:35.22

>>800
いやだからR/Zの元の表記として驚きも何もないだろ

**１３２人目の素数さん** · 2021/10/05(火) 16:32:47.89

天井関数と床関数は便利だけど、unicodeで表せなくないかな？
罫線を使えばいいかな？
┌x┐,└x┘

**１３２人目の素数さん** · 2021/10/05(火) 20:17:36.75

>>802
U+2308 から U+230B

**１３２人目の素数さん** · 2021/10/06(水) 02:02:25.47

⌈x⌉ ⌊x⌋

**１３２人目の素数さん** · 2021/10/12(火) 22:28:08.88

②組合せの記号（二項係数）ってn-rも右上に書くようにしたほうが良いんじゃないだろうか？
③さらにCを角張らせるとrがnとn-rに分かれるという感じがするんじゃないだろうか？
④多項係数についてもこんなふうに書いてみてもいいんじゃないだろうか？

**１３２人目の素数さん** · 2021/10/13(水) 01:52:31.97

テンソルは肝心の変数が添え字で小さくて見づらいので
A(lmn, xyz)みたいに書いてほしい。

**１３２人目の素数さん** · 2021/10/13(水) 14:42:17.82

上付き・下付き添字にこそ罫線を使ってはどうだろうか？
x└n┘　x^nのこと
a┌n┐　a_nのこと

**１３２人目の素数さん** · 2021/10/18(月) 03:52:59.64

正式な数学記号じゃないけど、括弧が次の式で外れる（展開される）ときは次のように表していた（斜めの線を書き足していた）。

**１３２人目の素数さん** · 2021/10/21(木) 01:36:03.23

ΣやΠをカッコのように見なして次のようにしてはどうだろうか？

**１３２人目の素数さん** · 2021/10/21(木) 16:48:27.15

>>809
メリットある？