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

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

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

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

まず最初に計算機での内部表現から考えるべきだろ。
本気で問題にするなら。

**１３２人目の素数さん** · 2020/02/21(金) 22:09:14.55

一変数関数の微分と多変数関数の偏微分で記号を分けてるのは無駄
前者は後者の特殊な場合

**１３２人目の素数さん** · 2020/02/22(土) 00:51:42.04

sinx,cosx,tanxをs,c,tと略記することはあるが、ş,ç,ţとして正式な記号として導入してはどうか？

**１３２人目の素数さん** · 2020/02/22(土) 01:41:54.31

ベクトルの表記がホントマチマチなのは何とかして欲しい…

**１３２人目の素数さん** · 2020/02/22(土) 08:32:27.18

>>3
z=f(x,y)=f(x,g(x))のとき∂f/∂xとdf/dxでは全く違うよ

**１３２人目の素数さん** · 2020/02/22(土) 11:18:28.99

>>6
理解が古いです
・関数fと書く代わりに方程式z=f(x,y)を書いている
・二変数関数f(x,y)と一変数関数f(x,g(x))を等しいとしている

**１３２人目の素数さん** · 2020/02/22(土) 11:55:09.57

何言ってんだこいつ

**１３２人目の素数さん** · 2020/02/22(土) 12:23:30.87

>>7
・y=f(x)という表記を見たことがない？
・合成関数を知らない？

**１３２人目の素数さん** · 2020/02/22(土) 17:19:42.41

>>9
釣りっぽいけどスレの趣旨に合ってるので返答します。
y=f(x)は等式であって関数じゃないです。f(x)が関数です。
それとf(x,y)=f(x,g(x))が関数の間の等式意味してるなら、左辺の定義域はR^2で右辺の定義域はRなので等号は成り立ちません。

また、>>6でdf/dxと書いてますが、fは二変数関数なので誤用です。df/dxはfが一変数関数の時の書き方です。
xを(x,g(x))に移す関数h:R→R^2と合成してd(f⚪h)/dxとすれば正しいです。

**１３２人目の素数さん** · 2020/02/22(土) 17:22:26.39

なんか変な記号が出力されましたがf⚪hと書いたのはfとhの合成です。

**１３２人目の素数さん** · 2020/02/22(土) 17:33:59.79

まあ現代的には変数記号を除いて「f」単独で関数ですが。「関数f」という言い方をします。
慣習で「関数f(x)」と書くことはありますが関数「y=f(x)」とは言わないです。yは何？

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

>>10
お前知ったかすんな

y=f(x)，f(x)，y，fも全部関数を表すこともできれば
文字式(等式)として表すこともできる
それが何故かなのかはグラフの存在から言える
こういうことを考えたこともないだろうから理解できないかも知れないが
グラフの存在から関数を言えるということは高校数学レベルで書いてある

**１３２人目の素数さん** · 2020/02/22(土) 19:23:26.00

グラフというのは文字式(等式)の世界であり
関数(写像)の世界でもある
グラフの存在性からある式を
関数と看做したり
文字式として扱うことができる

**１３２人目の素数さん** · 2020/02/22(土) 19:30:22.19

関数y=f(x)が在る
このとき
方程式を立てたい
グラフの存在から
便宜的にy=f(x)を文字式と看做してyを消去し

f(x)：=0

を定める

もちろんy=0ではない

**１３２人目の素数さん** · 2020/02/22(土) 19:40:02.10

関数とグラフは違います。
グラフを図示する時に集合{(x, y)∈R^2| y=f(x)}の略記としてy=f(x)と書いて「y=f(x)のグラフ」と呼ぶことはありますが、
fだけで関数を表してるのに余計な文字yを導入して「関数y=f(x)」とは言いません。

**１３２人目の素数さん** · 2020/02/22(土) 19:47:39.12

