文字枯渇問題

**１３２人目の素数さん** · 2023/01/19(木) 23:40:39.45

普通のアルファベットに始まり、ギリシャ文字、キリル文字、さらにはアラビア文字や普通のアルファベットのフォント違いまで使われる
これどうすんの？
演算子の省略をやめてプログラミングみたいに複数文字の解禁する？
式の見た目が複雑になりすぎそうだけど

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

そこで平仮名の出番よ

**１３２人目の素数さん** · 2023/01/20(金) 06:33:24.36

なんで平仮名や片仮名は使われないんだろうね？見た目が良くないのかな

**１３２人目の素数さん** · 2023/01/20(金) 09:01:46.31

よ：米田に因む
は：カルタン部分環に関するある格子（Chevalley）
高：高木群（Chevalley）

**１３２人目の素数さん** · 2023/01/20(金) 12:42:27.41

数学史の流れを汲むなら、そろそろ増やすのではなく、減らす方向に持っていく可能性もありえます
削減なりしてスッキリして欲しいですね

**１３２人目の素数さん** · 2023/01/20(金) 13:46:41.13

すげえ読みにくいぞ

たを体、ベをた上のベクトル空間とする。ぬを自然数とする。ベのぬ個の元え_1、え_2、...、え_ぬが一次独立であるとは、次の条件が成り立つことである。

あ_1 え_1 + あ_1 え_2 + ... + あ_ぬえ_ぬ = 0 （あ_1、あ_2、...、あ_ぬ∈た）
⇒ あ_1 = あ_2 = ... = あ_ぬ = 0

**１３２人目の素数さん** · 2023/01/20(金) 13:59:52.62

今時白黒にこだわる必要もないから色を変えればいいよ
a（黒）を体、a（赤）をa（黒）上のベクトル空間とする。a（青）を自然数とする。a（黒）のa（青）個の元a（ピンク）_1, ...a（ピンク）_a（青）が一次独立であるとは…

**１３２人目の素数さん** · 2023/01/20(金) 14:15:55.30

>>6
1次独立でさえこんな難しくなるのかｗｗｗ

**１３２人目の素数さん** · 2023/01/20(金) 14:17:02.65

色盲だと困るじゃん

**１３２人目の素数さん** · 2023/01/20(金) 15:02:53.48

>>6
読みにくいのは日本語の地の文の中で平仮名使ってるからだろ　英語の中の平仮名は読みやすい

Let た be a field, へ a vector space over た. ぬelements of へえ_1, … , え_ぬ are called linearly independent if the following condition is satisfied: …

**１３２人目の素数さん** · 2023/01/20(金) 15:44:05.23

>>10
英文に全角が混在してるのがまず読みにくい

Let ﾀ be a field, ﾍ a vector space over ﾀ. ﾇ elements of ﾍｴ_1, … , ｴ_ﾇ are called linearly independent if the following condition is satisfied: …

**１３２人目の素数さん** · 2023/01/20(金) 17:12:51.34

>>11
それを言えばフラクトゥールとかスクリプト体の大文字も全角みたいなもんだと思うが
でもまあ外国人には半角カタカナのほうが書きやすいのか

**１３２人目の素数さん** · 2023/01/20(金) 18:53:12.05

添字の自然数まで変える必要なくね
全ての文字をひらがなorカタカナにしようなんて話でもないし、添字まで変えるのは不必要に見づらい印象を持たせようとしてるようにしか見えない

**１３２人目の素数さん** · 2023/01/21(土) 14:27:36.53

情報を整理するための有用な記号の使い方なんてのはモロ情報科学の範疇なんだから、大人しく情報科学の知見を活かせばいい
まず変数はスコープの概念と切っても切り離せないわけで、数学にもちゃんとしたスコープを実装すべき
現状定理としてモジュール化する以外に形式的なスコープの設定方法がない
数学で文字が枯渇するシチュのうち、定理の前半でしか使わない変数名を後半で使いたくなったシチュの割合は少なくないはず
定理としてモジュール化せずとも変数名を再利用できる効用は大きい

**１３２人目の素数さん** · 2023/01/21(土) 14:31:29.74

>>14
確かに
スコープあるとめちゃ便利

**１３２人目の素数さん** · 2023/01/21(土) 14:49:07.44

名前空間使えばいいと思うよ
ドットで繋げるのを数学者は嫌がるんだろうか
そもそもオレオレ定義をグローバルにしてやろうという野心に燃えているのか

**１３２人目の素数さん** · 2023/01/25(水) 21:30:30.17

数学の変数は基本的に不変なので、グローバルでもなんの弊害もない

**１３２人目の素数さん** · 2023/01/26(木) 10:11:36.24

>>17
型理論タイプ理論そのものな話だと思う。

**１３２人目の素数さん** · 2023/01/28(土) 05:36:25.53

ヒトラーの時代にはドイツではヘブライ文字の使用は禁止になったのだろうか？

**１３２人目の素数さん** · 2023/03/04(土) 20:04:44.66

洗濯機、買うたで

**１３２人目の素数さん** · 2023/04/04(火) 01:29:40.11

平面上のコンパクトで連結である程度小さい長さの曲線で他の
記号やと見た目が似てないなら別に文字でなくてもいいのでは
ちなみに連結でない文字(i,j,お,etc.)は嫌いだ

**１３２人目の素数さん** · 2023/09/23(土) 01:55:21.46

(￣ー￣)ﾆﾔﾘ