Pinned Tweet
Replying to @Infinity_topoi
Mathpediaは皆さまからの支援によって運営されております。寄付いただいたお金は記事内容の充実や編集人員の拡充に用いさせていただきます。
math.jp/support
数学市民 retweeted
これ読むと、日本の高校における数学教育は受験に重きを置きすぎていて、数学のもつ本来の面白さを十全に伝えきれていないと思ってしまう。自分が出会ってこなかっただけでこういう教員は沢山いるんだろうなぁ。
ms.u-tokyo.ac.jp/~oshima/pap…
腹ちぎれそう
일본 히로시마 오코노미야키 가게에서 번역기에 대고 "오사카 스타일로 해주세요" 라고 말했더니 가게가 조용해졌음
오사카에서 먹었던 오코노미야키가 맛있어서 히로시마에서도 그걸로 시키고 싶었음 그게 다였음
번역기 화면을 주인 아저씨한테 보여줬음 아저씨가 화면을 보고 나를 보고 다시 화면을 봤음
철판 앞에 앉아 있던 손님 다섯 명이 동시에 고개를 돌렸음
아저씨가 뒤집개를 내려놓았음
옆자리 할아버지가 작게 "오사카..." 하고 중얼거렸음
나는 뭔가 잘못됐다는 걸 알았는데 뭐가 잘못됐는지 몰랐음 번역이 이상하게 됐나 싶어서 화면을 다시 봤음 맞게 됐음
아저씨가 팔짱을 끼고 나를 한참 보더니
数学をやってる人が皆「TPOを弁えられなくて重箱の隅をつついて人を論破したつもりになってるしょうむないやつ」ばかりではないというのは大衆に理解してもらいたいところではあるが、残念ながら多くの人の心に悪い印象として残ってしまうのはそういう「けったいなやつ」でもある。
まじかあ!
【NHKニュース速報】
プロ野球・巨人の新監督 松井秀喜氏が就任へ 大リーグのヤンキースや巨人でプレー(10:59)
#nhk_news news.web.nhk/newsweb
数学市民 retweeted
「Lean は無矛盾である」という文はLeanの中で書けて、実際に書いた例もあります。
ですが第2不完全性定理より、Leanが本当に無矛盾なら、その文をLeanの中で証明することはできません。
ではLeanの正しさはどう保証されるのでしょうか。形式検証入門の2本目。
youtu.be/F6S22waRCbc?si=IaY8…
数学市民 retweeted
競技展開図の運営を応援するための課金プランをつくったら、早速一人登録していただきました!ありがとうございます!😭
kyoten5555.com/member
ロクに勉強したことのない人の言いがちな「素人にはそれっぽく聞こえてしまうが、全然的外れなでむしろ有害な方法論」ってありとあらゆる学習においてあって、そういうものに初学者が惑わされていく姿を見るのはなんだかなぁといつも思う