グラフとは写像である( ｰ`дｰ´)ｷﾘｯ

**１３２人目の素数さん** · 2020/02/22(土) 23:08:57.02

（º）
オマンコ記号

**１３２人目の素数さん** · 2020/02/23(日) 00:16:23.72

>>16
いやいや関数=グラフだから
定義域がAで値域がBの関数fは直積集合A×Bの部分集合で
「Aの任意の元xに対して(x,y)∈fとなるBの元yがただ一つ存在する」を満たすもののこと
分かる？これが現代数学な

**１３２人目の素数さん** · 2020/02/23(日) 03:20:38.80

互いに素には⊥を使えるようにしよう

**１３２人目の素数さん** · 2020/02/23(日) 05:25:58.45

(0,1] or ]0,1]
開区間と閉区間の表記が美しくない

┗0,1┛開開┗0,1┓開閉
┏0,1┛閉開┏0,1┓閉閉

こんなのはどうだろう？
（本当は直角の位置を四隅にしたい）

**１３２人目の素数さん** · 2020/02/23(日) 10:10:39.04

┏ (｡・_・｡) ┓・・・。

┗(｡・_・｡) ┓赤上げて

┗(｡・_・｡) ┛白上げて

┏(｡・_・｡) ┛白下げないで赤下げる

**１３２人目の素数さん** · 2020/02/24(月) 00:39:24.43

一文字変数は悪しき風習

**１３２人目の素数さん** · 2020/02/24(月) 00:55:29.91

>>19
それは関数のモデルであって関数自体ではない
空集合、{空集合}、{空集合、{空集合}}、...という列が0、1、2、...と違うのと同じ
ただ単に似たものを作ってるだけ

**１３２人目の素数さん** · 2020/02/24(月) 00:59:24.35

>>23
プログラミングみたいに単語で書けってこと？

**１３２人目の素数さん** · 2020/02/24(月) 01:27:43.77

>>25
そういうこと
もちろんfunctionとか長い名前はfuncとか略す感じで
書体を駆使するより楽かなと

**１３２人目の素数さん** · 2020/02/24(月) 09:08:23.91

>>6
>z=f(x,y)=f(x,g(x))のとき∂f/∂xとdf/dxでは全く違うよ

書き方が悪いな

f(x,y)=x*y　g(x)=x　h(x)=f(x,g(x))=x^2

∂f/∂x=y　dh/dx=2x

**１３２人目の素数さん** · 2020/02/24(月) 09:13:01.05

＞関数=グラフ

数学ではそういうことになってるが
情報科学では関数の自己適用f(f)なんて考えるから破綻するｗ

つまり関数の空間DについてD=D^Dとなってる

え？そんなの矛盾するだろって？
そうね、集合論ではね
しかし　D→Dの写像が必ず不動点を持つならば
D=D^Dとできるんだな　変態だなｗ

**１３２人目の素数さん** · 2020/02/24(月) 12:15:35.48

空集合の記号を統一してほしい
　丸にスラッシュ
　0にスラッシュ
　ギリシャ文字のファイ

**１３２人目の素数さん** · 2020/02/24(月) 14:58:29.22

>>29
実はノルウェー語のの文字Øらしい

**１３２人目の素数さん** · 2020/02/24(月) 15:35:48.52

詳しくないけど「ラムダ記法に改良の余地がある」て話なら計算論的に本質的な内容過ぎてスレチな気がする
あとf(f)みたいな流派は初めて見た

**１３２人目の素数さん** · 2020/02/25(火) 16:27:38.36

写像の満たすべき公理って何？

**１３２人目の素数さん** · 2020/02/26(水) 08:01:32.96

a が b で割り切れることをb｜aと表記するのはイヤだ

**１３２人目の素数さん** · 2020/02/26(水) 08:39:11.42

∂f/∂x_1 とかf_{x_2} みたいな変数名x_i に依存した偏微分の表記だけじゃなくて、∂f/∂① みたいな数字で直接座標を指定できる表記があると嬉しい

**１３２人目の素数さん** · 2020/03/01(日) 21:13:08.52

>>33
それは｜を「で割り切れる」と読めばいいんだよ。「で」を入れて読めば間違えない。

**１３２人目の素数さん** · 2020/03/01(日) 21:20:33.00

英語ならb divides aでそのままだよ

**１３２人目の素数さん** · 2020/03/01(日) 21:30:31.06

整除は順序だから≦の代わりに|を使ってると思うと自然
まあ≧に当たる記号がないのは不便だが

**１３２人目の素数さん** · 2020/03/02(月) 00:46:53.84

改良案

b ▷ a

▷はDividesのDに見立てる
（順序感覚が逆転するのが難点）

**１３２人目の素数さん** · 2020/03/02(月) 01:24:34.13

bℤ ▷ aℤ の略記とも見れて面白い

**１３２人目の素数さん** · 2020/03/03(火) 02:42:24.82

割り算も割って小数にする場合と、分数にする場合と、商と余りにする場合で分けていいと思うんだよなあ。

**１３２人目の素数さん** · 2020/03/04(水) 08:09:36.66

有名な？ファインマンの三角関数の独自記号
https://pbs.twimg.com/media/DMlaFTTWkAAPiMV.png

**１３２人目の素数さん** · 2020/03/04(水) 11:04:56.45

>>40
C言語等では a/b←除算 a%b←剰余演算ですね
剰余群や剰余環も%のほうが概念的に近いかな

>>41
三角関数といえば逆関数と冪乗の表記の混同のおそれがありますね
https://ja.wikipedia.org/wiki/%E9%80%86%E4%B8%89%E8%A7%92%E9%96%A2%E6%95%B0

**１３２人目の素数さん** · 2020/03/04(水) 15:24:08.77

濃度の「アレフ」は酷い

**１３２人目の素数さん** · 2020/03/05(木) 00:11:46.25

分数　f/
小数　d/
余り　r/
みたい／や÷の上にf,d,rを乗せればいいんじゃないかな。

**１３２人目の素数さん** · 2020/03/05(木) 01:03:22.29

>>42
Ｃ言語の剰余演算ははっきりと定義されていない部分がある

例えば…

5 % -3 を計算させると、とあるＣ言語では -1 となるし、別のものは 2 になる。

各種の言語でも違う。処理系依存だ。

**１３２人目の素数さん** · 2020/03/05(木) 01:39:00.96

>>45
C99からは2と定義されてる
おそらくここ20年以内に規格が改訂、制定された言語で剰余が処理系定義なものはほとんど存在しないのではないか

**１３２人目の素数さん** · 2020/03/07(土) 14:44:06.50

割り算も／と＼を使って左からも右からも割れるようにしたらどうだろうか？

**１３２人目の素数さん** · 2020/03/07(土) 23:03:39.78

バックスラッシュ・・・古来よりMatlabで使われる算術二項演算子
正方行列Aに対して A\B と書けば A^-1 * B が返る

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

引き算とか累乗とか累乗根も左右からできるようにしたいね。
交換法則が成り立たないものは左右からできるようにしたい。

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

AB=BA

**１３２人目の素数さん** · 2020/03/08(日) 06:22:30.38

Σの上と下に範囲を書くのは美しくない

**１３２人目の素数さん** · 2020/03/08(日) 15:14:01.00

上から
・差
・累乗根
・累乗
左からも右からも

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

累乗はexp(a*logb)でいける

**１３２人目の素数さん** · 2020/03/09(月) 00:40:37.65

フラクトゥール止めてほしい
特にIとJの見分けがつかない

**１３２人目の素数さん** · 2020/03/09(月) 15:26:20.35

lb 底が2
ln 底がe
lg 底が10
はもう定着させて欲しいな。

**１３２人目の素数さん** · 2020/03/09(月) 16:41:19.20

短すぎるのは紛らわしいし底も明記して
lgb, lgn, lgd でどうだ、底が3なら lgt だが4も同じになっちゃうんだよなー

**１３２人目の素数さん** · 2020/03/09(月) 21:37:18.17

対数
https://ja.wikipedia.org/wiki/%E5%AF%BE%E6%95%B0
の「特殊な底」を見てみて

**１３２人目の素数さん** · 2020/03/10(火) 12:49:39.07

lb はポンドだしなー

**１３２人目の素数さん** · 2020/03/11(水) 11:44:13.10

log(e,x)みたいに二変数関数的な表記をしてはどうだろうか？

**１３２人目の素数さん** · 2020/03/11(水) 21:27:28.87

>>59
それが一番無難
上付／下付文字はやはり見難い

**１３２人目の素数さん** · 2020/03/11(水) 21:52:34.76

カリー化の仕方なら喰いつく気にもならんこともない。

カリー化は食い物です。

**１３２人目の素数さん** · 2020/03/11(水) 22:36:49.48

カリーきゅんhshs(*´Д`)

