動画 写真/イラスト 記事 雑談チャット つぶやき 回答
はじめまして!
質問する @コメントする DMする



283: 紅葉鳥 @Reh 2026/02/25 02:04:45通報 非表示

夜だなあ


282: 紅葉鳥 @Reh 2026/02/25 01:27:23通報 非表示

寝れない人ー!

はーい


281: 紅葉鳥 @Reh 2026/02/25 01:17:13通報 非表示

ドラえもん良いよね

ひまわりの約束すき


278: 紅葉鳥 @Reh 2026/02/25 00:34:12通報 非表示

#高校生でこの研究をしたいと思っているのですがどう思いますか?

先行研究から仮説を立てよう

立てた仮説から具体的にどう検証していくか考えよう

ちなみにちょっとしたコツとして、いくつか論文を集めたら参考文献を見比べてみて。多くの論文に引用されてる論文やデータは信憑性が高いよ


277: 紅葉鳥 @Reh 2026/02/24 13:50:32通報 非表示

卵とネギ入ってるよ。梅干しもあるよ。誰か食べて


276: 紅葉鳥 @Reh 2026/02/24 13:50:13通報 非表示

昨日ご飯食べそびれて、多分固形物食ったら気持ち悪くなるからお粥食べようとして、そしたら作りすぎた。ふやけすぎる米が悪い


275: 紅葉鳥 @Reh 2026/02/24 13:33:47通報 非表示

あ待ってエラーが

書き直す


274: 紅葉鳥 @Reh 2026/02/24 13:25:22通報 非表示

>>264
できたかも!!


273: 紅葉鳥 @Reh 2026/02/24 12:49:31通報 非表示

なんかもうとりまy = f(x) e^(αx)と置いて計算してったらよくない??ってなってる


272: 紅葉鳥 @Reh 2026/02/24 11:25:45通報 非表示

1週間3時間睡眠でも平気なのでこれもう寛解ってことでおk?


271: 紅葉鳥 @Reh 2026/02/24 11:01:29通報 非表示

昨日何考えてたかさっぱり忘れてて笑う


270: 紅葉鳥 @Reh 2026/02/24 10:59:57通報 非表示

>>268
昨日の私は漸化式で基本解は等比数列 r^nと予測するから、微分方程式では基本解は指数関数 e^(λx)ぽいなって予想したのか


269: 紅葉鳥 @Reh 2026/02/24 06:23:58通報 非表示

おはよう世界


268: 紅葉鳥 @Reh 2026/02/24 02:45:02通報 非表示

e^(λx)が使えそう


267: 紅葉鳥 @Reh 2026/02/24 02:39:27通報 非表示

人少ないねぇ


266: 紅葉鳥 @Reh 2026/02/24 00:37:23通報 非表示

たぶんだけど定数係数の2階線形微分方程式を使うんだろうな…


265: 紅葉鳥 @Reh 2026/02/24 00:29:52通報 非表示

a(n+2)+pa(n+1)+qan=0に対応する式になるはずなんだけどぉ


264: 紅葉鳥 @Reh 2026/02/24 00:24:24通報 非表示

>>263
待って、これ2回微分でも説明できるのでは?

とりあえず計算してみよ

f(x)何にしたら良いんかな


263: 紅葉鳥 @Reh 2026/02/24 00:12:41通報 非表示

>>262
この1のせいで左辺の数列の右上にn乗がでてくるんだよね

等比数列って指数関数的に増えるじゃん。それがもう1個重なるのよ


262: 紅葉鳥 @Reh 2026/02/24 00:08:10通報 非表示

>>261
3項間漸化式の特性方程式が重解のとき、行列はジョルダン細胞ってやつになって

対角線に固有値、その一歩上に1が並んだ結果、固有ベクトルが不足し、完全に分解できなくなる


261: 紅葉鳥 @Reh 2026/02/24 00:02:23通報 非表示

>>259
といっても重解の時、解くだけなら両辺をべき乗で割れば良いんだけど

まあ暗記はつまらないので…。

「なんかよく分からんけど上手くいった」状態で満足できるんですか?出来ないですよね???


260: 紅葉鳥 @Reh 2026/02/23 23:59:13通報 非表示

>>259
通常の対角化は、行列を完全に独立した2つの軸、いわゆる固有ベクトルに分解する作業だけど、重解のときはその軸が1本に重なってしまう

でも、行列をできるだけシンプルにしたい。ってときに登場するのがジョルダン標準形で!


259: 紅葉鳥 @Reh 2026/02/23 23:55:19通報 非表示

>>251
っていうか、一番厄介なの特性方程式が重解、α=βのときな気がする。これだと行列は対角化できないこともあるから…。でもその時は一般項にnα^nが出てくるんだよね、なんで?

ってときにジョルダン標準形というものがあってですね


258: 紅葉鳥 @Reh 2026/02/23 23:43:25通報 非表示

あとフィボナッチ数列の2項間が互いに素であることを示せっていう有名問題があって、それは数学的帰納法でやるんだけど、式変形が綺麗でとても良き


257: 紅葉鳥 @Reh 2026/02/23 23:39:01通報 非表示

