MIT(@aaaazzz18)の大学垢/数学と言語をする アイコンは1巻カラー絵のアルトちゃん(かわいい)
Joined March 2018
- Tweets 22,379
- Following 213
- Followers 557
- Likes 26,082
847 Photos and videos
【夢日記】
クラス公理 (class axiom) とは class function、そのクラス定理 (class theorem) とはその section のこと
1
68
Jun 12
elementary existential doctrines with full comprehensionにおいてcomprehensionが合成について閉じるのわからん侍になった
factorization systemを生やすために必要だよね
1
159
Jun 13
"A characterization of generalized existential completions" でこの閉性に名前つけられてたわ
112
Jun 10
「私、原作厨なので気になったコンテンツは原作で読むんですよ」
「厄介なオタクだ」
「最近は rw nw prt m hrw を読みたくなっています」
「難儀なオタクだ」
91
Jun 10
ホワイトボードの前でバーっと喋っているのを撮影してAIに投げたらPDFができるようにならないかな
適当に行間を埋めて清書してほしい
1
76
宇宙人が言ってきたときに一番腹の立つ類の発言というのは例えばこんな感じ：
「真空からエネルギーを摂取できない体質とはさぞ不便でしょう」
79
「非自明な locale ほしいよ〜」って気分のときには天から impredicativity を降らせ、「でも impredicativity って嘘だしな……」って気分のときには「非自明な locale とれは全部詐欺です」と言っている
cf. drops.dagstuhl.de/storage/00…
1
199
>RT*2
これの折り畳みが幾重にもなってるやつみたいな
4
374
海外サイトだと若干ですがそれを志向したサイトがありまして
The L-functions and modular forms database (LMFDB)
lmfdb.org/
NIST Digital Library of Mathematical Functions: DLMF
dlmf.nist.gov/
Integral Calculator
integral-calculator.com/
x.com/i/status/2062874569292…
1
4
18
2,483
完全に同感で、その上でそこは文明の利器Webサイトの活用で、例えばマウスオーバーしたら行間が表示されたり(何もしなければ冗長な行間埋めは表示されない)、タブ折り畳み隠しとかで、メリハリをも個々の理解レベルで調整可能なインタラクティブなデジタル数学教材はだいぶ需要ありそう
Jun 5
数学書の行間に不満を持つのは分かるが、じゃあ試しに全部書いてある数学書を読んでみると、マジ読みにくいんですよ。全部書いてある数学書は、情報の重要性のメリハリが著しく弱まるので、「読めるようにならないと読めない」、書いてあることを知ってないと読みにくいという現象が起こりうるのです。
4
47
262
36,944
「農学の研究には植物の気持ちを理解することが必要なんですよ」
「まあそうかも」
「なので、うちの研究室では学生のサークル経験を伺って、トマト・ナス・キュウリかレタス・ニンジン・セロリかといったように担当の植物を決めています」
「いーや嫌光性・好光性！」
1
3
421