**１３２人目の素数さん** · 2020/03/12(木) 00:15:25.89

Σについては[Σ,k,1,n]みたいに横に書き並べる表記が良い気がするね。
[Σk=1～n]みたいな表記と[Σ1<k<n]みたいな表記とどっちがいいかな？

**１３２人目の素数さん** · 2020/03/12(木) 00:21:46.28

Σ{x_k | 0<k<n} はどうだ

**１３２人目の素数さん** · 2020/03/12(木) 00:30:41.73

新しく記号を作ってもいいなら、シンプルに次のような表記でも良い気もする。

**１３２人目の素数さん** · 2020/03/12(木) 02:41:00.94

>>64
集合の記号を使うとx_i≡1とか条件収束級数で死ぬ

**１３２人目の素数さん** · 2020/03/12(木) 12:09:03.82

交項級数を表す記号もほしい気がするんだよなあ。

**１３２人目の素数さん** · 2020/03/12(木) 13:48:53.12

>>66
あー、それがあったかー

**１３２人目の素数さん** · 2020/03/13(金) 02:59:36.87

角度をﾗｼﾞｱﾝに統一していただきたい

**１３２人目の素数さん** · 2020/03/13(金) 06:30:26.03

>>43
連続体仮説がよーわからん現在、
アレフ表記はどうかと思いますね
アレフゼロは|N|か#Nでいいでしょう