フィボナッチ数列って整数の和を並べてるだけなのに、漸化式解くと√5ばっかだししかも黄金比なの最高で個人的に好き


256: 紅葉鳥 @Reh 2026/02/23 23:25:22通報 非表示

>>255
実はね、黄金比の図の90°の扇形の面積を並べてみるとね、フィボナッチ数列になるんだよね

聞いたことあるっしょフィボナッチ数列


9836: 紅葉鳥 @Reh 2026/02/23 23:21:57通報 非表示

>>9835
👀👀👀


255: 紅葉鳥 @Reh 2026/02/23 23:19:49通報 非表示

あとこの黄金比の図よく見るじゃん?これも漸化式と深い関わりがあるんだよね。面白いよね

黄金比

254: 紅葉鳥 @Reh 2026/02/23 23:18:56通報 非表示

漸化式の極限図示したりとかしたら面白い図形見れらるよ!


253: 紅葉鳥 @Reh 2026/02/23 23:16:28通報 非表示

は?

漸化式は暗記???え?私読み間違えた?


252: 紅葉鳥 @Reh 2026/02/23 23:15:45通報 非表示

ほんとにさあ

青チャくん、時々ぽんこつになるんだから…


251: 紅葉鳥 @Reh 2026/02/23 23:13:47通報 非表示

>>250
でも解の片っぽが1だったら文字が2個から1個に減るじゃん?だから式は2つもいらなくて、連立方程式を立てる必要はないってだけの話

そうやって書いてくれれば良いのにね!


250: 紅葉鳥 @Reh 2026/02/23 23:12:05通報 非表示

>>249
特性方程式の解に1を含む場合は~っていうのは、2式ある公式のうちの1つで良いよーってことなのよ

そもそも何でαとβ入れ替えて2式並べてるのかっていうと、連立させてa(n+1)を消したいからなんだよね。漸化式のゴールってan=の形で表すことだから


249: 紅葉鳥 @Reh 2026/02/23 23:07:35通報 非表示

>>248
階差数列を利用できるとか書いたらさ、みんなどうやって使うのか考えちゃうじゃん!?

そうじゃなくて、単に計算したら右辺がnの式になりますよ、階差数列の漸化式になりますよーってだけの話なのね!


248: 紅葉鳥 @Reh 2026/02/23 23:05:28通報 非表示

>>247
しかもね、参考書にはこう書いてあるんだよ

「ただし特性方程式の解に1を含む場合は階差数列を利用できる」

くっそ分かりにくいね!結論だけ言っても分かんないから!!


247: 紅葉鳥 @Reh 2026/02/23 22:55:38通報 非表示

数Bの参考書にはこれを暗記せよ!って書いてあるんだけど

そんなん言うからみんな漸化式嫌いになるんじゃない??って思うんだよね、ほんとに良くない

3項間漸化式 公式

246: 紅葉鳥 @Reh 2026/02/23 19:55:21通報 非表示

漸化式、例えば a(n+1)=an^2 とかだったら、解を2つ足しても答えにはならない。線形性を持ってないからね!

ちなみにこれは対数をとって計算する


245: 紅葉鳥 @Reh 2026/02/23 19:49:53通報 非表示

何でそうなるかって言うと、漸化式が和と定数倍の構造を壊さない性質、つまり線形性を持っているから。1から組み立てるんじゃなくて、すでに答えだと分かっている部分を、組み合わせて初期条件に合わせるだけ


244: 紅葉鳥 @Reh 2026/02/23 19:47:26通報 非表示

私はこの話において線形性の概念が一番大切だと思う!

要はan = C1α^n+C2β^n みたいに、2つの等比数列を足し合わせるってことなんだけど、バラバラな2つの数列を勝手に合体させて、元の漸化式

a(n+2)+pa(n+1)+qan=0

を満たし続けられるのが直感的に分かりにくくて


243: 紅葉鳥 @Reh 2026/02/23 19:44:15通報 非表示

>>242
3項間漸化式になると行列の行が1行ずつ足されて

で、その固有値を計算すると二次方程式の解になる。さらにいえばその二次方程式が特性方程式になるってだけ


242: 紅葉鳥 @Reh 2026/02/23 18:51:42通報 非表示

>>241
っていうのが特性方程式の本質?的なもので…


241: 紅葉鳥 @Reh 2026/02/23 18:50:42通報 非表示

α=pα+qの特性方程式を解くときさ、みんな暗記してα引くじゃん

これ行列で考えると、αだけずらしてq=0にしてる

​q≠0の場合は掛けるたびにp倍とqの足し算の計算になるけど、q=0にした場合ただの p 倍を繰り返すだけ。つまり p^n という綺麗な形になる

だから漸化式は等比数列になるんだよね!


240: 紅葉鳥 @Reh 2026/02/23 18:42:40通報 非表示

>>239
行列の固有値ってのはステップごとの成長率だから、そりゃ数列に使えるよね…


239: 紅葉鳥 @Reh 2026/02/23 18:40:21通報 非表示

>>238
ここで出てくる解はもちろんλ= p, 1

実は、数列で習う特性方程式α=pα+qで求めているpという値こそが、この行列の固有値そのものなんだよね!


