7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2023年04月05日(水)
京奈和道の開通で現実味を帯びてきました。
【「京奈和～関空」直結の有料道路いよいよ検討開始へ 阪和道から「空港連絡道」紀の川に延伸】
trafficnews.jp/post/125205
タグ：
posted at 07:12:30
A∩(B∪C)=(A∩B)∪(A∩C) はなぜか
↓
φかつ「ψまたはρ」 と 「φかつψ」または「φかつρ」 が同値だから
φかつ「ψまたはρ」 と 「φかつψ」または「φかつρ」 が同値なのはなぜか
↓
？
この「？」を何に帰着するか、大学1年向け教科書できちんと書いてあるのをあまり見かけない。
タグ：
posted at 08:47:57
ツインスター・サイクロン・ランナウェイを @Alwe_Logic
集合に関する分配法則を一階述語論理の分配法則帰着している証明を循環論法って言ってるひとがいてうへ〜〜って気持ちになった。非形式的な主張だが、結局どのように証明したとしても論理の何かしらの性質に帰着されるのでどういう証明ならその人は受け入れられるのだろうか……
タグ：
posted at 09:53:28
いやそれは嘉田自身も大学1年のときに教科書の証明を見て「？」と思ったポイントで、そもそもの「論理の性質」の正当性を何でもって基礎づけるのか、教える側はちゃんとその答を用意しておくべきだと思いますよ。 twitter.com/Alwe_Logic/sta...
タグ：
posted at 10:03:41
ゆる言語学ラジオ@著書『言語沼』発売中！ @yuru_gengo
小説新潮に載った黒島先生のエッセイ、Web転載されてる！！
www.dailyshincho.jp/article/2023/0...
タグ：
posted at 10:19:01
新しいドキュメントスキャナーを買ったので、古い勉強ノートを片っ端からスキャン・PDFにして廃棄している。
最近「断捨離」が流行っているが、捨てようかどうか迷う文書も多々ある。こういうときにスキャン・PDF化ツールは役立つ。「アーカイブ」にすると言ってもいいか。
タグ：
posted at 10:59:14
『数学セミナー』2023年度新連載紹介
「現代数学を志す人のためのキーワード」
数学を学んでいくと突然当たり前のように登場する重要な数学の概念を，各3号ずつに分けてリレー形式の連載で解説します．専門書を読む前段階に最適．
初回(4月号～6月号)では「リーマン面」を取り上げます． pic.twitter.com/RIGuMvHYcD
タグ：
posted at 12:28:17
集合の無限和・共通部分、∞の記号（極限的なイメージ）に引きずられて誤解してる人いそう。自分も初学のとき、若干戸惑った。
記号の見た目ではなく、定義が大事という話に回収されるが。
集合族の扱い方（和集合・共通部分）：実数の区間を例に｜趣味の大学数学 math-fun.net/20210329/12619/
タグ：
posted at 13:48:46
数学、計算は独学でもある程度は身につけられる。
しかし、証明や論証は独学だと厳しい印象（非正確な学びをする人は少なくない）。
計算問題は、結果が合ってるかどうかで、ある程度は採点できる。しかし証明は、自己採点（評価）が難しい。何に気をつけるべきかの基準は、独学で身につけにくい。
タグ：
posted at 17:38:54
渡邉究/数学科准教授/YouTube @Kiwamu_Watanabe
元々考えていた問題からより一般的なファノ多様体の分類問題が派生し、分類できることが分かった。先行結果を調べた感じだと知られていない結果だと思うが、海外の有識者にもそのことを確認するためメールを送った。彼曰く、「知られていないと思う」ということだった。
タグ：
posted at 18:06:41
大丈夫！
今は定理証明支援系がフリーソフトで利用できるし、インストール無しでもブラウザで動く。
数学的に正しい証明を
独学で習得できる。
さらに、数学者が把握できない証明でも計算機なら正しくチェックしてくれる。
良い時代になりました。 twitter.com/kimu3_slime/st...
タグ：
posted at 18:24:13
数学における論理や証明の扱い、できる人とできない人の差が残酷なほどにある。
できる人は年齢に関係なく、常識だと思っている。例えば中学生でも大学レベルの本がちゃんと読める。できない人は大学に入っても、論理的に読んだり証明したりできない。数学科の後半でようやく身につく。
僕は後者です。
タグ：
posted at 20:07:58
数学そのものが、誰でもどこでもできるからこそ、差がつきやすい分野だよな。
ただ、訓練せずに身につけるのは難しいけれど、訓練すれば多くの人ができるようになる。これは教育のいいところ（数学科には大変お世話になりました）。
タグ：
posted at 20:13:51
TwilogのAPI停止に関しまして、たくさんの惜しむ言葉や労いの言葉をいただきましてありがとうございます。
14年前にほんの思い付きで作り始めたサービスが、これほど多くの方々に愛されるようになったというのは、おそらく私の人生で一番の誇りになるかと思います。
タグ：
posted at 20:35:00
ここで「集合論って循環してね？」って思えたら、ある意味で「基礎論の世界へようこそ」って感じなのかな twitter.com/souji04261/sta...
タグ：
posted at 20:55:23
物理量としてベクトルである(向きと大きさを持つ)というのと、数学の線形空間の要素の意味でベクトルである、というのの違いは何なのだろう。物理が課す等方性や並進対称の話と、数学的に例えば固有値が基底に依らずにきまること、は一緒に考えるべきことなのだろうか？
タグ：
posted at 21:11:57
昔話です。福岡ダイエーホークスから福岡ソフトバンクホークスへ代替わりした時代、斉藤和巳・杉内俊哉・新垣渚・和田毅という最強の先発4本柱がいましてね。あれからまもなく20年、先発一本で太く長く輝き続けている和田毅というのは稀有な存在なのですよ。
タグ：
posted at 21:37:34
前回の『集合への入門』演習で、まさに和集合、共通部分の証明で思考停止しました😅 当然わかったつもりでした😓オンライン講座や個人授業を受けてちょうど3年。知識は増えましたが、証明力、計算力は全然ダメです。自分の勉強の仕方の問題です。5月の発表を突破口にしたいと思います💪 twitter.com/kadamasaru/sta...
タグ：
posted at 22:17:11
拙著2冊がともに今年度の大学１年生向けセミナーのテキストに選ばれており大変光栄です。
『グリーン・タオの定理』：京都大学ILASセミナー
『せいすうたん』：九州大学コアセミナーI
タグ：
posted at 23:05:57
最近は、「具体」←→「抽象」を行ったり来たりする力を、生徒にいかにつけさせるかってことにすごく興味がある。他教科の教師とも話しながら、どうやって鍛えていくか思案中。
数学と現代文は特にここが勝負かなと感じていて、最難関になると全教科にこれが要求される気がしている。
タグ：
posted at 23:18:01
今日の羽田空港 高確率で重大インシデンが起こるVOR-Aアプローチやってる！！！！
2%の確率でしかこの運用ないから見れたの良き pic.twitter.com/lKhDY506kQ
タグ：
posted at 23:31:06