**１３２人目の素数さん** · 2020/03/13(金) 14:03:15.81

基数の定義くらい押さえとけ

**１３２人目の素数さん** · 2020/03/13(金) 17:03:18.43

nＰrのように左下に添字があるのはいかがなものか

**１３２人目の素数さん** · 2020/03/14(土) 05:43:30.66

(sin x)^2をsin^2 xと表すのを認めるならば、
(log x)^2をlog^2 xと表してもいいのではないか

**１３２人目の素数さん** · 2020/03/14(土) 09:32:59.68

>>73
関数を2回適用してるとも
解釈しうるので、ややこしい
sin^2 x = (sin x)*(sin x)
sin^(2) x = sin (sin x)
区別するならこんな表記だろうか？

**１３２人目の素数さん** · 2020/03/14(土) 13:22:41.24

f^(2) は2回微分だろ

**１３２人目の素数さん** · 2020/03/14(土) 13:30:50.22

やはりフォント上つき下つきくらいしか修飾の幅がないのはクソい
誰か新しい修飾の方法を考えてくれ

**１３２人目の素数さん** · 2020/03/14(土) 17:02:17.76

ファインマンダイアグラムぐらいか
最近できた新規性が高い記法

**１３２人目の素数さん** · 2020/03/15(日) 04:24:29.98

(){}[]の区別って必要か？全部()でいいのでは？

**１３２人目の素数さん** · 2020/03/15(日) 13:42:18.71

集合には{}を使うなー
{x ∈ R | 0 < x < 1} とかね

**１３２人目の素数さん** · 2020/03/18(水) 06:51:18.69

2項係数
(n)
(k)

ベクトルや行列の中に出てくると激しく混乱するし、見にくい
高校のように nCｋと書く方がまだまし

**１３２人目の素数さん** · 2020/03/18(水) 11:04:47.46

無限小の記号に雫のシンボルとして垂らした雫の下半分を少し
ドラゴンクエストのスライムみたいに横に膨らましつつ
上はスライムみたいに丸い突起にしないで描いた輪郭線を採用提案しようとした｡

しかし　無限小の活躍の場が足りなかった！

>>28 >>31
f(x)
f{f(x)}
f[f{f(x)}]
…
うへぇ、こりゃ大変だぁ

**１３２人目の素数さん** · 2020/03/18(水) 11:56:48.48

arcsin x→OK
sin^(-1) x→NG