238: 紅葉鳥 @Reh 2026/02/23 18:38:12通報 非表示

>>237
​行列 A = {(p q)(0 1)}の性質を調べるために、固有値方程式

det(A-λI)=0を計算してみると

(p-λ)(1-λ) = 0

が導き出されるじゃん


237: 紅葉鳥 @Reh 2026/02/23 18:33:22通報 非表示

>>236
行列について話すと脱線しそうだから一旦置いとくとして


236: 紅葉鳥 @Reh 2026/02/23 18:32:38通報 非表示

>>235
この右辺の行列を A と置くと、この式は v(n+1) = Avn という形になる

つまり、数列を解くことは行列 A を n 回掛け算することと同じ意味なんだよー


235: 紅葉鳥 @Reh 2026/02/23 18:30:05通報 非表示

例えば、一番最初に習うa(n+1)= pan + q っていう特性方程式は

{a(n+1),1}={(p q),(0 1)}×(an,1)

っていう行列にする


234: 紅葉鳥 @Reh 2026/02/23 18:27:02通報 非表示

​えっとね、そもそもなんで行列の形にするかって言うと、

a(n+1)= pan + q という式には、an の項と定数項 q が混ざっててね

これを一つのベクトルとして扱うために、あえて行列の形にするんだよね


233: 紅葉鳥 @Reh 2026/02/23 18:24:45通報 非表示

特性方程式を解くという作業は、その数列がステップごとにどれくらいの倍率で変化していくのか、つまり固有値を抜き出す作業をしていることになる…

行列の考え方を文字にすると分かりにくいな


232: 紅葉鳥 @Reh 2026/02/23 18:19:07通報 非表示

というかね、まずね

なぜ特性方程式を解くのかってのをちゃんと考えるべきなのよ

あれ暗記してる人多いけど!💢


231: 紅葉鳥 @Reh 2026/02/23 18:17:46通報 非表示

つまりはですね、隣接3項間漸化式は線形代数の考え方の縮図なのですよっ

もっと言えば、微分方程式とも根っこが繋がっているんだけど、まあ置いとくとして…


230: 紅葉鳥 @Reh 2026/02/23 18:14:22通報 非表示

まずね、これ豆知識なんだけど

隣接3項間漸化式は別名線形二階同次漸化式って言われてるんだよ~

一言でいえば線形代数、つまりベクトルと行列と、数列の空間の交差点について考えてるってわけ!


229: 紅葉鳥 @Reh 2026/02/23 18:12:14通報 非表示

私はね、隣接3項間漸化式が暗記ゲー作業ゲーと称されるのが許せないんですよう

本質見ろよ本質


228: 紅葉鳥 @Reh 2026/02/23 18:07:10通報 非表示

高校生いるー?漸化式について語りたい!


226: 紅葉鳥 @Reh 2026/02/23 17:34:34通報 非表示

中学生くらいまではまだまだ体も発達段階だし多少BMI低くても大丈夫なんじゃないかなあ。適正体重って人それぞれらしいし…


6782: 紅葉鳥 @Reh 2026/02/23 16:49:13通報 非表示

>>6780
でしょ!!!

私も最初知ったときびっくりした


224: 紅葉鳥 @Reh 2026/02/23 12:42:35通報 非表示

#漢字以外消失世界線

対多というアプリがございましてですね


223: 紅葉鳥 @Reh 2026/02/23 12:04:17通報 非表示

大阪公立大学前のクレープ屋美味しいんだよねえ


221: 紅葉鳥 @Reh 2026/02/23 12:02:53通報 非表示

御堂筋線で終点まで行ってみるか

なんだっけ

そう、なかもず


220: 紅葉鳥 @Reh 2026/02/23 10:04:21通報 非表示

何も用事ないのに梅田いって交通費無駄にしてる人

人多いねぇ


219: 紅葉鳥 @Reh 2026/02/23 09:58:44通報 非表示

#母親に消えてもらうには

人の親とやかく言うのもあれなんだけど、お母様が相当ストレス溜めてるかあるいは発達か

距離は取った方が良いかもしれない

自室のドアの前に椅子置いて参考書積み上げとくとか


217: 紅葉鳥 @Reh 2026/02/23 02:47:45通報 非表示

先生には死について考えすぎるのは良くない兆候でもあるとかなんとか心配されたけど

死のうとかそんなんじゃないです全然!!!面白いですよ哲学!

つって


216: 紅葉鳥 @Reh 2026/02/23 02:44:37通報 非表示

毎回辛くなるとすぐ生きるか死ぬかの2択に走るから調子良いときに哲学するんだわ。頭すんごい回るし

いろんな死生観知ってたらマシになる。気がする


215: 紅葉鳥 @Reh 2026/02/23 02:29:49通報 非表示

そもそもバタイユはヘーゲルに影響受けてるらしいからなあ


214: 紅葉鳥 @Reh 2026/02/23 02:22:31通報 非表示

ぜひぜひ

思想強めで面白いよ

死生観はエロティシズムに書かれてるけど非-知もおすすめ


213: 紅葉鳥 @Reh 2026/02/23 02:08:44通報 非表示

