00:27:37
2023-10-13 22:33:56 手足口病えもよんの投稿 emoyon_kp4@social.mikutter.hachune.net
icon

このアカウントは、notestockで公開設定になっていません。

00:27:46
icon

最悪のすき家

00:28:24
icon

ていうかまずいすき家なんてあるのか……

00:38:16
icon

πの話、ゼノンのパラドックスのとこだけ読んだけどやっぱり

ゼノンのパラドックスを元に 1=0.9999... になってほしい気持ちを導入
→ある値に「限りなく近づく」という観察を導入
→コーシー列で定式化

なので、一般的な議論をモチベーションを明らかにしつつ丁寧にたどってる感じですね(数学書はモチベーションをすっ飛ばしがちなのできちんと説明するのはとても偉い)

00:41:59
icon

(「限りなく近づく」をコーシー列として定式化することに関して)「ものごとをきめるのは人間の責任であること、きめかたは自由であるが、やはり上手・下手があることを強調しておきたいと思います」(p.166)は実際多くの人にとって混乱の源になっていると思われるので、ここにきちんと言及するのはさすが

00:45:47
icon

p155のコラムにある「仮無限」(無限に新しい項が生成される列としての無限)と「真無限」(実数全体の集合のように、すべての要素がすでに定義されている無限)の違いはあまり意識したことがなくて面白かった

00:58:30
icon

めちゃくちゃ今更かもしれないけど、Google Pixelのカメラの絞り効果みたいなやつきつすぎない?

00:59:48
icon

集合論、ホットな分野ではないけど普通に研究されてるイメージ

02:14:00
icon

野崎昭弘ってまだ生きてるのか(1936年生まれとのことなので87歳) ja.wikipedia.org/wiki/%E9%87%8

02:33:45
icon

インボイス番号発行しようとしたらe-Taxがメンテ中でキレた

03:40:00
icon

紅葉狩りの計画立ててるんだけど、週末はどこも激混みするみたいで終わっている

13:32:59
icon

天気がいいし旅に出ようかな

15:00:44
icon

うーみほーたるー

Attach image
Attach image
15:01:11
icon

幸せになりました

Attach image
Attach image
15:30:34
icon

せっかくETC2.0なので寄り道

Attach image
Attach image
15:30:57
icon

ピーナッツソフトうまい

Attach image
15:39:27
icon

食べないパスタソースって何?

Attach image
16:24:08
icon

うし

Attach image
17:12:48
icon

勝浦タンタンメン

Attach image
17:15:22
icon

海見れるかと思ったけど17時でももう暗いな

18:55:09
icon

圏央道、ほぼ貸切状態だった

Attach image
19:01:04
icon

この時間のアクアライン絶対ヤバいでしょと思って東回りにしたら京葉道路は京葉道路で事故ってるらしくて神

19:17:20
icon

Twitterとか言ってるのは老人ホームの老人だけ

19:18:22
icon

渋滞緩和したっぽいから出るか

20:20:40
icon

おたくきたく

Attach image
20:21:45
icon

外環道で120km/hくらいで左追い越ししてきた車がサンキューハザード焚いてて笑っちゃった

20:30:22
icon

みんな違ってみんな違法

20:35:41
icon

何車線あっても左追い越しは違法では

20:35:55
icon

追い抜きならともかく

20:38:42
icon

外環道、右車線を80km/hで走ってる車がナンバー666でピンクの軽とかいう見るからにヤバい物体にガン煽りされて、100km/hくらいでトラックの横を抜けさせられててかわいそうだった

20:45:42
icon

煽られるまで気付かないのが悪いとか外環で80kmで右走ってるのが悪いとかありますが、そもそも外環の制限速度守ってる時点でペーパードライバーか真人間のどちらかなのでやはりかわいそうではある(遵法してるのにね)

20:47:46
icon

70を120で煽るのはもはや追突事故なんよ

20:54:30
icon

常磐道、追い越し車線に出たはいいけど加速できなくてすごすごと戻っていくトラックをよく見る

20:59:40
icon

西は知らんけど、今まで見た中では常磐道のトラックの挙動が飛び抜けて怪しい

21:01:50
icon

そういえばこの前霞ヶ浦行ったときは茨城ダッシュの実物を見て本当にあるんだ!って感動した

21:02:56
icon

あまりに自然すぎて右矢印出てるのかと一瞬思った

21:21:17
icon

タスマニア島ドライブ旅いいですよ

21:36:23
icon

ベッドに寝転んでたら眠くなってきた

23:06:55
icon

導関数に感謝

23:17:38
icon

岡山行きたいねえ

23:40:32
icon

リアル絶日空就航

23:55:25
icon

住民税の仕組みがどうなってるのか分かっていない