**１３２人目の素数さん** · 2020/03/18(水) 18:25:23.64

>>82
f(x) = sin(x) の逆関数だから f^{-1}(x) = sin^{-1}(x) と書くのは本来の規則では正しい

むしろ、(sin x)^2 = sin^2 x と書く方が問題

**１３２人目の素数さん** · 2020/03/18(水) 18:29:04.65

>>80
確かに二項係数は縦ベクトルと紛らわしいし見にくいね

**１３２人目の素数さん** · 2020/03/19(木) 10:58:49.82

arcsinで、-1をsinの左上に乗せるのはどうだろうか？
⁻¹sinみたいに。

**１３２人目の素数さん** · 2020/03/19(木) 11:46:53.37

f^2 = f(f()) = f◦f だから f^(2◦), f^(-◦) では？

**１３２人目の素数さん** · 2020/03/19(木) 14:15:42.39

ねじれの位置を表す記号が欲しい

**１３２人目の素数さん** · 2020/03/19(木) 20:08:15.64

実数R, 整数Z のように、素数全体の集合の記号をPとする

いちいち断らず全世界共通で使えるようにする

**１３２人目の素数さん** · 2020/03/20(金) 06:17:45.84

自然数に0を含める流儀はいかがなものか

**１３２人目の素数さん** · 2020/03/20(金) 09:58:49.58

数列とか初項をa_0にすると、計算するとき色々と都合がいいんだよね
等比級数の和でr^(n-1)がr^nになったり

**１３２人目の素数さん** · 2020/03/20(金) 10:27:52.77

自然数に0を含めるメリットは
・半環だと嬉しい
・(ノイマンのモデルで)自然数の全体が順序数だと嬉しい
・無限集合でない集合の濃度が自然数だと嬉しい
とかあるけど逆に0を含めないメリットって何だ？
{1/n}を定義できるとか？

**１３２人目の素数さん** · 2020/03/20(金) 16:01:59.35

>>90
公式や第n項の計算が簡単になるというのは大きな利点だよね
高校で導入していれば余計なミスが減らせるのに

**１３２人目の素数さん** · 2020/03/20(金) 17:00:48.13

日本人が１位って言い方を好んだりする（０位ではなく）のが１つの要因。

もう１つはテストで点差を付けるために、わざと分かりにくくしているというのが要因。

**１３２人目の素数さん** · 2020/03/21(土) 01:17:36.13

ヨーロッパだと０階があって、日本の２階が１階と１つづつ階の呼び方がずれるよね

**１３２人目の素数さん** · 2020/03/21(土) 13:57:25.73

>>94
ほんで13階が無いから2つもずれる

**１３２人目の素数さん** · 2020/03/21(土) 14:18:58.46

>>47
>>48
A＼Bは差集合の意味にもなる、コレややこしい
AーBのほうが素直に理解できるけど

**１３２人目の素数さん** · 2020/03/21(土) 16:59:37.53

ルートの記号を発明した人は天才だと思う

**１３２人目の素数さん** · 2020/03/21(土) 20:03:19.14

ウォリス流無限大記号∞

**１３２人目の素数さん** · 2020/03/22(日) 18:43:59.02

相似の∽はイヤだ

**１３２人目の素数さん** · 2020/03/23(月) 19:24:13.69

!は階乗を表すなら ?は何を表すのがいいかな

**１３２人目の素数さん** · 2020/03/23(月) 22:52:41.17

階和

**１３２人目の素数さん** · 2020/03/24(火) 10:56:38.90

∀∃以外にも逆文字があればいいのに

**１３２人目の素数さん** · 2020/03/24(火) 14:49:28.22

数学記号ではないが電気抵抗R[Ω]の逆数GコンダクタンスSの単位は今でこそ[S]だが
旧来はΩ(ohm)の反転文字(mho)を使っていた｡
https://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%BC%E3%83%A1%E3%83%B3%E3%82%B9

**１３２人目の素数さん** · 2020/03/25(水) 05:28:27.39

キリル文字だとИЬЯがＮＰＲの反転文字みたいだ
（字源的には無関係なんですが、そう錯覚するw）