バタイユの言うには?

ルールを破る時のあのゾクゾクするような快感は、単なる悪いことをしたスリルではなく、人間という孤独な檻から一瞬だけ抜け出し、生命のエネルギーを爆発させるときのもの

らしい

はあ、なるほど、勉強になります


212: 紅葉鳥 @Reh 2026/02/23 02:03:53通報 非表示

病んでる人に相談される時ってどんな相談されるんだろ


211: 紅葉鳥 @Reh 2026/02/23 01:58:37通報 非表示

今なら私ショートスリーパー自称しても許されるかもしんない

寝なくても!平気!!!


210: 紅葉鳥 @Reh 2026/02/23 01:56:53通報 非表示

今私がこう書いてんのも考えたこと吐き出してるだけだけど


209: 紅葉鳥 @Reh 2026/02/23 01:56:11通報 非表示

バタイユはどっちかというと考えたことつらつら書き連ねてる感じだからな…

過激で面白いけど整合性はあんま取れてないんかもね


208: 紅葉鳥 @Reh 2026/02/23 01:51:05通報 非表示

カントは自らを律する理性に自由を見いだして、バタイユは理性を踏み越える狂気に自由を見いだしてる

ってかんじする


206: 紅葉鳥 @Reh 2026/02/23 01:36:31通報 非表示

カントの自由意志かな

間違ってたらごめん、詳しくない


205: 紅葉鳥 @Reh 2026/02/23 01:32:36通報 非表示

私が話すとクソほど薄っぺらいな

まあ理系がやる哲学ってこんなもん


204: 紅葉鳥 @Reh 2026/02/23 01:32:03通報 非表示

でも、もし禁止がなければ、そもそも壊す快感や聖なる体験も生まれないということ

つまり、人間が人間であるためには、あえて自分を縛る禁止と、それをあえて破る侵犯の両方がセットで必要だ、という主張


203: 紅葉鳥 @Reh 2026/02/23 01:30:25通報 非表示

バタイユは禁止は侵犯されるためにあると言ったんだっけ。例えば、静寂が保たれるべき祭礼の場で熱狂したり、理性を失うほどエロティシズムに没頭したりすること。これらは、個体としての自分を一度○すこと…バタイユ風に言えば小さな死で、生を感じられるということで


202: 紅葉鳥 @Reh 2026/02/23 01:27:34通報 非表示

なぜ人間はルールを破り、タブーを犯したくなるのか?

今日どっかのタグで似たようなの見たな…


201: 紅葉鳥 @Reh 2026/02/23 01:23:39通報 非表示

って違うんだ私はエロティシズムの方を考えたかったんだ


200: 紅葉鳥 @Reh 2026/02/23 01:22:40通報 非表示

バタイユのいう過剰の放出が、歴史的には戦争という最悪の形で現れてきたことも彼は認めている。いうまでもなく現代の平和や安全という価値観とは相容れてないよな


199: 紅葉鳥 @Reh 2026/02/23 01:21:36通報 非表示

現実の経済システムは希少性に基づいている部分もあるよねぇ

バタイユが言うような非生産的な消費を突き詰めると、社会の持続可能性はどうなるんだろ


198: 紅葉鳥 @Reh 2026/02/23 01:18:48通報 非表示

バタイユの言う無償の贈与や浪費は、現代の消費社会を予見していたようにも見える。すごい

でも今の資本主義は過剰をさらに利益に変えてしまうから、彼の理想とは逆の方向に進んでいる気がする…


197: 紅葉鳥 @Reh 2026/02/23 01:13:35通報 非表示

バタイユは…うん

あいつ本書きながら自分で混乱してるくない?

でも考え方は刺さるというか印象に残ってる


196: 紅葉鳥 @Reh 2026/02/23 01:12:05通報 非表示

サルトルの考え方、見てる分には好きなんだけどメンタルつよつよで取り入れられないんだよな…


195: 紅葉鳥 @Reh 2026/02/23 01:07:22通報 非表示

死生観デッキ組み直しとくか…


194: 紅葉鳥 @Reh 2026/02/23 01:01:47通報 非表示

確かに

鬱ってたらそもそもスマホ見れんのにな…


193: 紅葉鳥 @Reh 2026/02/23 01:01:03通報 非表示

ははは


192: 紅葉鳥 @Reh 2026/02/23 00:55:44通報 非表示

がち病みになると真っ暗な部屋で一週間くらいろくにご飯も食べずにずっと天井眺めてるよ


191: 紅葉鳥 @Reh 2026/02/22 17:49:04通報 非表示

なんか買いに行こ

金欠だけど


190: 紅葉鳥 @Reh 2026/02/22 17:48:28通報 非表示

ふふふへへへははは

私今平行思考出来てるんじゃない?って思うくらい頭ん中やべーことなってる


189: 紅葉鳥 @Reh 2026/02/22 17:47:24通報 非表示

ふぉろつぶ汚染するからフォローはおすすめしないんだけどな…、


188: 紅葉鳥 @Reh 2026/02/22 17:25:21通報 非表示

皆も数学得意になろう。永遠に議論できる

たのしい


