Pinned
(時間が無い人はこの1ツイートだけ読んでくれれば大丈夫です)
アカウントを作り直しました
そして今このツイートを見ていて僕の前のアカウントにブロックされていた人へ
あなた達は本当に1ミリも悪くなくて、完全に僕が悪いです
本当にごめんなさい
okkuu
okkuu
22.5K posts
okkuu
@okkuu_NMB
NMBはno more blocking(もうブロックしない)の意
競プロが好き(AtCoder…2407)
巨大数が好き(元世界最強)
TSFが好き
uts1-36
B1
駒場理数サークル&TSG
B1
駒場理数サークル&TSGokkuu’s posts
本当にその通りすぎる
「2000年間未解決だったギリシア三難題の内2つを解いた大天才は、寝る間も惜しんで数学したので33歳で倒れて死にました」だなんて、そんな悲劇ふざけんな
彼が死んで150年以上後の人間の俺が言うのもなんだが、俺は彼に長生きして欲しかったんだよ
ja.wikipedia.org/wiki/%E3%83%94
Quote
島田光一郎(Dr. Koichiro Shimada)
@Account_KS_1
大学院生甘やかしアカウントと言われたけど、フォロワーさんはそんな次元で研究者してませんよ。研究者を消耗品にしたり「24時間研究しろ。早く成果を出せ。」みたいな方法ってすごい簡単で、人間をやめればすぐできるし、結果が出なくても潔く散れます。易きに流れるなという話をいつも書いています。
これ面白いの、実装が見える事
0.01秒の位だけちゃんと計算せずに適当に表示してるな?ってバレる
Quote
焼肉低速
@yakiteisoku
ここで3年経ったタイマーの挙動を見てみましょう x.com/kusobora_LBX/s…
The media could not be played.
これは実際に「勘の良い読者なら気付くだろう」とか、あまつさえ「気付かなかった者は勘が良くない」とか思って書いてるんじゃなくて、
「先述の内容から(あくまで理論上は)辿り着ける事に」とか、「実はさっき書いた内容には厳密には注意点があり」とかを意味するテクニカルタームなので…
Quote
kiricat
@kiricat848
学術書の「勘のいい読者は気づいたであろうが…」とか「注意深い読者ならお気づきになっただろうが…」とかいう記述、気づいたことない
「こういう回転対称なベン図はnが素数の時しか描けない」と知って「なるほど…」となっている
Quote
三谷 純 Jun MITANI
@jmitani
7つの集合に対応したベン図だって
へー
math.stackexchange.com/questions/2762
これ元ネタは多分ファインマンとかいう鬼ストイックな超天才物理学者が「俺はスピンが半整数である粒子がフェルミ＝ディラック統計に従う理由を大学1年生レベルにまで噛み砕けなかった…つまり真に理解はできていなかったという事だ…」とか言ったのなんですけど、 x.com/vespiking/stat
This post is unavailable.
「待ってろ!俺がわかりやすく表にしてやる!」
(この台詞を使える機会に遭遇したの人生初かも、ちょっと嬉しい)
Quote
やご茶
と他5572人があなたのポストをいいねしました
と他5572人があなたのポストをいいねしました@yagotea
これは私の理解が浅いから混乱しているんですけど、
べし太郎さん・もぎさん・福岡太郎さん・りぜさん
誰が女装して
誰が全裸DDRして
誰が風俗レポ書いて
誰がちんちんチャンバラしたのかが
マ～～～～ジで分からない。
有識者、教えてくれ
これ見かけたので適当なブラウザシミュレータに突っ込んでみたけど…すげぇ…ほんとに1Ωだ…
falstad.com/circuit/
Quote
sweacco
@sweacco
ルジンの問題の解からこの合成抵抗で1Ωになるはずなんだけど、本当になるんだろうか？
ja.wikipedia.org/wiki/%E3%83%AB
これ本当に好き
「実際に成り立つけど直感に反するためにパラドックスと呼ばれている」系の諸々って、「説明されてみれば『なるほど確かにそりゃそうだ』ってなる」って事が起こり得るんだけど、これがその「説明」
Quote
物理好き
@butsurizuki
誕生日のパラドックスの上手いところ、人間のサイズの認知は O(n) なのに実は人間関係の個数は O(n^2) あるのを巧みに隠してるところ
解説すると、これはoeis.org/A271991、10から始まる弱いグッドスタイン数列ですね
最後にはちゃんと0になるんですが、それまでに数を唱える回数は10^10^10^10^4554695329709871461146028403098000174083078466713683458635955831674719376458672711783756048220943307707400121784061538.617…
Quote
不見
@Psi0PsiOmega0
カウントダウンですごい時間我慢させようとする結月ゆかり囁
「10、29、65、125、215、284、363、452、551、660、779、...」
整数でなくとも、長さ1と長さaが与えられれば√aは得られるので
Quote
𡆢
@0x3b800001
任意の正の整数 n に対して √n ってコンパスと定規で作図できるんだな
・n=1 のとき：適当な長さの線を引いて単位長さですと言い張る
・n=k+1 のとき：既に √k の長さの線があるとして、その端に長さ 1 の垂線を引き、斜辺も引いて直角三角形をつくると、斜辺の長さは √(k+1) = √n となる
これ本当に大好き
一見「ただのΣ[k=1...∞]k!/10000^kだろ?何が嘘なんだ?」ってなるけど、よく考えてみると10000項目くらいから足す値が増え始めて、27000項目くらいで上の方の桁までセリ上がってきて、最終的には発散する
Σ[k=1...∞]k!/10000^kはこうなりそうで実はこうならないという意味で「嘘」
Quote
しましま
@simasima_71
嘘小数
0.000100020006002401200720......
リーマン予想、ある特定のプログラムが停止しない事と同値になるの、マジで凄いと思っている
ゼータ関数が云々って言うヤバげなステートメントが、プログラムの停止性っていう身近なレイヤーにまで引き落とせるのが
しかもそんなに複雑なプログラムでもない(bigintとrationalが有れば楽に書ける)
単射と全射、最初に知った時に「なんか概念の名前は対になってる風なのに、内容の方は全然違くね?」ってなってた
今思えば、
単射…任意のyに対して、y=f(x)となるxが1個以下
全射…任意のyに対して、y=f(x)となるxが1個以上
って事なんだけど
存在するんだ、直観論理に生きてる人
Quote
Alwe
@Alwe_Logic
プログラミングから定理証明を経て数学に入った人が、私がなんどもこんな感じで証明できるよね、って説明しているのに理解して貰えず、何度も対話を重ねた結果、相手側が排中律を知らなかった、というオチだった話などもある。
Replying to
重要なのは二点
①ファインマンは自分に超厳しい(「"真に"理解」の基準が鬼厳しい)人間である
②ファインマンですらガチの一般人向けに噛み砕こうとはしなかった(カリフォルニア工科大学という名門大学の入試を突破した大学生に向けようとしていて、その上でスピン統計定理はクソ難しかったという話)
どちらかと言えば、物理学が元々「世界を説明する学問」というより「世界の数式で表現できる部分を説明する学問」みたいなとこあるので
Quote
log19
@log19_mus19
ところで物理学っていう学問自体に「数式で世界を説明できるはず」っていうバイアスがかかっていて、数式で説明できない部分が見えてないだけなんじゃないかとも思ったりする。もしそうだとすると、怖い。
Replying to
要約
「俺もはるまげ丼氏の意見に全面的に賛成」
「賢い人は難しい物を云々とか言われてるけど、それって一般人が説明相手に責任を押し付けて分かりやすい陰謀論に飛び付く時に使われがちなセリフだよね」
「ファインマンですらスピン統計定理を大学1年生にも分かるようには説明できなかったし」
わかる(というか普通に人間が「推論」と呼んでいる物が実際これでは?とすら思っている)
Quote
ノーン
@nkowne63
鉄緑会で教えられてた「東大数学は推論と試行錯誤パターンまで暗記すればだいたい解けるよ」戦術、バカ強かったんだけど推論AIも同じことしてたのウケる。てかこれで解けない問題は普通は人間も解けないだろ。 x.com/rubenhassid/st…
クソ問どころかガチ良問に見える…
解答「正の実数εであって0<x<εならば(f(x)-f(0))/x<1/2<f'(x)であるような物が存在するので平均値の定理と矛盾」
(強いて言えば、εδっぽい考え方を使うせいで高校生には出題しにくいのがクソポイント、とか…?)
Quote
ソリング
@TubeSoling
第269回クソ問模試より
これはマジで本当にそうなんだけど、それはそれとして「一切の権威主義を認めない」のも、理想的にはともかく現実問題としてはまあ人間には無理だよなーという気分もある(全てを検証するには純粋に時間が足りないため)
Quote
Haru
@nyan_haru_nya
地球平面説とかに「義務教育で習うだろ」みたいな反論をしている人の態度は非科学的だなと思うわけですよ。教科書の内容に疑問を持っている平面論者の方が(その一点において)科学的であるとさえ思う。
バナッハ＝タルスキーは言うほど非直観的ではないってのは定期的に言ってる
「無限に細かい霧みたいな激ヤバな形への分割が許可されており、その霧は体積の概念を持たないので、『体積は不変である筈だ』という理屈がバグって例外が生まれる」
って説明で結構納得できません?
「n=1の時に確認しないと成り立つとは限らない(論理展開に穴が生じる)」というロジック部分の話が分かってないのか、
あるいは「ロジックとして必要なのは分かっているが、それを紙に書き下す段階のレイヤーの話として、『自明なため省略』で良くないか?」って意図なのか
後者なら正直気持ちは分かる
Quote
このぱげ
@konopage0317
高校時代によく受けた数学の質問
『何で数学的帰納法ってn＝1のとき確認しなきゃいけないの？書かなくていい？』
これ系(口頭が終わってる系)で好きなの、Löbの定理
「Aが証明できるならばA」が証明できるならば、Aが証明できる
Aが証明できるならばAが証明できるならばAが証明できる
Quote
0.(0588235294117647)
@smania0711
今日の数学II語録:「数珠順列も言いづらいけど【ごじゅうごごじゅうごじょうこんごじゅうご】はバグる」
気持ちは超分かるんだけど、それはそれとして「暗澹たる」は言葉が強すぎるような気がしている
Quote
もの(換気中)
@monoxxxx
例のコラッツ予想証明を主張する著者の、玉川大学のToshiharu Kawasaki(川﨑敏治)先生、不動点定理の研究をしっかり長年取り組んでからのコレで、この未解決問題ってホントしっかり研究してる人まで吸い寄せる魔力があるのかと暗澹たる気持ちになってる
researchgate.net/profile/Toshih
「任意のnについて、n^3と(n+1)^3の間に素数が存在する」だろうか…
Quote
くるる＠在米中年集合論者
@kururu_goedel
Replying to @PhlebotomeH and @ytb_at_twt
問題の内容は忘れたのですが、全ての自然数で何かが成り立っているかという問題で、ある定数以上なら成り立っていることがわかっていて、あとは理論上虱潰しで解けるはずなんだけど、その定数が大きすぎて計算しきれないなんて講演がありました。10年以上前なので今は解けているかもしれません。
これ初めて知ったけど凄い…
閉包や内部は冪等だし、補集合2回取っても変わらないし、閉包の補集合=補集合の内部だし…って考えていくと、画像みたいな系列しか無くなる
そして「閉包の内部」を取る操作も実は冪等になる(内部の閉包も同様)ので結局高々14種類、と…
Quote
Atsushi Yamashita
@yamyam_topo
【今日の定理】 位相空間 X の部分集合 A に対して「閉包」「内部」「補集合」の操作を有限回施して得られる集合は、高々14種類である。
（たとえば X=ℝ, A= (0,1) ∪ (1,2) ∪ ([3,4]∩ℚ) ∪ {5} とすると、ちょうど14種類が得られる例になる。）
これ系の話だと、「素数の逆数和は発散するが、10進表記で9を含まない数の逆数和は収束する(ケンプナー級数)」ってやつが好き
1~100だと25個と81個で、後者の方がずっと発散しそうなのに
en.wikipedia.org/wiki/Kempner_s
Quote
forループ@mod998244353を忘れない
@for_i_in_loop
そう言えば素数の逆数和が∞に発散するの非自明だなぁと思ってたが、
エラトステネスの篩の計算量がO(NloglogN)であることを考えると、有限値に収束するならO(N)になるから矛盾するかぁと今ふと思った。
Replying to
俺は彼をこの上なく尊敬しているし、だからこそ彼の数学力を全力で教師にすると同時に、彼のライフスタイルを全力で反面教師にする
それが彼に対する最大限の敬意だと知っているからだ
(参考画像)
参考文献のタイトルだから斜体にされてるの好きすぎる
Quote
ラプラシアン
@mu_im_u_im
drive.google.com/file/d/1Al6SWP
整数論が専門ではないのでまだ見落としがあるかもしれませんが、アイデアは十分わかりやすいので、少なくとも何らかの進展には寄与していると思います。