07:25:17
icon

おはあずにゃん

07:35:04
icon

中野

12:56:24
icon

あずにゃんと旅に出たい

17:46:16
icon

どんな学問も多かれ少なかれ暗記なんだけど、その主な対象が「事実」か「手続き」か「手続きを導出する手続き」のどれになるかは分野や興味範囲やレベルによって異なるという話っぽい

17:53:01
2022-01-18 17:48:35 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

べつにペンチもドライバーもハンマーも何もなくてもひとつひとつのイベントは創意工夫で乗り切れるかもしれないけど、一通りの道具を揃えている人とこれからずっとそのまま戦うんですか? という

17:53:12
icon

𝑰𝑵𝑻𝑬𝑹𝑵𝑬𝑻で盛んに情報発信するようなコミュニティにいると非直感的に感じるんですが、世の中の人はそもそも戦いたいと思ってなかったりするんですよね……

17:59:15
icon

戦う意志はあるけど武器がないので焦燥感か何かから自爆特攻を仕掛けているんだと思っている

18:03:18
icon

本気で武器を揃えるなら強い人に轢き潰されてからが本番だと思うんだけど、条件が揃ってないと普通に再起不能になるのでまあ難しいね。自分はなんで死ななかったのかは分からん

18:08:05
icon

クレカ限度額が高くて困るの、不正利用された上でいくらか悪条件が重なってその額が引き落とされるみたいなパターンしか無いと思うので、リスクは十分低そうだから気にしてない

18:09:20
icon

レストランの会計でクレカを裏に持ってかれる国でそのリスク評価が正しいのかは謎(とりあえず今まで一度も不正利用には遭ってない)

18:13:02
icon

コロコロロコツ

18:19:59
icon

暗記教育で言うなら小学校で群・環・体の定義くらい覚えさせて欲しかったと思ってるよ

18:23:10
icon

小学校のうちに暗記させてほしかったもの考えるとキリがないな。分離公理も小学校でやってほしい

18:24:09
icon

@brsywe やば

18:29:04
2022-01-18 18:27:07 たかへーの投稿 takahyy@social.mikutter.hachune.net
icon

このアカウントは、notestockで公開設定になっていません。

18:29:22
icon

かわいい女の子になれると……うれしい!

18:29:32
icon

ちやほやされたいかは分からない

18:33:37
18:33:45
icon

たじろぎのルベーグ積分

18:37:23
icon

計算機科学エアプラジオでライプニッツのモナド論について話したい

18:38:15
icon

モナドには窓がないけどLensはあるんですね〜〜〜(雑)

18:38:36
icon

こんなこと言ったらマジで燃えそう

18:44:57
icon

実数とは何であるか、つい最近まで理解してなかった

18:46:38
icon

実妹は有理妹の完備化

18:51:12
icon

real sisterとrational sisterって書くとうっすら実妹と義妹っぽく見えませんか?見えんか

18:51:41
icon

区別しろ

18:53:06
icon

その理屈で行くと自分がお姉ちゃんだと思った人はお姉ちゃんでいいんですか?

18:54:48
icon

年下のお姉ちゃんに甘やかされたいという人類普遍の欲求

18:54:59
2022-01-18 18:54:33 コロコロコロ助の投稿 naota344@social.mikutter.hachune.net
icon

このアカウントは、notestockで公開設定になっていません。

18:55:06
icon

たしかに

18:59:17
icon

整合性ガン無視でシチュエーションだけを脳内に直接送り込んでくるタイプの作品は効く

19:09:44
icon

多角形のはさみ撃ちするとき、外側の線分が円弧より長いのってどうやって言えばいいんだっけ

19:11:52
icon

外接だから長い、って結構非自明では

19:31:42
icon