**１３２人目の素数さん** · 2020/03/25(水) 06:53:20.72

あ、あとГがＬの反転文字みたいも追加で（笑）

**１３２人目の素数さん** · 2020/03/25(水) 23:09:14.53

テイト・シャファレヴィッチ群はロシア文字のШ（シャー）で表すね
もちろん、シャファレヴィッチのロシア語表記の頭文字

**１３２人目の素数さん** · 2020/03/26(木) 12:44:42.69

=の上にdefが乗っている記号があるが、あれみたいな感じで=も細かく分類するべきだな。
=が出てくるたびに、どういう式変形なのかいちいち考えるのがわずらわしい。
とりあえず因数分解は=の上にf、展開は=の上にe。

**１３２人目の素数さん** · 2020/03/26(木) 13:17:27.63

等式は等式だろ

**１３２人目の素数さん** · 2020/03/26(木) 14:37:18.85

>>105
逆、ラテン文字よりギリシア文字の方が古い
だから、LよりΓの方が古い

**１３２人目の素数さん** · 2020/03/26(木) 14:59:06.21

>>107
そんなことしたら同値関係を理解できなくなる人が増えそう

**１３２人目の素数さん** · 2020/03/26(木) 16:35:44.22

∇は何に関する微分なのかがわからないから改良の余地がある

**１３２人目の素数さん** · 2020/03/26(木) 16:41:08.57

記号 ∇（ナブラ、英: nabla）の呼び名は、似た形のヘブライの竪琴のギリシャ語名
ν?βλα に由来する（アラビア語とヘブライ語での呼び名とも関係がある）。
数学記号としてこれを用いたのはハミルトンだが、横向き楔形 ? としてである。
他にも稀に、ギリシャ文字 Δ (delta) の逆さまであるということで、逆さ綴りにした
アトレッド (atled) を呼び名とすることもある。あるいは実際のギリシャ語での
呼び名は「逆さまのデルタ」(αν?δελτα) である。

**１３２人目の素数さん** · 2020/03/27(金) 02:37:10.17

>>111
共変微分の∇なら下に微分する方向のベクトル場Xを付けて∇_X Y って書くから問題無い

**１３２人目の素数さん** · 2020/03/27(金) 23:53:40.02

>>52 これ良いね

**１３２人目の素数さん** · 2020/03/31(火) 07:01:50.40

‰のデザインが好き

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

異彩を放つひらがなの「よ」
https://en.wikipedia.org/wiki/List_of_letters_used_in_mathematics_and_science#More

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

交項級数を表す記号を考えた。

**１３２人目の素数さん** · 2020/04/05(日) 11:30:11.02

論理式の改良のアイデア

きいねく@とりあえずやる @Keyneqq (2020/04/05 03:16:31)
論理式って一行表記すると視認性わるいよなぁと常々思っていたので，これくらいはやりたい．
(特に量化子の部分を小さくするのはよくやる)
https://pbs.twimg.com/media/EUx2oWNU0AArvg0.png
http://twitter.com/Keyneqq/status/1246501922913177600
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2020/04/05(日) 17:09:00.87

１行表記を避けて立体表記化したがる勢力と、立体表記を避けて１行表記化したがる勢力がいるな。

**１３２人目の素数さん** · 2020/04/05(日) 18:53:01.15

立体表記は見やすいけど書きにくいんだよなあ

**１３２人目の素数さん** · 2020/04/06(月) 00:05:36.77

ネット上とかソフトウェア上だと立体表記は使いにくいと感じるね。
どんな場所でもTEXが使えるわけじゃあないからね。

**１３２人目の素数さん** · 2020/04/06(月) 03:56:09.30

そもそも量化子って使わないで済ませられるんじゃないっけ？

**１３２人目の素数さん** · 2020/04/06(月) 12:22:33.14

æ: almost everywhere

**１３２人目の素数さん** · 2020/04/06(月) 12:31:13.38

>>122
どういうこと？

**１３２人目の素数さん** · 2020/04/06(月) 13:10:46.80

証明論では付けたり外したりの操作があるね
暗黙の量化子は紛らわしいから

**１３２人目の素数さん** · 2020/04/08(水) 11:07:57.19

