Pinned post

圏論について理解したことを元に、拙いながらマンガの原案をやっておりまして、いつも気づいたことを呟いてます。

現実のオブジェクトに対して作用するという事を考察し続けてます。

オブジェクトが非破壊であるというのは、認知の構造そのものが非破壊であり、ある時間Tでの状態においての演算結果は、時間経過を伴わないと変化できないからとも言えそうですね…

techbookfest.org/organization/

このサークルですが、よろしくおねがいします。

m(_ _)m

isomorph boosted

社会 

もう何回も言ってるけど、差別や偏見はその人の立場と社会のありようによって誰でもやる可能性があって無くせないものなので、やってしまった人を責めずにどうすればよかったのかみんなで考えましょうってインシデント事例集を作っていくしかやりようがないし、あらゆる差別に反対ってのはそういう偏見を持たざるを得なかった人々にとってかなり厳しい言葉ではないのかと危惧している 社会問題は個人や企業を変えるのでは足らず、リアルな社会を変えることでしか解決できない

successorが指す次の数が具体的に定まらないのか!

理解😂

Show thread

PEGパーザーの便利さに救われた…

連続体仮説は、n乗根=指数部が分数という所から、円に写像する事が可能で、nが無限大に拡散しても問題なく次の点を取ることが出来る。
この為、無理数にもsuccessorが存在する?

検討の余地はあるけど…

つまり、次元を跨いだり非ユークリッドな空間でも連続した射影に対する随伴関手があるという事で良いのかな?

Show thread

難しい計算は適当にチューリング完全という電子レンジに入れておいてチン🤣

10の商群の乗法は群にこそならないが5に対する直線的な特徴が現れる。

という事は、因数分解された要素数の部分群で構成されそうだなぁ…

やってみるの大事

Show thread

数学基礎論は圏論と集合論、記号論理かなぁ…
圏論をやると、数学の目的が理解できると思う。

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)$しか存在しない

有理数解が存在しないので有限小数の解も存在しない

Show thread

構文的にはラムダの適用順序が意味との写像を成す訳で…

isomorph boosted
isomorph boosted
isomorph boosted

AIは日本に足りないスケールの部分を補うのでお気持ち如何を問わず利用が促進されそう

全ての楕円曲線はモジュラーである…

この一言は確かに凄いし、これが予想では無く定理になったのも凄い。

isomorph boosted

予定よりも随分と遅れましたが、量子論再開。
当面のゴールは
①会社の人に、基本的な動作原理を凄く分かりやすく説明できる状態になる
②基本的な量子の物理特性の把握(理解は出来ないだろうが)
③ユニタリー行列の知識習得(使用目的が明確でないと、何度かチャレンジしたものの全部忘れてしまう)

級数は面白いけど好きじゃない🤣

Show older
Mathtodon

Mathtodon is a Mastodon instance, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.