187: 紅葉鳥 @Reh 2026/02/22 17:24:12通報 非表示

わかりやすくいえば、1次、2次と導来関手を計算していくのは、ライトを当てる角度を変えて、影の中に隠れた立体の厚み高次の構造を確認していく作業だね


186: 紅葉鳥 @Reh 2026/02/22 17:23:20通報 非表示

まあ、結局、0次のhomや×だけ見てるのは、立体を真上からしか見てないようなものだね。影しか見えない


185: 紅葉鳥 @Reh 2026/02/22 17:22:24通報 非表示

具体的にTor_1(Z/nZ, A) を計算すると、加群 A の中にあるn 倍すると 0 になっちゃう要素、つまりはn-torsionが綺麗にあぶり出される。つまり、演算によって消えてしまう儚い構造を、ホモロジーの次数を上げることで救い出している、というわけ


184: 紅葉鳥 @Reh 2026/02/22 17:20:58通報 非表示

一番わかりやすいのは、整数環Z上の加群。例えば、テンソル積 M×N を計算するとき、一見すると消えてしまいそうな情報がTor1(M, N) として残ることがあるんだよね~


183: 紅葉鳥 @Reh 2026/02/22 17:19:49通報 非表示

対してTorはもっと泥臭い。ねじれを抽出するのが得意だね

えへへへ数学って楽しいね!!


182: 紅葉鳥 @Reh 2026/02/22 17:19:06通報 非表示

Ext1(A, B)=0 ならひねりなし!直和だけだ!と断言できる。逆にここが消えないなら、そこに代数的なねじれが隠れている証拠になる!


181: 紅葉鳥 @Reh 2026/02/22 17:18:21通報 非表示

まずはExt1(A, B) から。これは名前の通り拡大を測る道具だよねっ

​例えば、ある大きな構造 E の中に部分構造 B があって、商が A になるとき0→B→E→A→0、 E は単に A と B を並べただけ。直和 A+Bなのか、それとも複雑にねじれて絡まっているのか?』という問題


180: 紅葉鳥 @Reh 2026/02/22 17:16:51通報 非表示

ここまで来たらExtとTorは現場で何を告白しているのか?ってことも語んなくちゃね


179: 紅葉鳥 @Reh 2026/02/22 17:15:42通報 非表示

要するに!

単なる計算テクニックに見えて、実は対象そのものを直接見るのではなく、その振る舞いの連鎖―複体を見るという、現代数学のコペルニクス的転回を象徴しているのが導来関手ってこと


178: 紅葉鳥 @Reh 2026/02/22 17:14:34通報 非表示

つまり、分解することで隠れた次元が見えてくるってわけ。例えば Ext1(C, A) = 0 ならば、その拡大は自明である、といった具合に、高次の情報が低次の構造を決定しているのが面白いよね!!!


177: 紅葉鳥 @Reh 2026/02/22 17:13:31通報 非表示

導来関手 L_nF や R^nF が導いているのは、単なる不足分じゃない。対象 A が持っている潜在的な性質を、分解というフィルターを通すことで、ホモロジーという目に見える形に現像している。だからこそ、Ext群やTor群といった強力な不変量が手に入る…


176: 紅葉鳥 @Reh 2026/02/22 17:12:23通報 非表示

もう少し構造的な分解視点を強調することもできる

​導来関手の計算手順を思い出すと、まず対象 A を射影分解や注入分解という性質の良い加群の複体に置き換えるよね。これって、扱いにくい生の対象を、計算可能な部品の並びにバラしているってわけ


175: 紅葉鳥 @Reh 2026/02/22 17:11:13通報 非表示

導来関手の意義は、この切り捨てられた先に、実は無限に続く高次の情報の連鎖…長完全系列隠れていたことを見抜いた点にあると思う。つまり、不完全な世界を完全な世界へ引き戻す修復作業こそが本質!

…と、いう見方がある一方で


174: 紅葉鳥 @Reh 2026/02/22 17:10:09通報 非表示

なぜわざわざ導来なんて大層な名前がついているのか!

​それは、私たち人類が愛用している関手(例えば Hom やテンソル積)が、実は片手落ちだからだよね。短完全系列 0→A→B→C→0 にこれらの関手を適用すると、末尾の 0 が消えて完全性が壊れてしまう


173: 紅葉鳥 @Reh 2026/02/22 17:07:40通報 非表示

導来関手もなかなか

導来なんてたいそうな名前つけられちゃってね。私は好きよ


172: 紅葉鳥 @Reh 2026/02/22 17:05:12通報 非表示

消えてしまった情報を、高次のホモロジー群として復活させる。これによって、一見無関係に見える代数、幾何、解析の諸問題を、完全系列という一本の鎖に繋ぎ止めて計算可能にしたってこと。現代数学のインフラに寄与してんのよね~


171: 紅葉鳥 @Reh 2026/02/22 17:04:19通報 非表示

そこでホモロジー代数が導来関手で消えてしまった情報を、高次のホモロジー群として復活させるってわけ


170: 紅葉鳥 @Reh 2026/02/22 17:02:53通報 非表示

例えば、完全系列に関手を作用させると、端っこが消えて完全性が崩れてしまうとかね、あるよね


