MIT(Μίττον)@大学垢

MIT(@aaaazzz18)の大学垢/数学と言語をする アイコンは1巻カラー絵のアルトちゃん(かわいい)

[MIT(Μίττον)@大学垢 @mit00042]

ひじき「ぼくピュロン主義者だから何もわからない」

[MIT(Μίττον)@大学垢 @mit00042]

「私、原作厨なので気になったコンテンツは原作で読むんですよ」
「厄介なオタクだ」
「最近は rw nw prt m hrw を読みたくなっています」
「難儀なオタクだ」

[MIT(Μίττον)@大学垢 @mit00042]

>RT
これのオチ
「……私たちってゲームの中の存在だったの？」
「そういうことになるぜ」
だろ

[🎅さちゃ🎅 @sa_tea]

今回はニンテンドーダイレクトで突然リメイクが発表された東方紅魔郷について解説していくぜ 霊夢は紅魔郷って知ってるか？
う〜ん、東方って何となくは知ってるけどどんなゲームなのかは全然知らないのよね そのへんも詳しく説明してくれると助かるわ

[MIT(Μίττον)@大学垢 @mit00042]

ホワイトボードの前でバーっと喋っているのを撮影してAIに投げたらPDFができるようにならないかな
適当に行間を埋めて清書してほしい

[MIT(Μίττον)@大学垢 @mit00042]

宇宙人が言ってきたときに一番腹の立つ類の発言というのは例えばこんな感じ：
「真空からエネルギーを摂取できない体質とはさぞ不便でしょう」

[MIT(Μίττον)@大学垢 @mit00042]

【やかましい謝辞】
...𝒂𝒏𝒅 𝒀𝒐𝒖.

[MIT(Μίττον)@大学垢 @mit00042]

「非自明な locale ほしいよ〜」って気分のときには天から impredicativity を降らせ、「でも impredicativity って嘘だしな……」って気分のときには「非自明な locale とれは全部詐欺です」と言っている
cf. https://t.co/VDYlH5CGUY

[MIT(Μίττον)@大学垢 @mit00042]

>RT*2
これの折り畳みが幾重にもなってるやつみたいな

[MIT(Μίττον)@大学垢 @mit00042]

どうせ電子限定なら証明に折り畳みを入れられるとかなり読みやすいので、そういう数学書を書きたい

[もの(換気中) @monoxxxx]

海外サイトだと若干ですがそれを志向したサイトがありまして
The L-functions and modular forms database (LMFDB)
https://t.co/SFmbNByaer

NIST Digital Library of Mathematical Functions: DLMF
https://t.co/wRNSgd074N

Integral Calculator
https://t.co/A6Tt2a5gGX

https://t.co/6zKBqgb8K7

[もの(換気中) @monoxxxx]

完全に同感で、その上でそこは文明の利器Webサイトの活用で、例えばマウスオーバーしたら行間が表示されたり(何もしなければ冗長な行間埋めは表示されない)、タブ折り畳み隠しとかで、メリハリをも個々の理解レベルで調整可能なインタラクティブなデジタル数学教材はだいぶ需要ありそう

[MIT(Μίττον)@大学垢 @mit00042]

「農学の研究には植物の気持ちを理解することが必要なんですよ」
「まあそうかも」
「なので、うちの研究室では学生のサークル経験を伺って、トマト・ナス・キュウリかレタス・ニンジン・セロリかといったように担当の植物を決めています」
「いーや嫌光性・好光性！」

[MIT(Μίττον)@大学垢 @mit00042]

オタクの誇張表現みたいな語義

[MIT(Μίττον)@大学垢 @mit00042]

品川に到着した

[MIT(Μίττον)@大学垢 @mit00042]

愚かにもまだ京都にいる

[MIT(Μίττον)@大学垢 @mit00042]

一応のぞみに乗車できた

[MIT(Μίττον)@大学垢 @mit00042]

なんか、えーあい？とかいう魔術をやるらしいです

[MIT(Μίττον)@大学垢 @mit00042]

4月からの食い扶持が確定した

[MIT(Μίττον)@大学垢 @mit00042]

3日の朝に東下りするのは愚からしく草

[MIT(Μίττον)@大学垢 @mit00042]

【2026年にやってきたドラえもん】
ハルシネーションを見て共感性羞恥に襲われる

[MIT(Μίττον)@大学垢 @mit00042]

そういえば、昨日はそうと知らずに京大圏論サークルの人に会ってきた