確かに、発音記号というかIPAで数学記号に流用できそうな記号はあるかも。

**１３２人目の素数さん** · 2020/04/08(水) 11:31:44.38

>>107
むしろ式変形を表す記号がほしいな

**１３２人目の素数さん** · 2020/04/08(水) 12:36:34.63

展開(expansion)がe
因数分解(factorization)がf
置換(substitution)がs
とかかな

**１３２人目の素数さん** · 2020/04/08(水) 14:23:05.71

展開や因数分解であることを明示したい機会っていつ？

**１３２人目の素数さん** · 2020/04/08(水) 15:12:47.15

ａとαを同じ式に書かないで欲しい…

粋蕎 ◆C2UdlLHDRI · 2020/04/08(水) 15:24:25.72

御免なさい(´^ω^｀)

a A α

>>128
> 因数分解(factorization)

函数のfと被る…

**１３２人目の素数さん** · 2020/04/08(水) 19:02:18.55

ドイツ文字のフォントが普通に使えないのが不便

**１３２人目の素数さん** · 2020/04/08(水) 23:07:48.30

整域Dの分数体をFrac(D)と表しますか？

**１３２人目の素数さん** · 2020/04/09(木) 00:37:06.90

リー環をドイツ文字で表すことが多いけど、g, hならともかく、r, s のドイツ文字は手書きだと書きにくい
筆記体のАも人によって癖があって見難い

**１３２人目の素数さん** · 2020/04/09(木) 07:10:57.99

