探検

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

■ このスレッドは過去ログ倉庫に格納されています
1１３２人目の素数さん
垢版 |
2020/02/21(金) 20:34:15.89ID:0ginupBW
数学記号というのは、まだまだ改良の余地があると思う。
特に=の記号なんかは何通りかに分類して書き分けても良いのではないだろうか？
2020/04/10(金) 21:03:30.08ID:DgSbVVfS
>>152
それは a mod p = b mod p でいいんじゃないか?
コセットの等式 a+(p) = b+(p) でもいいけど
2020/04/10(金) 21:44:26.29ID:mLd10Xjw
λ計算のβ変換の矢印

β
→
＊

（＊はβ変換の繰返し）
2020/04/11(土) 05:55:51.99ID:EdzRK7cl
いちいち（modp）と書くのは面倒じゃね？
なんか簡易な記法があれば
156１３２人目の素数さん
垢版 |
2020/04/11(土) 08:30:33.48ID:xv2+qz2B
法を最初に宣言にして以下mod pを省略するのはよくある手法だけどそれでは飽き足りないのか
2020/04/11(土) 15:07:51.34ID:pGVGg6DB
>>147
これって相対誤差のこと言ってる？
2020/04/11(土) 18:02:10.20ID:E9jY7q7+
p-進かもよ
2020/04/15(水) 17:00:28.87ID:xNjK/UkZ
ノルム記号||a||を廃止し、|a|にする
160１３２人目の素数さん
垢版 |
2020/04/16(木) 19:27:34.79ID:1F/PErBk
関数のノルムと絶対値が区別できないので却下
2020/04/17(金) 05:47:47.46ID:r9/xnrvG
インテグラル記号がダサいので変えよう
2020/04/17(金) 11:19:57.96ID:WrGbOgSo
何処が？
2020/04/17(金) 11:30:09.79ID:6LuxttiZ
インテグラルがダサいかは知らんが積分にもラグランジュの記法みたいなん欲しい
164１３２人目の素数さん
垢版 |
2020/04/17(金) 19:13:06.13ID:S72R/9wJ
マイナス階の微分で定義 f^{(-1)}(x)
2020/04/17(金) 21:56:25.10ID:rhfFY7Ks
積分って計算量デカイよな｡
マイナス1次微分で代替すれば良いんだ！ってマイナス1次微分展開してみたら無限数列化してしまった｡
微分みたいに定義域の一点だけを計算すれば良い訳ではなく
やはり積分は、ある程度の範囲を見ないと求められない事が分かった｡

微分y=df(x)/dxはx-y座標上の「x近傍の傾き」だけを調べれば良いが
積分y=∫f(x)dxはx-y座標上の或る程度の範囲を調べなきゃいけなくて困る｡
2020/04/17(金) 23:06:14.89ID:6LuxttiZ
>>165
日本語でよろ
2020/04/18(土) 12:47:09.69ID:cVi/8Rm3
解析関数なら近傍で済む
2020/04/18(土) 13:38:18.45ID:lZT6JCg2
近傍だけで積分が分かるのが解析関数だけじゃなぁ

数学神様…
2020/04/18(土) 18:26:52.15ID:bnkX626t
>>165 の言ってるのと関係あるのか知らんけど(多分複素解析の話だと思うけど)
経路とか出てくる複素/ベクトル解析とか
或いはルベーグ積分とか超函数とかのもっと気難しい積分には
原始関数がなかったりもっと大きな近傍で処理しなきゃいけなかったりするから
単なる微分の逆では困ることになる
2020/04/18(土) 18:42:23.71ID:hLCFkxj9
>>169
難しいこと考えるまでもなく床関数の積分の時点で単なる微分の逆ではなくなる
2020/04/18(土) 20:15:30.33ID:8t+3u7p0
学校が休みで暇してるJKです
書いたこともないのに格好良く数式を書いてみたくなりました
以下の式はどのように書いたらいいでしょうか？
お絵描きモードでも結構です