169: 紅葉鳥 @Reh 2026/02/22 17:02:02通報 非表示

数学には局所的には正しいけれど、全体をまとめようとするとズレが生じるという現象がよくあるんだけど

(面白いよね!!!)


168: 紅葉鳥 @Reh 2026/02/22 17:01:10通報 非表示

加えて、そうだな~

もっと動的な側面、つまり関手の不完全さを補完するツールとしての意義を推したいよね


167: 紅葉鳥 @Reh 2026/02/22 17:00:23通報 非表示

つまり、複雑な対象を比較するための普遍的な共通言語を作ったこと、これが一番の功績!

いや、功績の1つかな


166: 紅葉鳥 @Reh 2026/02/22 16:59:30通報 非表示

それが代数化されたことで、図形だけじゃなく、環や加群といった抽象的な代数系に対してもどれくらい歪んでいるか、どれくらいExactから遠いかを測れるようになった


165: 紅葉鳥 @Reh 2026/02/22 16:59:03通報 非表示

​もともとはとぽろじーで、ドーナツとボールを区別するために穴の数を数える道具として生まれたんだけど


164: 紅葉鳥 @Reh 2026/02/22 16:58:12通報 非表示

ホモロジー代数の最大の意義は、対象の形や構造を数値や群という扱いやすいデータに圧縮できることにあると思うんだ


163: 紅葉鳥 @Reh 2026/02/22 16:57:43通報 非表示

ホモロジーはね、面白いよ


162: 紅葉鳥 @Reh 2026/02/22 16:56:53通報 非表示

義務教育程度の薄っぺらい知識で思考回すとマジで変なこと言うからねぇ


161: 紅葉鳥 @Reh 2026/02/22 16:56:10通報 非表示

変な方向に思考が伸びそうになったときは得意分野について考えるとよき


2035: 紅葉鳥 @Reh 2026/02/22 16:38:40通報 非表示

>>2030
はーい


23421: 紅葉鳥 @Reh 2026/02/22 16:38:36通報 非表示

>>23406
あっそう?鬱ったら変わるかもしれんけど

ありがとう


936: 紅葉鳥 @Reh 2026/02/22 16:36:47通報 非表示

>>930
私も結構レール外れた人間だからね…それで得すれば良かったんだけど…

いやそもそも社会に適合できてないのかもしれない

(診断は適応障害じゃなくて躁鬱だけどってブラックジョーク挟んどく)


6272: 紅葉鳥 @Reh 2026/02/22 16:34:49通報 非表示

>>6260
私にもその精神力あったら良かったな…頑張って!

こちらは耐えるより耐えないで良い環境作りにシフトしちゃったから


23404: 紅葉鳥 @Reh 2026/02/22 16:31:02通報 非表示

>>23378
いやまあ、おやじ…そうなのかな…

いろいろやらかした結果私は現に詰んでるからな…

レール外れて成功した人は純粋に凄いと思うよ


2029: 紅葉鳥 @Reh 2026/02/22 16:27:39通報 非表示

>>2023
こちとら躁鬱ですよ!!高校全然行かなかったし躁状態でやらかしてバイトクビになったんでねっ

まともじゃないと金稼げねーんだなーって思ったから言っただけです!


160: 紅葉鳥 @Reh 2026/02/22 14:37:42通報 非表示

# 今日で完全辞め。ありがとよ。

(どうせまた戻ってくるんだよねこれ)


158: 紅葉鳥 @Reh 2026/02/21 23:00:06通報 非表示

長編だとこれが好きだった

モモ 小説

157: 紅葉鳥 @Reh 2026/02/21 22:58:47通報 非表示

リリアーネ!本何冊か持ってる!


156: 紅葉鳥 @Reh 2026/02/21 22:57:55通報 非表示

ドリトル先生シリーズとか…

ドリトル先生シリーズ

155: 紅葉鳥 @Reh 2026/02/21 22:54:26通報 非表示

事件ノートシリーズめっちゃ読んでた


153: 紅葉鳥 @Reh 2026/02/21 07:19:42通報 非表示

はいオールオール


152: 紅葉鳥 @Reh 2026/02/21 02:39:01通報 非表示

「L_X Y = 0 ……。おめでとう、君は私の世界で『永遠』を手に入れたようだ」

これ決めゼリフ


151: 紅葉鳥 @Reh 2026/02/21 02:38:59通報 非表示

リー微分「L_X Y = 0 ……。おめでとう、君は私の世界で『永遠』を手に入れたようだ」

これ決めゼリフ


150: 紅葉鳥 @Reh 2026/02/21 02:32:35通報 非表示

リー微分「あぁ、ここが dt だけズレていますね。少し補正しておきましょう」

補正と書いて微分と読むんだよねこれ


149: 紅葉鳥 @Reh 2026/02/21 02:31:39通報 非表示

リー微分はなにやってるかな…

時空管理してそうw

そして手に指揮棒ならぬベクトルを持っている


148: 紅葉鳥 @Reh 2026/02/21 02:27:11通報 非表示

>>147
悪役っぽいwww

たぶん最初対立して後に仲間に加わるタイプ