原点と半径の延長と円の接線からなる三角形を考えると、外側の部分はtanθ、弧の長さはθ。tan(θ)-θの符号を考えると、d(tanθ - θ)/dθ = 1/(cosθ)^2 - 1だから、正方形より細かい図形で囲むなら0<θ≦π/4なのでtan(θ)-θは単調。一方tan(π/4)-π/4≧0、tan(0)-0=0だから常に非負。したがってtan(θ)>θ、すなわち外側は円弧より長い ■

19:32:56
icon

最後ちょっと非負と正が混ざってるな、まあいいや

19:40:25
icon

リシャールのパラドックス知らなかった(ベリーも名前は知らんかった)

19:49:39
icon

リシャール文全体の集合は「実数の部分集合」であって「可算なもの」の一つと結構強めの条件で作られてるからバグらせ放題なのか

19:51:00
2022-01-18 19:45:46 トトミミハイエースの投稿 brsywe@social.mikutter.hachune.net
icon

このアカウントは、notestockで公開設定になっていません。

19:51:11
icon

クトゥルフ神話みがある

19:53:24
icon

あらゆる人々は何も理解していないし丸暗記のパターンゲーで人生している、それはそう

19:56:27
icon

お前は決定論の奴隷、唯物論を信じろ

20:02:10
icon

純愛したい

20:04:40
icon

スプリングとフレームという単語だけ見てジャバの話かと思ってしまった(職業病)

20:10:59
icon

R^3の部分集合でパセリに専有されているすべての座標からなる集合はパセリと等価か?

20:11:54
icon

専有の定義がよくわからんので終了です

20:17:51
icon

ふるふるふるむーん

20:20:25
icon

デ・デ・デデキント

20:27:51
icon

なんかネットで見るブースター接種者の新コロ感染報告見てると、自分もかかったんじゃないかという気がしてくる(だるかったり鼻が詰まったりしていた)

20:28:16
icon

この時期花粉もすごいから花粉症の可能性もある

20:29:56
icon

屋根がついてる駐車スペースでも車が1日でうっすら黄色くなるくらいには飛んでる

20:32:06
icon

M5になんかいい感じのセンサーくっつけて花粉計測や

20:34:26
icon

Orc Oak

20:35:10
icon

花粉を飛ばすのはオーキド博士

20:37:39
icon

そもそも結構発音が違うのでギャグになるのかわからん

20:38:14
icon

Professor Oakやろがい

20:46:29
icon

ソフィーちゃんと

20:49:14
icon

ちょっとわかる

20:57:20
icon

Dr.林案件

21:00:01
icon

よく分からんけど、今読んでる測度論 / ルベーグ積分の本だと∞は関数の値として有効なものとして扱ってますね

21:16:43
icon

え、soundとsoundって違う単語だったのか

21:29:06
icon

「物事を正しく理解している人は万人が理解可能な平易な説明をできる」ってTwitterでよく見る誤謬じゃん

21:33:59
icon

理解というのは双方向なので、説明側が無限のコストを掛けるなら受け手も(普通は)無限のコストを掛けて理解する必要があり、その意味において間違っているとは言い切れないんだけど、無限なので少なくともコスパの話はできない

21:40:34
icon

VTuberのラジオ出演、そういうのもあるのか

21:42:32
icon

メデューサだからVTuberのガワを着ないと危なくてYoutube配信できない……ってコト!?

21:46:02
icon

まあ情報を食ってるという意味ではVTuberでも生身の人間でも大差ないな

21:48:56
icon

じゃあわたし右の頬を殴るから……

23:00:19
icon

この図における「全体は部分よりは大きい」は面積の話であって、弧と線分の長さの比較には使えないのでは

23:07:14
icon

ユークリッド原論で三角不等式はどこから生えてくるのか

23:28:22
icon

正弦定理を使っていいなら自明か(記事の上には余弦定理からの帰結って書いてあるけど)

23:40:26
icon

ねむくなってきた

23:41:11
icon

今眠いのは非常にまずい

23:41:25
icon

かんなおちゅ