5分間平均温度+(5分間平均湿度/1000×5)
172１３２人目の素数さん
垢版 |
2020/04/19(日) 19:34:12.85ID:qEBx3zQ+
>>169
積分区間を微小に取れば済むこと
ていうか微分積分学の基本定理だろ
d/dx { ∫^x_a f(t) dt } = f(x)
2020/04/20(月) 06:24:16.60ID:yNPsB55l
例えば、(x-1)(x-2)＞0の解をx＜1、2＜xと書く件について
x＜1、x＞2のようにxを左に書きたくなるのは俺だけ？
174１３２人目の素数さん
垢版 |
2020/04/20(月) 14:58:40.28ID:UreoyzRx
>>173
それはセンスなさ過ぎ
不等号の向きを揃えるのが基本
さらに右側を大きな数にすると、数直線と対応して読みやすい
2020/04/20(月) 16:27:14.70ID:YSMPdYrN
「x＜1 または 2＜x」だろ
2020/04/20(月) 17:55:30.60ID:oyGS3XIo
x＜1 ∩ x＞2　?
1＞x＜2　　　 ??

(x-1)(x-2)＞0
⇒x＜1 ∩ 2＜x
2020/04/20(月) 21:00:23.84ID:8+nBZFTU
プログラミングではxを左に書く流儀がそれなりに地位を得てるな
プログラミングでは修正のしやすさが重要視されていて、例えばx > 2に付け加えてx < 1 || x > 2にしたり、x < 1 || x > 2から削除してx > 2にしたりが、xを左に統一する流儀だと楽
2020/04/20(月) 21:58:35.01ID:ixwBvxmG
>>177
順番を逆にしたら何が不都合なのか
2020/04/20(月) 22:16:42.02ID:8+nBZFTU
>>178
x > 2単体で書くときに2 < xと書く流儀なら修正しやすさに違いはないかな
書き忘れてたけど、変数を左に書くのは「主語述語の順に読み下せる」的な意味もある
2020/04/20(月) 22:26:08.69ID:ixwBvxmG
>>179
それだと
２はｘより小さい
でも何ら問題ない

数学民に響く理由はないの？
2020/04/20(月) 23:44:17.68ID:8+nBZFTU
>>180
「2より大きい」は数学用語の意味でも述語だし、「xは1より小さいか2より大きい」と主語を省略できるから考えやすいとは思う
数学民に響く理由は知らん
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

集合和積∪∩じゃなくて論理和積∨∧の方が良かった？
2020/04/21(火) 01:36:39.57ID:kTRtmLXl
>>174
> 不等号の向きを揃えるのが基本

数学の美的センスのような物だよな
2020/04/21(火) 07:56:58.92ID:vR7ejOqj
√2/2よりも、1/√2の方が美しい
問題文に「分母は有理化すること」と書いてあるとモヤモヤする
2020/04/21(火) 14:34:58.55ID:lxkip3W5
俺もそう思ってた
2020/04/21(火) 17:00:47.89ID:q8BckrVw
ユーリカ！
2020/04/21(火) 22:12:59.65ID:jVkx13J4
因数分解と素因数分解という用語を統一したい
2020/04/21(火) 22:49:07.02ID:oY0jMh9N
>>184
線型代数やれ
2020/04/22(水) 01:48:08.93ID:S0Ffpfjs
>>187
素元分解
2020/04/22(水) 05:33:19.73ID:/3gwiaZm
図I、図IIという表記を廃止し、図1、図2にする
2020/04/22(水) 16:52:35.56ID:UxYqi2wk
図0 から始めよう
2020/04/22(水) 19:07:18.92ID:vf9gzHgK
小泉今日子を KYON^2 と表す件について
2020/04/22(水) 19:13:50.44ID:X38faA9i
>>73-74
KYON^2(歳)
194１３２人目の素数さん
垢版 |
2020/04/22(水) 20:24:36.14ID:LxI+KLOb
ハンター×ハンター
195１３２人目の素数さん
垢版 |
2020/04/23(木) 07:30:57.33ID:jo4khePF
>>73
log^2 x と書いている国もあるよ
国によって数学の記号の流儀が異なることもある
2020/04/23(木) 10:08:44.12ID:TPUUjIaf
「したがって、よって、ゆえに」の使い分けについて
2020/04/23(木) 10:50:15.80ID:gOFTpPPZ
∀xとかが後ろにあるともやっとする
x+0=0+x=x ∀x
みたいなの
2020/04/23(木) 12:32:47.20ID:bpD+kfBC
>>196
同じ意味だろ
199１３２人目の素数さん
垢版 |
2020/04/23(木) 18:43:07.87ID:XWvRD9DG
「よって」って「だから」レベルの俗語だよな
学術用語ではない