147: 紅葉鳥 @Reh 2026/02/21 02:26:19通報 非表示

登場シーンはきっとこう

「私はゲーデル。君たちの築き上げた『完璧な数学』という夢を終わらせに来ました」


146: 紅葉鳥 @Reh 2026/02/21 02:25:32通報 非表示

(第二不完全性定理)


145: 紅葉鳥 @Reh 2026/02/21 02:25:11通報 非表示

ゲーデルの不完全性定理「無駄ですよ。その系が無矛盾であるという証拠は、その系の中にはどこにも存在しないのだから」


144: 紅葉鳥 @Reh 2026/02/21 02:24:10通報 非表示

そうだな…

真実を知りすぎてしまった、冷徹でニヒルな絶対的裁判官


143: 紅葉鳥 @Reh 2026/02/21 02:23:41通報 非表示

定理を擬人化させたら一番厳格なのゲーデルの不完全性定理だと思う


142: 紅葉鳥 @Reh 2026/02/21 01:44:17通報 非表示

夜はぐるぐる思考になっちゃうな~

これがネガティブな方へ行くと一巻の終わり。すぐ病む


141: 紅葉鳥 @Reh 2026/02/21 01:37:21通報 非表示

[壁]_-)チラッ


140: 紅葉鳥 @Reh 2026/02/21 01:29:03通報 非表示

ちがうかも

数学と芸術って別物だしな…


139: 紅葉鳥 @Reh 2026/02/21 00:47:34通報 非表示

てか私あほすぎて未だにリー微分が物理でどう使われてんのか分からんのよな…

なんか保存量として出てくるらしいけど


138: 紅葉鳥 @Reh 2026/02/21 00:43:53通報 非表示

リーブラケットって結局代数じゃねえか

代数に支配される人生☆


137: 紅葉鳥 @Reh 2026/02/21 00:41:27通報 非表示

え?ん?えーーうーん

わかんにゃい…


136: 紅葉鳥 @Reh 2026/02/21 00:35:38通報 非表示

そうなんだよなあ

図形の方がけっこう好きなんだけど

そもそも数式にした方が物理とかにも応用効きやすいし…


135: 紅葉鳥 @Reh 2026/02/21 00:35:11通報 非表示

うーむ…

結局は代数が優位…


134: 紅葉鳥 @Reh 2026/02/21 00:26:32通報 非表示

今日寝なくても平気かもwww


133: 紅葉鳥 @Reh 2026/02/21 00:24:23通報 非表示

わーい単純

クソほどわかりやすくね


132: 紅葉鳥 @Reh 2026/02/21 00:24:11通報 非表示

「X に沿って進んでから Y に沿って進む」

​「Y に沿って進んでから X に沿って進む」

この2つのルートで行き着く先が、「微妙にズレる」


131: 紅葉鳥 @Reh 2026/02/21 00:23:37通報 非表示

>>130
リーブラケットで良いと思うんだよわたしは


130: 紅葉鳥 @Reh 2026/02/21 00:22:03通報 非表示

リー微分の定義とか直感であって欲しい

ゴリゴリの数式すぎて全体像が見えん


129: 紅葉鳥 @Reh 2026/02/21 00:18:28通報 非表示

のりしろの整合性を保つために、図形的な直感を超えた厳密な数式が必要になる→やっぱ直感じゃ無理!

我ながら良い例えじゃね


128: 紅葉鳥 @Reh 2026/02/21 00:17:46通報 非表示

それを繋ぎ合わせるのりしろ部分で、世界がぐにゃ~って曲がって曲がるから


127: 紅葉鳥 @Reh 2026/02/21 00:16:46通報 非表示

あーでもなんだろな

多様体を、巨大なパッチワークだとして~

ー枚一枚の布は平らな R^n だけど~


126: 紅葉鳥 @Reh 2026/02/21 00:11:33通報 非表示

関係ないけど微分作用素ってプログラミングのオブジェクト指向っぽいよな…


125: 紅葉鳥 @Reh 2026/02/21 00:10:38通報 非表示

とゆーかぶっちゃけ、微分作用素の定義って、図形を捨てて代数の世界に逃げ込んでるだけじゃね。視覚化できない~つって

何のために数A~Cがあったんだよ


124: 紅葉鳥 @Reh 2026/02/21 00:08:20通報 非表示

3次元まではベクトルでイメージできるけど、100次元や無限次元、ヒルベルト空間とかになったとき、視覚はもう役に立たない。そのとき、代数だけが唯一信じられる数式になる…のか?


123: 紅葉鳥 @Reh 2026/02/21 00:06:40通報 非表示

図形的な直感は、数学において嘘をつくのか? それとも限界があるだけなのか?

中学生の時なんてもはや全部直感で解いてたけど


122: 紅葉鳥 @Reh 2026/02/21 00:02:49通報 非表示

無限に小さい領域にその点の個性がすべて詰まっているって感じがなあ…よき


121: 紅葉鳥 @Reh 2026/02/21 00:01:34通報 非表示

微分作用素として定義したらユークリッド空間と関係ねぇ!ってなるのも好き

かっけえ


120: 紅葉鳥 @Reh 2026/02/20 23:59:29通報 非表示