xを手書きで)(のように書く流儀について

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

xとχと×は何とかならんか

**１３２人目の素数さん** · 2020/04/09(木) 18:00:32.76

ξの書きづらさは異常

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

ξは平仮名のそを書いておけば欧米人には区別がつかないと聞いた
ζは平仮名のちでよい

**１３２人目の素数さん** · 2020/04/09(木) 20:29:40.32

>>135
日本人だけでしょ
欧米人は普通にxの筆記体かブロック体で書いている

**１３２人目の素数さん** · 2020/04/09(木) 20:34:32.38

写像の像をf(A)のように書くこと

**１３２人目の素数さん** · 2020/04/09(木) 22:28:09.42

そのf(A)ならIm fの記号があるだろ

**１３２人目の素数さん** · 2020/04/10(金) 02:06:36.76

高校でライプニッツの記法とラグランジュの記法がごちゃ混ぜに教えられてるのが気になる
積分みたく1つに統一してくれよ

**１３２人目の素数さん** · 2020/04/10(金) 02:10:26.48

高校でライプニッツの記法とラグランジュの記法がごちゃ混ぜに教えられてるのが気になる
積分みたく1つに統一してくれよ

**１３２人目の素数さん** · 2020/04/10(金) 03:00:16.54

積分と統一するならライプニッツ流の一択でしょう

**１３２人目の素数さん** · 2020/04/10(金) 13:48:52.75

状況次第で便利な方を使えばいいのだ

**１３２人目の素数さん** · 2020/04/10(金) 15:44:10.69

=で表される式変形が細かく分類すると本当はいくつに分類されるかだよ。
20くらいで済むのか？それとも100くらいあるのか？
展開や因数分解っていうのは一番単純な例を挙げただけに過ぎない。

**１３２人目の素数さん** · 2020/04/10(金) 15:53:51.32

2と1の誤差は1と0の誤差ではない

**１３２人目の素数さん** · 2020/04/10(金) 18:10:42.45

>>146
「式変形の=と定義の=と代入の=を区別する記号がほしい」とかなら分かるが、「式変形をその根拠ごとに区別する記号がほしい」という気持ちは分からない

**１３２人目の素数さん** · 2020/04/10(金) 18:40:47.26

こんなん思い付きやした
等価 =
同一 ==
定義 :=
代入 =:
=a a変換　=b b変換　=c c変換

**１３２人目の素数さん** · 2020/04/10(金) 18:44:15.47

実際の記述は

━━━━
━━━━
　　　a

此の様に等号の右下に小さく記されれば良い｡

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

定義はdefが既にあるでしょう。

**１３２人目の素数さん** · 2020/04/10(金) 19:55:43.32

a≡b(mod p)を廃止し
a＝b(mod p)にする

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

>>152
それは a mod p = b mod p でいいんじゃないか?
コセットの等式 a+(p) = b+(p) でもいいけど

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

λ計算のβ変換の矢印

β
→
＊

（＊はβ変換の繰返し）

**１３２人目の素数さん** · 2020/04/11(土) 05:55:51.99

いちいち（modp）と書くのは面倒じゃね？
なんか簡易な記法があれば

**１３２人目の素数さん** · 2020/04/11(土) 08:30:33.48

法を最初に宣言にして以下mod pを省略するのはよくある手法だけどそれでは飽き足りないのか

**１３２人目の素数さん** · 2020/04/11(土) 15:07:51.34

>>147
これって相対誤差のこと言ってる？

**１３２人目の素数さん** · 2020/04/11(土) 18:02:10.20

p-進かもよ

**１３２人目の素数さん** · 2020/04/15(水) 17:00:28.87

ノルム記号||a||を廃止し、|a|にする

**１３２人目の素数さん** · 2020/04/16(木) 19:27:34.79

関数のノルムと絶対値が区別できないので却下

**１３２人目の素数さん** · 2020/04/17(金) 05:47:47.46

インテグラル記号がダサいので変えよう

**１３２人目の素数さん** · 2020/04/17(金) 11:19:57.96

何処が？

**１３２人目の素数さん** · 2020/04/17(金) 11:30:09.79

インテグラルがダサいかは知らんが積分にもラグランジュの記法みたいなん欲しい

**１３２人目の素数さん** · 2020/04/17(金) 19:13:06.13

マイナス階の微分で定義 f^{(-1)}(x)

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

積分って計算量デカイよな｡
マイナス1次微分で代替すれば良いんだ！ってマイナス1次微分展開してみたら無限数列化してしまった｡
微分みたいに定義域の一点だけを計算すれば良い訳ではなく
やはり積分は、ある程度の範囲を見ないと求められない事が分かった｡

微分y=df(x)/dxはx-y座標上の「x近傍の傾き」だけを調べれば良いが
積分y=∫f(x)dxはx-y座標上の或る程度の範囲を調べなきゃいけなくて困る｡

**１３２人目の素数さん** · 2020/04/17(金) 23:06:14.89

>>165
日本語でよろ

**１３２人目の素数さん** · 2020/04/18(土) 12:47:09.69

解析関数なら近傍で済む

**１３２人目の素数さん** · 2020/04/18(土) 13:38:18.45

近傍だけで積分が分かるのが解析関数だけじゃなぁ

数学神様…

**１３２人目の素数さん** · 2020/04/18(土) 18:26:52.15

>>165 の言ってるのと関係あるのか知らんけど(多分複素解析の話だと思うけど)
経路とか出てくる複素/ベクトル解析とか
或いはルベーグ積分とか超函数とかのもっと気難しい積分には
原始関数がなかったりもっと大きな近傍で処理しなきゃいけなかったりするから
単なる微分の逆では困ることになる

**１３２人目の素数さん** · 2020/04/18(土) 18:42:23.71

>>169
難しいこと考えるまでもなく床関数の積分の時点で単なる微分の逆ではなくなる

**１３２人目の素数さん** · 2020/04/18(土) 20:15:30.33

学校が休みで暇してるJKです
書いたこともないのに格好良く数式を書いてみたくなりました
以下の式はどのように書いたらいいでしょうか？
お絵描きモードでも結構です

5分間平均温度+(5分間平均湿度/1000×5)

**１３２人目の素数さん** · 2020/04/19(日) 19:34:12.85

>>169
積分区間を微小に取れば済むこと
ていうか微分積分学の基本定理だろ
d/dx { ∫^x_a f(t) dt } = f(x)

**１３２人目の素数さん** · 2020/04/20(月) 06:24:16.60

例えば、(x-1)(x-2)＞0の解をx＜1、2＜xと書く件について
x＜1、x＞2のようにxを左に書きたくなるのは俺だけ？

**１３２人目の素数さん** · 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

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