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

最悪のすき家

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

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

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

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

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

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

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

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

野崎昭弘ってまだ生きてるのか（1936年生まれとのことなので87歳） https://ja.wikipedia.org/wiki/%E9%87%8E%E5%B4%8E%E6%98%AD%E5%BC%98

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

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

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

うーみほーたるー

幸せになりました

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

ピーナッツソフトうまい

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

うし

勝浦タンタンメン

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

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

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

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

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

おたくきたく

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

みんな違ってみんな違法

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

追い抜きならともかく

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

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

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

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

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

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

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

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

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

導関数に感謝

岡山行きたいねえ

リアル絶日空就航

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