大学の数学を解説するWebサイトMathpedia https://xitter.cf/t.co/Omnret9zdnを運営しています

奈良
Joined August 2020
これ読むと、日本の高校における数学教育は受験に重きを置きすぎていて、数学のもつ本来の面白さを十全に伝えきれていないと思ってしまう。自分が出会ってこなかっただけでこういう教員は沢山いるんだろうなぁ。 ms.u-tokyo.ac.jp/~oshima/pap…
2
363
132
3,611
894,958
AIで終わったのは数学ではなくこの人のモラルと倫理観でした
INMU KINGは、若い世代ほど人気あるから、特に小中学生はほとんど知っているから、そのあたりをとりに行きたいNHKとしては、正面から楽曲としてとりあげなくても、特徴的な演出とかムーブ(途中で片手でさかさまになるあたりとか)を紅白にとりいれるくらいのことしないと時代に寄り添えないかもね。
8
51
6,798
申し訳ないけど今の時点でもう去年の日本シリーズより面白い
50
698
69
15,773
1,041,695
腹ちぎれそう
일본 히로시마 오코노미야키 가게에서 번역기에 대고 "오사카 스타일로 해주세요" 라고 말했더니 가게가 조용해졌음 오사카에서 먹었던 오코노미야키가 맛있어서 히로시마에서도 그걸로 시키고 싶었음 그게 다였음 번역기 화면을 주인 아저씨한테 보여줬음 아저씨가 화면을 보고 나를 보고 다시 화면을 봤음 철판 앞에 앉아 있던 손님 다섯 명이 동시에 고개를 돌렸음 아저씨가 뒤집개를 내려놓았음 옆자리 할아버지가 작게 "오사카..." 하고 중얼거렸음 나는 뭔가 잘못됐다는 걸 알았는데 뭐가 잘못됐는지 몰랐음 번역이 이상하게 됐나 싶어서 화면을 다시 봤음 맞게 됐음 아저씨가 팔짱을 끼고 나를 한참 보더니
1
2
20
3,449
虎テレ解約した🐯
3
731
実際のところOpenAIがこれだけresetを連打してくれて本当にありがたいのが、reset連打がなくなったら秒で解約する自信がある
1
11
2,182
ふるさと納税を終わらせるゾゥ
1
7
1,201
数学をやってる人が皆「TPOを弁えられなくて重箱の隅をつついて人を論破したつもりになってるしょうむないやつ」ばかりではないというのは大衆に理解してもらいたいところではあるが、残念ながら多くの人の心に悪い印象として残ってしまうのはそういう「けったいなやつ」でもある。
2
12
2
70
5,058
AI兄さん どないしてしまいましたんや
1
837
数学市民 retweeted
「Lean は無矛盾である」という文はLeanの中で書けて、実際に書いた例もあります。 ですが第2不完全性定理より、Leanが本当に無矛盾なら、その文をLeanの中で証明することはできません。 ではLeanの正しさはどう保証されるのでしょうか。形式検証入門の2本目。 youtu.be/F6S22waRCbc?si=IaY8…
7
109
14
639
146,479
競技展開図の運営を応援するための課金プランをつくったら、早速一人登録していただきました!ありがとうございます!😭 kyoten5555.com/member
4
9
806
Deepseekに圧倒的感謝😄✋
4
954
ロクに勉強したことのない人の言いがちな「素人にはそれっぽく聞こえてしまうが、全然的外れなでむしろ有害な方法論」ってありとあらゆる学習においてあって、そういうものに初学者が惑わされていく姿を見るのはなんだかなぁといつも思う
1
9
1
113
6,206
友人が作ってくれました!!!!! まじでこんな感じです
3
12
1,169
3
14
1,171
スペースしてます!!!! どなたでも気軽に展開図の魅力を語り合いましょう!!!
1
5
745
他分野の方がこれだけ数学に興味を持ってくれるのは本当にありがたいことですよ
文学部B2の本棚か……? これが……
5
41
2,120

11
1
7
967
全員が思ってること代弁するのやめて🤚
ぜんぜん激震ちゃうやん
2
1,915