Let た be a field, へ a vector space over た. ぬelements of へ え_1, … , え_ぬ are called linearly independent if the following condition is satisfied: … 0011132人目の素数さん2023/01/20(金) 15:44:05.23ID:QQsmsKyY>>10 英文に全角が混在してるのがまず読みにくい
Let タ be a field, ヘ a vector space over タ. ヌ elements of ヘ エ_1, … , エ_ヌ are called linearly independent if the following condition is satisfied: … 0012132人目の素数さん2023/01/20(金) 17:12:51.34ID:0pXZXXit>>11 それを言えばフラクトゥールとかスクリプト体の大文字も全角みたいなもんだと思うが でもまあ外国人には半角カタカナのほうが書きやすいのか 0013132人目の素数さん2023/01/20(金) 18:53:12.05ID:4XTcl6V5 添字の自然数まで変える必要なくね 全ての文字をひらがなorカタカナにしようなんて話でもないし、添字まで変えるのは不必要に見づらい印象を持たせようとしてるようにしか見えない 0014132人目の素数さん2023/01/21(土) 14:27:36.53ID:Vj/JklO8 情報を整理するための有用な記号の使い方なんてのはモロ情報科学の範疇なんだから、大人しく情報科学の知見を活かせばいい まず変数はスコープの概念と切っても切り離せないわけで、数学にもちゃんとしたスコープを実装すべき 現状定理としてモジュール化する以外に形式的なスコープの設定方法がない 数学で文字が枯渇するシチュのうち、定理の前半でしか使わない変数名を後半で使いたくなったシチュの割合は少なくないはず 定理としてモジュール化せずとも変数名を再利用できる効用は大きい 0015132人目の素数さん2023/01/21(土) 14:31:29.74ID:BkpviRy6>>14 確かに スコープあるとめちゃ便利 0016132人目の素数さん2023/01/21(土) 14:49:07.44ID:FX4NKqcM 名前空間使えばいいと思うよ ドットで繋げるのを数学者は嫌がるんだろうか そもそもオレオレ定義をグローバルにしてやろうという野心に燃えているのか 0017132人目の素数さん2023/01/25(水) 21:30:30.17ID:rpYJ2k9l 数学の変数は基本的に不変なので、グローバルでもなんの弊害もない 0018132人目の素数さん2023/01/26(木) 10:11:36.24ID:fFhtBmGE>>17 型理論タイプ理論そのものな話だと思う。 0019132人目の素数さん2023/01/28(土) 05:36:25.53ID:C+WtEYiy ヒトラーの時代にはドイツではヘブライ文字の使用は禁止になったのだろうか? 0020132人目の素数さん2023/03/04(土) 20:04:44.66ID:/n9ri60r 洗濯機、買うたで 0021132人目の素数さん2023/04/04(火) 01:29:40.11ID:ZAjv/Wgw 平面上のコンパクトで連結である程度小さい長さの曲線で他の 記号やと見た目が似てないなら別に文字でなくてもいいのでは ちなみに連結でない文字(i,j,お,etc.)は嫌いだ 0022132人目の素数さん2023/09/23(土) 01:55:21.46ID:Vnsitq02 ( ̄ー ̄)ニヤリ