isomorph @isomorph@mathtod.online
- 興味１
- 圏論
- 興味２
- λx.x λxy.x λxyz.xz(yz)
- 興味３
- ι = f -> f(S)(K)
- 興味４
- jot
Isomorphです。
圏論を学習中です。
数論は苦手で、素数の例を上げろと言われたら
57と答える人です。
よろしくおねがいします。
Joined Aug 2020
Pinned post
圏論について理解したことを元に、拙いながらマンガの原案をやっておりまして、いつも気づいたことを呟いてます。
現実のオブジェクトに対して作用するという事を考察し続けてます。
オブジェクトが非破壊であるというのは、認知の構造そのものが非破壊であり、ある時間Tでの状態においての演算結果は、時間経過を伴わないと変化できないからとも言えそうですね…
https://techbookfest.org/organization/5182214379667456
このサークルですが、よろしくおねがいします。
m(_ _)m
難しい計算は適当にチューリング完全という電子レンジに入れておいてチン🤣
10の商群の乗法は群にこそならないが5に対する直線的な特徴が現れる。
という事は、因数分解された要素数の部分群で構成されそうだなぁ…
やってみるの大事
数学基礎論は圏論と集合論、記号論理かなぁ…
圏論をやると、数学の目的が理解できると思う。
10の商群に対して乗法を定義した場合の歯抜けの部分が（割り切れない数）になりそうな予感が‥
isomorph
boosted
言えた
チェビシェフ多項式を用いて$\cos{n\theta}=T_{n}(\cos{\theta})$だから、$\cos{\theta}$は$T_{2q}(x)-1$の根でなければならない。チェビシェフ多項式の最高次項は$2^{n-1}x^{n}$なので、$c$は$2^{n-1}$を割り切る。でもピタゴラス三角形の斜辺は必ず奇数なので$c=1$つまり自明な組$(a, b)=(0, 1), (1, 0)$しか存在しない
有理数解が存在しないので有限小数の解も存在しない
構文的にはラムダの適用順序が意味との写像を成す訳で…
isomorph
boosted
基礎論恐怖症😇
数学友達出来た～
isomorph
boosted
数学者って必ずしも数学教育者ではないよね。
https://amefur.asia/@acid_rain/110360510124272476
isomorph
boosted
AIは日本に足りないスケールの部分を補うのでお気持ち如何を問わず利用が促進されそう
全ての楕円曲線はモジュラーである…
この一言は確かに凄いし、これが予想では無く定理になったのも凄い。
isomorph
boosted
予定よりも随分と遅れましたが、量子論再開。
当面のゴールは
①会社の人に、基本的な動作原理を凄く分かりやすく説明できる状態になる
②基本的な量子の物理特性の把握（理解は出来ないだろうが）
③ユニタリー行列の知識習得（使用目的が明確でないと、何度かチャレンジしたものの全部忘れてしまう）
級数は面白いけど好きじゃない🤣
isomorph
boosted
セルフホストしようなんて思う人、実は少数派らしい
最近の小学校４年生の教科書に、結合律、分配則、可換律がきちんと教えられているのを見て衝撃を受けた。
教育がまともになってきている！
凄く久しぶりに上がった…
乗法が加法の繰り返しで表せるという所、n+n+n+n...とするのではなく、0+n+n+n+nと教えるべきなんだな。
nが何個あるか？ではなくnを何回足したかの方が合っている気がする…
そしてKan拡張と米田の補題にかじりついたままになってる😂
- 興味１
- 圏論
- 興味２
- λx.x λxy.x λxyz.xz(yz)
- 興味３
- ι = f -> f(S)(K)
- 興味４
- jot
Isomorphです。
圏論を学習中です。
数論は苦手で、素数の例を上げろと言われたら
57と答える人です。
よろしくおねがいします。
Joined Aug 2020
