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
isomorph
boosted
社会
もう何回も言ってるけど、差別や偏見はその人の立場と社会のありようによって誰でもやる可能性があって無くせないものなので、やってしまった人を責めずにどうすればよかったのかみんなで考えましょうってインシデント事例集を作っていくしかやりようがないし、あらゆる差別に反対ってのはそういう偏見を持たざるを得なかった人々にとってかなり厳しい言葉ではないのかと危惧している 社会問題は個人や企業を変えるのでは足らず、リアルな社会を変えることでしか解決できない
PEGパーザーの便利さに救われた…
連続体仮説は、n乗根＝指数部が分数という所から、円に写像する事が可能で、nが無限大に拡散しても問題なく次の点を取ることが出来る。
この為、無理数にもsuccessorが存在する？
検討の余地はあるけど…
凄く久しぶりに上がれた！😂
難しい計算は適当にチューリング完全という電子レンジに入れておいてチン🤣
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
予定よりも随分と遅れましたが、量子論再開。
当面のゴールは
①会社の人に、基本的な動作原理を凄く分かりやすく説明できる状態になる
②基本的な量子の物理特性の把握（理解は出来ないだろうが）
③ユニタリー行列の知識習得（使用目的が明確でないと、何度かチャレンジしたものの全部忘れてしまう）
級数は面白いけど好きじゃない🤣
- 興味１
- 圏論
- 興味２
- λx.x λxy.x λxyz.xz(yz)
- 興味３
- ι = f -> f(S)(K)
- 興味４
- jot
Isomorphです。
圏論を学習中です。
数論は苦手で、素数の例を上げろと言われたら
57と答える人です。
よろしくおねがいします。
Joined Aug 2020