・ゆえに，それゆえ
定理の証明
・したがって
公理・公準の援用
200１３２人目の素数さん
垢版 |
2020/04/23(木) 18:44:02.49ID:XWvRD9DG
〜によって
という日本語はあるが
よって〜
という日本語はない
201１３２人目の素数さん
垢版 |
2020/04/23(木) 18:46:05.82ID:XWvRD9DG
>>197
論理式や数式って右から読むと理解できることもあるんだぜ
左から書いて読むなんていうのは最近の出来事
それだから
関数f(x)も(x)fとかxfって書いた時代もあった
202１３２人目の素数さん
垢版 |
2020/04/23(木) 18:52:39.91ID:XWvRD9DG
たとえば群の単位元なんていうのがわかりやすい例だと思う：

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

これを右から読むと

x*e=e*x=x
となるすべてのxに対して
eが存在する
203１３２人目の素数さん
垢版 |
2020/04/23(木) 19:05:02.52ID:nizQI1j8
>>202
お前バカだな
「任意」と「ある」の順序を変えたら意味が全然違うぞ

下の文の e は xに依存しても良いから
204１３２人目の素数さん
垢版 |
2020/04/23(木) 19:09:51.68ID:ZZQLAhKm
笑ったw

色々知識をひけらかしても>>202は論理の基本が分かってないな
205１３２人目の素数さん
垢版 |
2020/04/23(木) 19:10:22.65ID:XWvRD9DG
>>203
右から読んでも順序は変わらない

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

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

お前こそ
そんな考えじゃ
この任意の元に何か代入してんじゃないのか？
任意の元だから任意に選ぶっていう奴
206１３２人目の素数さん
垢版 |
2020/04/23(木) 19:18:58.78ID:XWvRD9DG
論理式も同じだぞ

(∃x)(∀y)FxGy

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

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

Fxが存在しすべてのGy

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

それだから右から読むことを勧めたまで
2020/04/23(木) 20:13:15.55ID:ZZQLAhKm
じゃあε-δを逆に読んでも同じ意味になるのかよ
208１３２人目の素数さん
垢版 |
2020/04/23(木) 21:14:11.97ID:XWvRD9DG
デルタは適当にとれるが
イプシロンは任意に固定されている

これがわかっている奴の質問とは思えんな
209１３２人目の素数さん
垢版 |
2020/04/23(木) 21:16:06.30ID:XWvRD9DG
εは任意だから1とおくだとか
εは任意だからε/2とするとか

そういうのは全部間違いだぞ
2020/04/23(木) 21:51:39.09ID:L1L7Jo3Q
大輝くん元気〜？
211山本大輝 ◆MR2ZPDP6w6
垢版 |
2020/04/23(木) 22:11:45.67ID:XWvRD9DG
>>210
俺をkingみたいに呼ぶなｗ
2020/04/24(金) 07:06:28.00ID:5BaWY4q6
上への写像(onto)という言葉はイヤだ
2020/04/24(金) 16:25:09.23ID:Qp7zMC8W
中への写像も同類だな
214１３２人目の素数さん
垢版 |
2020/04/24(金) 21:21:28.50ID:6R24FodF
自然な写像は？
2020/04/25(土) 08:15:23.25ID:srxXyxQo
「内」積・「外」積という用語について
2020/04/25(土) 13:40:22.04ID:8f2x/a1s
外積は分かるが内積は何だろね
2020/04/25(土) 13:57:47.26ID:amZRaxTq
2つのベクトルの間(内)にある角度かな
218１３２人目の素数さん
垢版 |
2020/04/26(日) 00:39:13.39ID:02x/kIte
内部積ってのもあるね
2020/04/26(日) 05:44:23.67ID:tjnwATgs
3乗根を「ルートの左上に3」と書くのは不自然だと思う
2020/04/26(日) 11:42:02.04ID:8RVnYR86
他に書く場所がない
2020/04/26(日) 12:23:00.52ID:ufs35sPM
5の3乗根を3√5に見間違えるとかなら分からんでもないが不自然では一切ないな
222１３２人目の素数さん
垢版 |
2020/04/26(日) 13:06:05.42ID:rwD8EHQ+
立方根はcube root of 2とか2^(1/3)とか別の方法でも書いてほしいよな。
223１３２人目の素数さん
垢版 |
2020/04/26(日) 13:14:15.61ID:zZRXG+3u
学術の巨大掲示板群 - アルファ・ラボ
ttp://x0000.net

数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
2020/04/27(月) 07:11:21.62ID:/ecOZdQs
「ε-δ論法」を廃止し「δ-ε論法」にする
225１３２人目の素数さん
垢版 |
2020/04/27(月) 20:40:28.95ID:lGFtDD8y
>>224
> 「ε-δ論法」を廃止し「δ-ε論法」にする

