X
トップページ⇒数学
1002コメント329KB
数学記号を考案・改良するスレ
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
垢版 |
2020/02/21(金) 20:34:15.89ID:0ginupBW
数学記号というのは、まだまだ改良の余地があると思う。
特に=の記号なんかは何通りかに分類して書き分けても良いのではないだろうか？
0104１３２人目の素数さん
垢版 |
2020/03/25(水) 05:28:27.39ID:LNaPs6KB
キリル文字だとИЬЯがＮＰＲの反転文字みたいだ
（字源的には無関係なんですが、そう錯覚するw）
0106１３２人目の素数さん
垢版 |
2020/03/25(水) 23:09:14.53ID:oQ023sXN
テイト・シャファレヴィッチ群はロシア文字のШ（シャー）で表すね
もちろん、シャファレヴィッチのロシア語表記の頭文字
0107１３２人目の素数さん
垢版 |
2020/03/26(木) 12:44:42.69ID:FdtT1rxP
=の上にdefが乗っている記号があるが、あれみたいな感じで=も細かく分類するべきだな。
=が出てくるたびに、どういう式変形なのかいちいち考えるのがわずらわしい。
とりあえず因数分解は=の上にf、展開は=の上にe。
0109１３２人目の素数さん
垢版 |
2020/03/26(木) 14:37:18.85ID:zdwhYo90
>>105
逆、ラテン文字よりギリシア文字の方が古い
だから、LよりΓの方が古い
0112１３２人目の素数さん
垢版 |
2020/03/26(木) 16:41:08.57ID:BxgLAlXC
記号 ∇（ナブラ、英: nabla）の呼び名は、似た形のヘブライの竪琴のギリシャ語名
ν?βλα に由来する（アラビア語とヘブライ語での呼び名とも関係がある）。
数学記号としてこれを用いたのはハミルトンだが、横向き楔形 ? としてである。
他にも稀に、ギリシャ文字 Δ (delta) の逆さまであるということで、逆さ綴りにした
アトレッド (atled) を呼び名とすることもある。あるいは実際のギリシャ語での
呼び名は「逆さまのデルタ」(αν?δελτα) である。
0113１３２人目の素数さん
垢版 |
2020/03/27(金) 02:37:10.17ID:NEjlBRiX
>>111
共変微分の∇なら下に微分する方向のベクトル場Xを付けて∇_X Y って書くから問題無い
0114１３２人目の素数さん
垢版 |
2020/03/27(金) 23:53:40.02ID:stDeNVAR
>>52 これ良いね
0117１３２人目の素数さん
垢版 |
2020/04/04(土) 20:26:18.48ID:DoUMFRhS
交項級数を表す記号を考えた。
0118１３２人目の素数さん
垢版 |
2020/04/05(日) 11:30:11.02ID:bkOLM8XV
論理式の改良のアイデア

きいねく@とりあえずやる @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)
0119１３２人目の素数さん
垢版 |
2020/04/05(日) 17:09:00.87ID:dDLGoCMD
１行表記を避けて立体表記化したがる勢力と、立体表記を避けて１行表記化したがる勢力がいるな。
0121１３２人目の素数さん
垢版 |
2020/04/06(月) 00:05:36.77ID:avBTby7w
ネット上とかソフトウェア上だと立体表記は使いにくいと感じるね。
どんな場所でもTEXが使えるわけじゃあないからね。
0123１３２人目の素数さん
垢版 |
2020/04/06(月) 12:22:33.14ID:yTKcEGho
æ: almost everywhere
0125１３２人目の素数さん
垢版 |
2020/04/06(月) 13:10:46.80ID:Sa07J+Bv
証明論では付けたり外したりの操作があるね
暗黙の量化子は紛らわしいから
0126１３２人目の素数さん
垢版 |
2020/04/08(水) 11:07:57.19ID:dC57z+uQ
確かに、発音記号というかIPAで数学記号に流用できそうな記号はあるかも。
0127１３２人目の素数さん
垢版 |
2020/04/08(水) 11:31:44.38ID:157lfmRm
>>107
むしろ式変形を表す記号がほしいな
0128１３２人目の素数さん
垢版 |
2020/04/08(水) 12:36:34.63ID:hhfC+wr5
展開(expansion)がe
因数分解(factorization)がf
置換(substitution)がs
とかかな
0131粋蕎 ◆C2UdlLHDRI
垢版 |
2020/04/08(水) 15:24:25.72ID:wTQpTus/
御免なさい(´^ω^｀)

a A α

>>128
> 因数分解(factorization)

