7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2022年01月06日(木)
最近言われてるコスパならぬタイパ、「タイムパフォーマンス」について考えました。無料です。／ 映画やドラマを「倍速」で観たっていいんじゃない？ | 佐々木俊尚「毎朝の思考」/ Voicy - 音声プラットフォーム voicy.jp/channel/2185/2... pic.twitter.com/WrjGtIDoXu
タグ：
posted at 08:14:03
Tomokazu KASHIO （加塩朋 @Tomokazu_Kashio
【選択公理】を取り扱う意味(私見)
数学、とくに「論理」と「集合」は厳密でないと困る。
例：ラッセルのパラドックス
「集合」の定義には、現在、ZFC公理系（お約束）が多く採用されている。
例えば
・空集合は集合
・自然数全体は集合
・A,Bが集合⇒A×Bも集合
などが保証されている。
タグ：
posted at 08:59:39
Tomokazu KASHIO （加塩朋 @Tomokazu_Kashio
正確にはこれらを導ける幾つかの「約束事(=公理)」を仮定している。
一つ【微妙なライン】なのが「選択公理」
・Aλ≠∅ ⇒ ∏Aλ≠∅
なぜ微妙なのか？
微妙っぽい命題を導けてしまう。例えば
・ツォルンの補題
・バナッハ・タルスキーの定理
タグ：
posted at 08:59:39
Tomokazu KASHIO （加塩朋 @Tomokazu_Kashio
なぜ認めるか？
便利だから(?) 例えば
・基底の存在
・チコノフの定理
・代数閉包の存在
・ハーン・バナッハの定理
進んだ話題: 公理の独立性、強弱、逆数学…
例えば
twitter.com/mszk_p/status/...
など参照。ただし、博士進学くらいまでしないと理解できないかも。「9年数学基礎論講義」、なんちゃって😉
タグ：
posted at 08:59:39
以下のリンク先の意見に大賛成。
実際には、地道な計算を十分にしておかないと、感じがつかめなくなって、すぐに数学が分からなくなります。
実際にそうなっている場合は非常に多いと思う。 twitter.com/devoteeofsakii...
タグ：
posted at 11:52:46
別の観点ですが、化学の授業で指数を扱うこともあるので、１年生で学ぶ機会があれば良いですね。
そして実際にそのように指導しています。 twitter.com/y__hiroyuki/st...
タグ：
posted at 12:12:52
これ長女の時、学校で全く触れなくて「何で逆数にしてかけるんですか？」って質問したら「教科書に書いてあるから気になる人は読んでおいてください」と言われたらしい。
教科書ってよく出来てるな！先生も学校も要らんのちゃうって気がついちゃったよね。 twitter.com/mathmathsan/st...
タグ：
posted at 14:21:54
私も出演する #コズミックフロント 、本日放送です。
ディレクターさん曰く、テレビの演出としてはかなり冒険をしたとのこと。うまく伝わるかな。反響が楽しみです(^^)。
#NHKBSプレミアム 1月6日 22:00-23:00 bangumi.org/si/23205?area_...
タグ： NHKBSプレミアム コズミックフロント
posted at 14:53:58
島田光一郎(Dr. Koichiro S @Account_KS_1
今日は年明け最初のゼミでした。3時間近い時間、数学を共有しました^^毎回すごく楽しい時間があって、たくさんのパワーをもらっています。今日はいろいろ式を触り、次回取り組みたいことをまとめました。見通しはずっと良くなって、これからどんなことに出会えるかとても楽しみです。
今は、
タグ：
posted at 16:04:05
線形代数、（サイズ2,3くらいの簡単な例で）計算練習するのは大事。
しかし、計算量が多くて計算ミスしやすいのも事実。単純計算だとわかったら、コンピュータで処理できるようになるのも大事。
タグ：
posted at 16:04:32
線形方程式、行列式、固有値、対角化、ジョルダン標準形とか、数学や数値計算が専門でないなら、コンピュータに求めるのを任せて良いと思う。
求められる原理を（一般には）きちんと知らなくても、応用として利用できる。ただし、それらの結果が何を意味するかは、座学で知っておく必要はある。
タグ：
posted at 16:10:54
大学1年の前期、線形代数の4次、5次の掃き出し法や行列式の計算やってて（実際試験に出るので）、正直「なんで（大学に入って）こんな計算練習しなけりゃならないんだ」という気持ちになってた（笑）。今も半分くらいそう思ってる。
線形空間論（線形独立、基底、次元）など一般論は大事だと思う。
タグ：
posted at 16:34:14
【本日22時、必見！】
ブルーバックス『時間とはなんだろう』の著者・松浦壮さんが、本日22時～「コズミックフロント」（BSP・BS4K）に出演します。
テーマは「宇宙をひらく 究極の“時間”に迫れ！」。
このテーマに興味ある方は、大好評の『時間とはなんだろう』も必読です!!
bookclub.kodansha.co.jp/product?item=0... twitter.com/nhk_space/stat... pic.twitter.com/TakSxhjNtc
タグ：
posted at 17:41:00
アマゾンのリンクを貼りまくってさぞかし儲けてるだろうと妬まれても面白くないので現実的な数字を言っておくと、リンク集を作って初めてツイートしたときに150人ほどがリンク先へ飛んでくれて3～5冊ほどご購入頂けて200円くらい儲かる！ 翌日には30円くらい。翌々日には0円。ありがとうございます！
タグ：
posted at 18:10:44
ブルーバックスさんからの応援も。
#時間とはなんだろう も楽しんでもらえたら嬉しいです♪ twitter.com/bluebacks_pub/...
タグ： 時間とはなんだろう
posted at 18:17:17
MathPoppy⌬重み付き深さ付き新谷 @Servantprime
『スミルノフ高等数学教程』の翻訳者一覧。名前を見たことのある方々ばかり。 pic.twitter.com/0YETk3pmzd
タグ：
posted at 19:26:18
読んでて全く意味不明な本てあるじゃないですか。興味はあるけど、全く理解できない文章が書かれている本。
こういうときどうしたらいいんだろ。 pic.twitter.com/ouq12ZwbEK
タグ：
posted at 21:04:02