ε-δ論法の論理構造を君が全く理解していないって良く分かったよ
226１３２人目の素数さん
垢版 |
2020/04/27(月) 21:49:36.09ID:+T5db4aG
(∀a)(∃b)Fab　適当にとったbに応じてaも変化する(もちろん任意に固定されている)

(∃b)(∀a)Gab　bを適当にとってもaは固定されたまま(Gの全体)
2020/04/27(月) 22:06:58.37ID:mVs1Et8X
コテハン「哀れな素人」こと安達氏に言え
彼は『任意の』の意味も履き違えとった
2020/04/27(月) 22:15:09.15ID:hmhLqX5a
生きてたんかお前……
2020/04/27(月) 22:16:03.74ID:L8EKRG2n
>>226
お前の∀aとか∃bにかっこをつける記法は結構珍しい流儀だけど何が由来？
つかコテつけとけ
2020/04/27(月) 22:38:59.65ID:+T5db4aG
>>229
丹治信治の論理学だよ
2020/04/27(月) 23:26:15.03ID:mVs1Et8X
田舎じゃけぇの。kingもmixiに引きこもり毎日、日記を書いとるぞ
しかしkingは本当に理研なんじゃろうか？

>>211
はて？kingが去った後に暇した儂も知らん貴殿が何故、kingを知っとる？
2020/04/27(月) 23:27:12.43ID:L8EKRG2n
>>230
数学書読めや
2020/04/27(月) 23:42:56.65ID:+T5db4aG
>>232
昨日から竹之内脩の集合と位相を読み直している
集合算の基礎の証明でもいくつかトートロジーが使われていて
論理学を学ぶ前では気づきもしなかったことだった

って感じで数学も読んでる
2020/04/27(月) 23:57:26.93ID:L8EKRG2n
>>233
論理学の数学書読めや
2020/04/28(火) 00:06:23.27ID:t2Fry4vD
>>234
論理学の数学書？ｗ
数理論理学のことか？
何れ読むよ

俺には目標があって
成田正雄のイデアル論を読むことなんだ
2020/04/28(火) 00:26:06.07ID:SCr1/004
>>235
(哲学書を読むなとは言わんが、数学板で論理について語りたいならまず)論理学の数学書(である数理論理学の本)読めや
2020/04/28(火) 09:57:51.39ID:pUBk2jzg
「必要」条件、「十分」条件という言葉のわかりずらさは異常
2020/04/28(火) 23:16:55.17ID:Vz8EFBN3
そうか？
2020/04/28(火) 23:17:13.13ID:Vz8EFBN3
そうか？
2020/04/29(水) 09:54:14.78ID:Sm76vh0O
∩をキャップ、∪をカップと呼ぶのはイヤだ
2020/04/29(水) 12:47:15.19ID:U1zbPkei
猫背と海老反りにする？
2020/04/29(水) 14:42:12.60ID:WrspWCBy
フールズキャップ黒歴史大学ノート
2020/04/30(木) 06:55:21.04ID:77zj8j8y
時計回り・反時計回りという言葉を廃止し、右回り・左回りにする
2020/04/30(木) 13:18:22.67ID:IPHijBTr
そういえば逆回り時計もあったな
2020/04/30(木) 15:27:12.97ID:3hSWWRLt
お前ら廃止だとかイヤだとか書くならその理由もちゃんと書け
2020/05/01(金) 18:14:58.87ID:L6BRmC25
イヤイヤ期
2020/05/02(土) 19:00:04.40ID:6W4WL5L5
7の読み方を「なな」「しち」のどちらかに統一してほしい
248１３２人目の素数さん
垢版 |
2020/05/02(土) 21:49:51.50ID:ITXDQ7L4
ディアドの呼び方と記号が混乱しまくり
https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E7%A9%8D

とりあえずディアドのことを外積と呼んだり、テンソル積と呼ぶのはやめるべきだと思う。
249１３２人目の素数さん
垢版 |
2020/05/03(日) 00:08:27.51ID:DrCPzdBY
>>243
むしろ、回転の角度を「3時の方向から反時計回り」で考える数学界の悪習を廃して、
時計の動きを模した「12時の方向から時計回り」に切り替えるべき。
250１３２人目の素数さん
垢版 |
2020/05/03(日) 00:19:18.29ID:04epL35S
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.43ID:U7Iu3A/g
>>247
訓読みと音読みの両方があるから日本語だ
2020/05/03(日) 13:28:30.82ID:dhBYQa0S
最近は「∴」の使用頻度が低下しつつあるらしい
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況