ツイッターとマストドン両方つかってて、どちらかというとマストドンの方で書く方が増えてるけど、どの話題をどっちに書くか悩んでる＞＜；

具体的に言うと、今夜はツイッターに飛行機の話題を書いて、マストドンに数学の話題書いた＞＜

C#で75行のコード書いたよ！ブラウザ上で実行できるよ！ https://t.co/fp6x35W7yp #paizaIO paiza.io/projects/hMp6b…rrer">@paizaIO_jpさんから

マストドンで、掛け算の順序問題が発生してしまうのは型システムが無いからだ！＞＜って前から書いてる話の続きを書いたんだけど、さらに考えが進んだかも＞＜

この辺＞＜ mstdn.nere9.help/@orange_in_spa… mstdn.nere9.help/@orange_in_spa… mstdn.nere9.help/@orange_in_spa… mstdn.nere9.help/@orange_in_spa…

つまり掛け算の順序問題は、小学校の算数には型システムはあるとも言えるし型の定義を小学生にさせてるとも言えるにもかかわらず、その実は最も重要な型の定義の部分を回答に含めずに答えでしかない式を書かせるからおかしな事になってる（順序があるとか馬鹿な事を言う奴が出てくる）って言いたい＞＜

型システムがあれば問題文から（実際に計算するための）式への変換で型変換して単純な数値型するという作業をして（させて）いるにもかかわらずそれに注目していないし、逆に答えにも型があるにもかかわらずそれを書かせていないからおかしな話になるかも＞＜

ということで、元々算数には注目されていないだけで事実上の型システムはあるかもだし、一方で自称数学好きな人がいう「数学は抽象的であり」なんていうのも、この場面では型理論は数学じゃないとでもいってるようなものであって、そういうのがいう『数学』は数学のサブセットでしかないかも＞＜

これを強く主張するだけの印籠のようなものが不足してるし、やっぱTaPL日本語版ほしい＞＜；（高い＞＜；）

@orange_in_space x型変換して単純な数値型するという o型変換して単純な数値型にするという

そういえば、直方体の体積の公式って、「ある頂点から延びる（？）3つ辺の長さを掛ける」の方が正しい公式だと思うんだけど何でそうなってないんだろう？＞＜（なんで教える時に縦とか横とか言い出すの？＞＜って言いたい＞＜）

そうすると温度管理する必要が無いということかも・・・・？＞＜

超立方体で考えても超立方体の体積（？＞＜；）って、全て頂点から述べる辺を掛け合わせれば出るじゃん？＞＜ でも正方形の体積って0じゃん？＞＜ 面積は0じゃなくなるけど＞＜ ひとつ次元が上がることでひとつ前のものがゼロになる単位って（日本語で？）なんて言うんだろう？＞＜

つまり、正方形（？）って面積から体積になるとゼロになっちゃうじゃん？＞＜ じゃあ3次元の立方体が4次元の正八胞体になった時に、面積が体積になるように、体積が4次元の単位になった時に、立方体は4次元単位（？）でゼロになるじゃん？＞＜ それなんて言うんだろう？＞＜

直線の面積は0じゃん？＞＜； 正方形の体積も0じゃん？＞＜； 立方体の4次元単位（なんていうの？＞＜；）も0じゃん？＞＜ こういうのなんていうの＞＜；（どうにかわかりやすく説明したいのに全く同じ事書いてる気がする＞＜；）

1m →「いち めーとる」 1m^2 →「いち へいほうめーとる」 1m^3 →「いち りっぽうめーとる」 1m^4 ←これ日本語でなんて言うの？＞＜；

ぐぐったけどよくわからない・・・・＞＜

4次元単位それらしき答えの英語版が！＞＜； -- If 2D = square metres 3D is cubic meters what will 4D be called or does that unit already exists? - Quora quora.com/If-2D-square-m…

biquadrateが一応の単位？＞＜で日本語では 四乗冪？＞＜； ということは 1m^4の日本語読み（？）は、「いち しじょうべき（？） めーとる」？＞＜；（よんじょうべき？＞＜）

つまり1辺が1メートルの立方体の4次元の大きさ？？？は、「ゼロしじょうべきめーとる（？＞＜； 四乗冪米？？？＞＜；）」で、1辺が1メートルの正八胞体は、「いち しじょうべきめーとる」って言うのかも？＞＜；

グーグルさん「" 四乗冪米"との一致はありません。」