文字枯渇問題 ->画像>1枚

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

そこで平仮名の出番よ

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

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

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

すげえ読みにくいぞ


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

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

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

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

色盲だと困るじゃん

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

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

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

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

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

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

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

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

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

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

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

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

洗濯機、買うたで

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

(￣ー￣)ﾆﾔﾘ