というかgernの概念やばいよな…

もはや図形やら空間やらどこ行ったってかんじ

​点 p の周りにある環を見て、そ微分できるかっていう代数パズルになっちゃうんだよえぐ


119: 紅葉鳥 @Reh 2026/02/20 23:56:02通報 非表示

>>118
これが現代数学の入門では!?って思ってる

認識変えるってマジ大事


118: 紅葉鳥 @Reh 2026/02/20 23:55:06通報 非表示

>>117
後者の抽象性に触れた瞬間、多様体は図形から関数へと変わんだよね


117: 紅葉鳥 @Reh 2026/02/20 23:54:09通報 非表示

接空間 T_pM を接ベクトルで定義するか、あるいはgermの微分作用素として定義するか


116: 紅葉鳥 @Reh 2026/02/20 23:53:40通報 非表示

頭回りすぎてやばい


115: 紅葉鳥 @Reh 2026/02/20 08:10:45通報 非表示

ふふふあははは調子が良すぎて怖い

なんか4日連続3時間睡眠でピンピンしてる


113: 紅葉鳥 @Reh 2026/02/19 21:27:24通報 非表示

#やっぱりこのサイトって治安悪め?

基本子どもだけだし悪い大人はいないからそうでもない


112: 紅葉鳥 @Reh 2026/02/19 20:46:12通報 非表示

# 両親がネトウヨで顔無い

親も人間だししゃーない

娘に処方された抗うつ剤を勝手に飲む親もいる。虚無。


111: 紅葉鳥 @Reh 2026/02/19 20:22:21通報 非表示

#道徳とかいう小学生に悪影響なクソ教科は消せ。馬鹿になる

道徳の授業真面目に受けてる子多くてびっくりする

適当に周りの席の人と駄弁っときゃ良い


110: 紅葉鳥 @Reh 2026/02/19 20:15:08通報 非表示

#殿堂入りつくっていいんちゃうん

ね。ステラ持ち増えたことだし


107: 紅葉鳥 @Reh 2026/02/17 19:08:39通報 非表示

スマホ見れてる時点で躁なんだよね


106: 紅葉鳥 @Reh 2026/02/17 18:58:26通報 非表示

#これは仮説だけどステラとか知名度総選挙とかの全ての元凶は1人につき10票も20票も投票出来る制度にあると思う

そろそろ殿堂入り制度導入しても良いと思うんだけどな

前はステラ持ってる人が少ないからという理由で却下されてたけど今は取りやすくなって対象者も多いし


105: 紅葉鳥 @Reh 2026/02/17 18:43:32通報 非表示

#ステラハンデなんかただの雑魚がステラ取れないからって、騒ぎ立ててるただの弱者救済システムだろ。このキモい制度は今すぐ消えてほしい

元はといえばイラスト部門上位陣が常に固定されててつまんねってなったのが始まりなんだけどなあ


103: 紅葉鳥 @Reh 2026/02/17 11:32:45通報 非表示

#おはよう世界ー!

今日はとっても早起き


101: 紅葉鳥 @Reh 2026/02/15 02:29:00通報 非表示

この先どうでも良いわけなくて

現実だけがちらついて泣泣泣


100: 紅葉鳥 @Reh 2026/02/14 10:12:49通報 非表示

朝だねおやすみ(昼夜逆転)


99: 紅葉鳥 @Reh 2026/02/13 04:18:52通報 非表示

理不尽を受け入れたら前を向けるんだけど、受け入れられないとずっと悩んで病む

私は後者


98: 紅葉鳥 @Reh 2026/02/13 04:16:59通報 非表示

さあ今すぐりんねてんしょう


97: 紅葉鳥 @Reh 2026/02/13 04:16:18通報 非表示

自分は特別価値のある人間でもなければ価値のない人間でもない…

極端に振れるのが駄目なんだよな

分かってても骨の髄まで理解してない


96: 紅葉鳥 @Reh 2026/02/13 03:08:50通報 非表示

馬鹿の方がスラスラ生きれるってミセスも言ってる

難しい考えるから病むんだよマジで


94: 紅葉鳥 @Reh 2026/02/12 23:56:54通報 非表示

#病み垢と雰囲気系を敵に回す発言

お前ら全員躁鬱になりゃ良い😊


93: 紅葉鳥 @Reh 2026/02/12 23:55:07通報 非表示

#微積分ってギャルみたいだよね

↓は?微分が公式ゲー???

お前も、C∞級にしてテイラー展開で丸裸にしてやろうか


92: 紅葉鳥 @Reh 2026/02/12 07:49:22通報 非表示

堂々と金取んなよカスがよお

リアルドブカス私の姉


91: 紅葉鳥 @Reh 2026/02/12 05:19:40通報 非表示

寝 れ な い


90: 紅葉鳥 @Reh 2026/02/12 01:43:22通報 非表示

親がwakatteTVを知ってしまって地獄も地獄

だってスピッてる親よ?エンタメをエンタメとして見れてない


89: 紅葉鳥 @Reh 2026/02/12 00:36:39通報 非表示

自分の生きてきた証全部ぶっ壊して消えてえ