函数のfと被る…
0133１３２人目の素数さん
垢版 |
2020/04/08(水) 23:07:48.30ID:r4ItKhk6
整域Dの分数体をFrac(D)と表しますか？
0134１３２人目の素数さん
垢版 |
2020/04/09(木) 00:37:06.90ID:g2sep/rW
リー環をドイツ文字で表すことが多いけど、g, hならともかく、r, s のドイツ文字は手書きだと書きにくい
筆記体のАも人によって癖があって見難い
0138１３２人目の素数さん
垢版 |
2020/04/09(木) 19:46:56.65ID:NWZmgiAQ
ξは平仮名の そ を書いておけば欧米人には区別がつかないと聞いた
ζは平仮名の ち でよい
0139１３２人目の素数さん
垢版 |
2020/04/09(木) 20:29:40.32ID:g2sep/rW
>>135
日本人だけでしょ
欧米人は普通にxの筆記体かブロック体で書いている
0140１３２人目の素数さん
垢版 |
2020/04/09(木) 20:34:32.38ID:x7FXusCa
写像の像をf(A)のように書くこと
0141１３２人目の素数さん
垢版 |
2020/04/09(木) 22:28:09.42ID:7f4oLD1Q
そのf(A)ならIm fの記号があるだろ
0142１３２人目の素数さん
垢版 |
2020/04/10(金) 02:06:36.76ID:AZFsc+8T
高校でライプニッツの記法とラグランジュの記法がごちゃ混ぜに教えられてるのが気になる
積分みたく1つに統一してくれよ
0143１３２人目の素数さん
垢版 |
2020/04/10(金) 02:10:26.48ID:AZFsc+8T
高校でライプニッツの記法とラグランジュの記法がごちゃ混ぜに教えられてるのが気になる
積分みたく1つに統一してくれよ
0146１３２人目の素数さん
垢版 |
2020/04/10(金) 15:44:10.69ID:iK+HpD8g
=で表される式変形が細かく分類すると本当はいくつに分類されるかだよ。
20くらいで済むのか？それとも100くらいあるのか？
展開や因数分解っていうのは一番単純な例を挙げただけに過ぎない。
0147１３２人目の素数さん
垢版 |
2020/04/10(金) 15:53:51.32ID:TAgOjqPb
2と1の誤差は1と0の誤差ではない
0148１３２人目の素数さん
垢版 |
2020/04/10(金) 18:10:42.45ID:Tr9EiLhS
>>146
「式変形の=と定義の=と代入の=を区別する記号がほしい」とかなら分かるが、「式変形をその根拠ごとに区別する記号がほしい」という気持ちは分からない
0149１３２人目の素数さん
垢版 |
2020/04/10(金) 18:40:47.26ID:HcoyuZ6v
こんなん思い付きやした
等価 =
同一 ==
定義 :=
代入 =:
=a a変換　=b b変換　=c c変換
0150１３２人目の素数さん
垢版 |
2020/04/10(金) 18:44:15.47ID:HcoyuZ6v
実際の記述は

━━━━
━━━━
　　　a

此の様に等号の右下に小さく記されれば良い｡
0151１３２人目の素数さん
垢版 |
2020/04/10(金) 19:24:37.77ID:TBRbJxcM
定義はdefが既にあるでしょう。
0153１３２人目の素数さん
垢版 |
2020/04/10(金) 21:03:30.08ID:DgSbVVfS
>>152
それは a mod p = b mod p でいいんじゃないか?
コセットの等式 a+(p) = b+(p) でもいいけど
0155１３２人目の素数さん
垢版 |
2020/04/11(土) 05:55:51.99ID:EdzRK7cl
いちいち（modp）と書くのは面倒じゃね？
なんか簡易な記法があれば
0156１３２人目の素数さん
垢版 |
2020/04/11(土) 08:30:33.48ID:xv2+qz2B
法を最初に宣言にして以下mod pを省略するのはよくある手法だけどそれでは飽き足りないのか
0160１３２人目の素数さん
垢版 |
2020/04/16(木) 19:27:34.79ID:1F/PErBk
関数のノルムと絶対値が区別できないので却下
0163１３２人目の素数さん
垢版 |
2020/04/17(金) 11:30:09.79ID:6LuxttiZ
インテグラルがダサいかは知らんが積分にもラグランジュの記法みたいなん欲しい
0164１３２人目の素数さん
垢版 |
2020/04/17(金) 19:13:06.13ID:S72R/9wJ
マイナス階の微分で定義 f^{(-1)}(x)
0165１３２人目の素数さん
垢版 |
2020/04/17(金) 21:56:25.10ID:rhfFY7Ks
積分って計算量デカイよな｡
マイナス1次微分で代替すれば良いんだ！ってマイナス1次微分展開してみたら無限数列化してしまった｡
微分みたいに定義域の一点だけを計算すれば良い訳ではなく
やはり積分は、ある程度の範囲を見ないと求められない事が分かった｡

微分y=df(x)/dxはx-y座標上の「x近傍の傾き」だけを調べれば良いが
積分y=∫f(x)dxはx-y座標上の或る程度の範囲を調べなきゃいけなくて困る｡
0169１３２人目の素数さん
垢版 |
2020/04/18(土) 18:26:52.15ID:bnkX626t
>>165 の言ってるのと関係あるのか知らんけど(多分複素解析の話だと思うけど)
経路とか出てくる複素/ベクトル解析とか
或いはルベーグ積分とか超函数とかのもっと気難しい積分には
原始関数がなかったりもっと大きな近傍で処理しなきゃいけなかったりするから
単なる微分の逆では困ることになる
0171１３２人目の素数さん
垢版 |
2020/04/18(土) 20:15:30.33ID:8t+3u7p0
学校が休みで暇してるJKです
書いたこともないのに格好良く数式を書いてみたくなりました
以下の式はどのように書いたらいいでしょうか？
お絵描きモードでも結構です

5分間平均温度+(5分間平均湿度/1000×5)
0172１３２人目の素数さん
垢版 |
2020/04/19(日) 19:34:12.85ID:qEBx3zQ+
>>169
積分区間を微小に取れば済むこと
ていうか微分積分学の基本定理だろ
d/dx { ∫^x_a f(t) dt } = f(x)
0173１３２人目の素数さん
垢版 |
2020/04/20(月) 06:24:16.60ID:yNPsB55l
例えば、(x-1)(x-2)＞0の解をx＜1、2＜xと書く件について
x＜1、x＞2のようにxを左に書きたくなるのは俺だけ？
0174１３２人目の素数さん
垢版 |
2020/04/20(月) 14:58:40.28ID:UreoyzRx
>>173
それはセンスなさ過ぎ
不等号の向きを揃えるのが基本
さらに右側を大きな数にすると、数直線と対応して読みやすい
0177１３２人目の素数さん
垢版 |
2020/04/20(月) 21:00:23.84ID:8+nBZFTU
プログラミングではxを左に書く流儀がそれなりに地位を得てるな
プログラミングでは修正のしやすさが重要視されていて、例えばx > 2に付け加えてx < 1 || x > 2にしたり、x < 1 || x > 2から削除してx > 2にしたりが、xを左に統一する流儀だと楽
0179１３２人目の素数さん
垢版 |
2020/04/20(月) 22:16:42.02ID:8+nBZFTU
>>178
x > 2単体で書くときに2 < xと書く流儀なら修正しやすさに違いはないかな
書き忘れてたけど、変数を左に書くのは「主語述語の順に読み下せる」的な意味もある
0181１３２人目の素数さん
垢版 |
2020/04/20(月) 23:44:17.68ID:8+nBZFTU
>>180
「2より大きい」は数学用語の意味でも述語だし、「xは1より小さいか2より大きい」と主語を省略できるから考えやすいとは思う
数学民に響く理由は知らん
0182１３２人目の素数さん
垢版 |
2020/04/21(火) 01:36:08.27ID:gIPp5okj
やべ、&と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

集合和積∪∩じゃなくて論理和積∨∧の方が良かった？
0184１３２人目の素数さん
垢版 |
2020/04/21(火) 07:56:58.92ID:vR7ejOqj
√2/2よりも、1/√2の方が美しい
問題文に「分母は有理化すること」と書いてあるとモヤモヤする
0194１３２人目の素数さん
垢版 |
2020/04/22(水) 20:24:36.14ID:LxI+KLOb
ハンター×ハンター
0195１３２人目の素数さん
垢版 |
2020/04/23(木) 07:30:57.33ID:jo4khePF
>>73
log^2 x と書いている国もあるよ
国によって数学の記号の流儀が異なることもある
0199１３２人目の素数さん
垢版 |
2020/04/23(木) 18:43:07.87ID:XWvRD9DG
「よって」って「だから」レベルの俗語だよな
学術用語ではない

・ゆえに，それゆえ
定理の証明
・したがって
公理・公準の援用
0200１３２人目の素数さん
垢版 |
2020/04/23(木) 18:44:02.49ID:XWvRD9DG
〜によって
という日本語はあるが
よって〜
という日本語はない
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況