2023-10-08 00:21:59

すき家き

2023-10-08 01:14:33

一晩で細野晴臣が老けてる

2023-10-08 03:12:56
2023-10-08 02:46:35 KOBA789の投稿 koba789@misskey.io

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

2023-10-08 03:13:16

全人類loader書いとる

2023-10-08 04:19:47

先週ちょっと頑張った反動なのか今週は虚無しかできなかったな

2023-10-08 06:57:20

こんな時期にもう路面凍結するんだ

2023-10-08 14:54:58

空港の近くまで来てスーツケースを忘れてることに気付く夢を見て嫌な気持ちになった

2023-10-08 14:56:56

人をなんだと思ってるんや

2023-10-08 14:58:44

スーツケースに鍵かけないので大丈夫です

2023-10-08 14:59:32

空港間違えもないです

2023-10-08 15:02:47

西宮と西宮北口は仕方ない

2023-10-08 15:06:50

飛行機がておくれたことはあれど、飛行機の搭乗でておくれたことはないんだよな

2023-10-08 15:13:13

虚無をしてる

2023-10-08 15:20:03

お茶がおいしい季節になってきたしお茶菓子買わんとな

2023-10-08 15:28:56

一家に一代百貫

2023-10-08 15:31:00

応用情報ははるか昔に取ったけど番号すら分からない

2023-10-08 15:35:14

まいにゅーぎあ

2023-10-08 15:40:54

SONOS、なんかアカウントのドメインをホワイトリスト形式でフィルタしてるっぽい……(@osak.jp が何やっても弾かれた)

2023-10-08 15:54:51

身長は低めにしろ

2023-10-08 15:56:52

音質は見た目なり

2023-10-08 15:57:34

乳控えめ、気は強い、身長は高め、体重は百貫

2023-10-08 16:00:15

CAはどっちかと言えば「運行の補助もする接客スタッフ」という認識なんだけど実際どうなんやろ

2023-10-08 16:05:25

ついにフォロー管理が来るのか

2023-10-08 16:28:51

那須塩原って意外と近いな

2023-10-08 16:30:37

草津チャレンジしたいわね

2023-10-08 16:31:44

嬬恋って何があるんですか?キャベツしか知らん

2023-10-08 16:33:30

なるほどね

2023-10-08 16:45:33
2023-04-30 22:06:25 のっけの投稿 nokke_o@misskey.io

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

2023-10-08 16:47:21

生殺与奪の権を宅配業者に握らせるな

2023-10-08 16:48:11

都合の良い時間に宅配業者が来なかったらカス!って言って出かけるのが正解です

2023-10-08 16:54:50

お前それテキサス州知事の前でも同じこと言えんの?

2023-10-08 17:07:50

歌詞のある曲をBGMにすると気が散るのでブルーアーカイブOSTを流し始めた

2023-10-08 17:09:01

future bassいいですねえ

2023-10-08 17:43:32

冬って何着ればいいんだっけ

2023-10-08 17:48:54

既に半袖で寒いんやが

2023-10-08 18:04:18

百貫の体温100℃くらいあるんちゃうか

2023-10-08 18:06:26

百貫のグラフ「温度(室内-屋外)」って書いてあるけどどういう意味?もしかして外気温との差が31.4℃ある??

2023-10-08 18:07:56

なるほどね

2023-10-08 18:08:16

それでも31.4℃は激どういうことだってばよ状態

2023-10-08 18:09:09

下の階燃えてたりしない?

2023-10-08 18:14:50

サイゼ飲みの機運があるけど今日日曜だから混んでそうだな

2023-10-08 18:18:19

ラーヌンいいわね

2023-10-08 18:26:45

雨降りそうだし車でラーメン行って家で飲酒しよ

2023-10-08 18:27:42

室長通報した

2023-10-08 18:48:08

アウトドアで使える椅子と机買ったけどキャンプしてない

2023-10-08 18:52:48

グランピングならしたい

2023-10-08 18:53:28

キャンプめしだけ食いたい、完全理解

2023-10-08 18:54:55

smhnキャンプやるぞ

2023-10-08 18:57:20

奥多摩はキャンプ場いくつかありますね

2023-10-08 19:03:39

それは因果が逆で、ホテルの本質は安全な寝床と食事の提供にあることの表れなのでは

2023-10-08 19:06:58

グランパの実行、それはつまりgrandfatheringということでは?

2023-10-08 19:10:38

利用者に貸し出したが最後、土地の既得権を主張されてしまうgrandfathering lot

2023-10-08 19:27:20

ひやおろしの時期か

2023-10-08 19:56:35

対向車のういビームで目が潰れた

2023-10-09 00:24:40

Qiita、LGTMだったのがいつの間にか❤に戻ってる

2023-10-09 01:48:29

うわ、SAPIってもう死んだ技術なのか learn.microsoft.com/en-us/wind

Speech, voice, and conversation in Windows 11 and Windows 10 - Windows apps
2023-10-09 02:11:08

VOICEVOXをSAPI5経由で公開するドライバ使ってもTwitchTalkAppで見えないのなんでだろうと思ってコード見てみたら、コンフィグにはSAPI5って書いてあるもののWeb Speech APIに丸投げしてるだけだからSAPI5で動いてる保証ないな? github.com/advancedbear/Twitch

TwitchTalkApp/src/js/main.js at master · advancedbear/TwitchTalkApp
2023-10-09 02:14:11

TwitchTalkAppが開発された頃は本当にChromiumもSAPI5を使ってたと思われるからまるっきり嘘ではないんだろうけど、軽率に抽象化の向こう側をUIに染み出させてくるのはやめてくれ~~

2023-10-09 03:23:27

チューリング完全なUnicode(アラン・チューリングに配慮して同性愛の絵文字を入れる)

2023-10-09 03:51:59

虚無

2023-10-09 03:54:43

なんも見てないんだけど、mikutterのサムネ表示ってOGPを読む感じではないんですか?

2023-10-09 03:58:00

なんかログイン状態と非ログイン状態で返ってくるHTMLが全然違うっぽいな(単純にcurlすると普通にog:imageが乗ってる)

2023-10-09 04:07:31

そもそもインスタ映えで対応できないWebサイトが今となってはほとんど存在しなさそう

2023-10-09 09:56:19

起きたら氷河期になってるし津波も来てるしもうだめだ

2023-10-09 11:02:13

あさごはん

2023-10-09 11:06:14

何度食べても日本のベーコンはハムの味がするのおもろいな

2023-10-09 11:09:54

いうて塩漬けではあるからへいきへいき [独自研究]

2023-10-09 11:13:24

そういえばアメリカのベーコン、燻製はしてあるのに中はあからさまに生なのなんでかよく分かってないな

2023-10-09 13:34:39

イオンシネマなんか知らんが安い(大人1100円だった)

2023-10-09 15:33:35

沈黙の艦隊観た。結構ギャグだった。まあそれはそう……

2023-10-09 15:37:01

1800円払ってたらキレてたかもしれんが、沈黙の艦隊だと分かっていながら見る選択をした時点でキレる権利はないんだよな

2023-10-09 15:57:32

Webページの中身がコロコロ変わる世界でなければマーカーを付ける仕組みがもっと発達しているはず……

2023-10-09 16:00:00

なろうは章単位で既読マーカー管理してるし、pixiv小説も最近は最後に読んだとこに復帰してる気がする

2023-10-09 16:04:13

あらゆるWebをローカルコピーして読む技術、ダウンローダーでは?

2023-10-09 16:04:44

人類に今必要なのはダイヤルアップ回線

2023-10-09 16:06:28

そのC++魔改造されてない?大丈夫そ?

2023-10-09 16:55:35

ブルーアーカイブ、サントラ聞いてるだけだとこれがえっちゲームとは思えんな

2023-10-09 16:56:13

百貫が24人で2.4t

2023-10-09 17:00:54

ラマーズ詐欺

2023-10-09 17:02:46

逆にLet's Encryptの提供するサービスでは真に不足なのってどんな場合があるの?

2023-10-09 17:12:46

まともな法人格がすべてEV証明書を取る世界は来るのか

2023-10-09 17:14:10

DV証明書が「証明書」って呼ばれてるのが今となってはミスリーディングな感じがある

2023-10-09 17:14:33

EV証明書をオークションに!?

2023-10-09 17:15:40

そのDVではないです

2023-10-09 17:25:19

あずにゃんを育てるゲームやりたい

2023-10-09 17:25:29

いややりたくないかも、よくわからん

2023-10-09 17:28:06

オタクおしゃれハウス、Funkotでは(?)

2023-10-09 18:05:35

いまさら『ソフィーの世界』読んでるんだけど、主人公のソフィーが完全にソフィー・ノイエンミュラーで再生されている

2023-10-09 18:10:26

IT国外の人がIT国に入るために必要なのはITパスポートじゃなくてITビザじゃない?

2023-10-09 18:11:41

ITオタクの烙印

2023-10-09 18:13:18

ブルーアーカイブ聞いてたら疲れてきたのでジャズにした

2023-10-09 18:15:24

これで美少女店員がいれば完璧にカフェだな

2023-10-09 18:18:18

不死者にとって永久にアップグレードが提供されるかどうかは死活問題だからね

2023-10-09 18:20:55

使ってた製品がディスコンになり憤死する不死者

2023-10-09 18:29:31

競技かぐや姫の難題だ

2023-10-09 18:31:04

answers.microsoft.com、真のゴミならブラックリストに突っ込めばいいんだけどたまに役に立つ時があるのがとても困る

2023-10-09 19:07:38

ねむにこになってる

2023-10-09 19:25:01

あずにゃんとにゃんにゃん

2023-10-09 19:34:55

軽薄な野菜

2023-10-09 22:07:47

おはあずにゃん

2023-10-09 22:13:00

寝たので連休明けの出社も辛くなくなった

2023-10-09 22:52:45

ひやおろしにゃん

2023-10-09 23:11:16

久しぶりに日本酒飲んだ

2023-10-09 23:41:21

乙なおつまみ

2023-10-09 23:41:35

あひる焼きおつまみ

2023-10-09 23:42:01

@ahiruyaki 灰はちょっとつまみにならないかな……

2023-10-09 23:43:41

飲酒プログラミングするつもりだったけど思いのほか酒が回っている

2023-10-09 23:48:05

オブジイヤー

2023-10-09 23:52:43

あなたのオブジイヤーはどこから?私はぱにぽにだっしゅから

2023-10-09 23:53:55

実際of the yearって発音するとtheは弱拍というかyearとくっつくというか、とにかくザともジともつかない微妙な音になる気がする

2023-10-09 23:54:33

オブズィヤーみたいになると思う

2023-10-10 00:05:43

全人類Itamae使ってそう

2023-10-10 00:10:42

見たことがないアクセント表記法だ

2023-10-10 00:34:18

C99って何が違うんだっけ

2023-10-10 00:35:55
2023-10-10 00:36:57

C99書いたことない気がする en.wikipedia.org/wiki/C99

2023-10-10 00:37:25
2023-10-10 00:38:05

C++ではlong long多用していた

2023-10-10 00:38:35

そもそもC++じゃなくてCじゃないといけない状況をほとんど踏んでないんだよな

2023-10-10 00:42:54

構造体メンバ初期化、使ったことなし(読んだことはある)

2023-10-10 00:55:17

Goみたいなコードで草

2023-10-10 01:03:19

二郎の写真見たら二郎食べたくなってきた

2023-10-10 01:13:30

ておくれだからさ

2023-10-10 01:20:20

二郎あんま好きじゃなかったんだけど、越谷二郎はおいしかった

2023-10-10 01:35:31

沈黙の艦隊見て

2023-10-10 01:38:04

面白そうな雰囲気があるかどうか

2023-10-10 01:38:37

沈黙の艦隊は原作知ってたからなんだけど、原作知っててなぜ見る選択をしたのかは謎とされている

2023-10-10 02:06:25

これはどう見てもえっちなおもちゃ

2023-10-10 02:10:35

同じカメラたくさん買うと何がいいんですか?

2023-10-10 02:11:12
2023-10-10 02:10:53 ぽんこつ 27Lの投稿 ponkotuy@social.mikutter.hachune.net

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

2023-10-10 02:11:16

なるほど……

2023-10-10 02:38:03

メガシンカ

2023-10-10 02:50:42

高い(高さが)棚を買ってフィギュア置こうと思ったけど、地震リスクを考えるとちゃんと扉がついてるやつのほうがいいのかな

2023-10-10 03:21:10

早起きしたので真人間の生活リズムになってきた

2023-10-10 03:34:20

@toshi_a 今から寝るんやが

2023-10-10 03:39:53

ポケモンスリープの日付が変わる前に寝るのは真人間

2023-10-10 13:47:19

はーあずにゃん

2023-10-10 13:47:43

寒暖差で体が破壊された

2023-10-10 14:29:13

香家

2023-10-10 14:39:23

秩父と川口を比較するなら、足立区の引き合いに出すべきは中央区じゃなくて青梅とかなのでは?

2023-10-10 14:43:21

青梅、山だと思っていたけど普通の多摩の街くらいには栄えてるし、なんなら秩父の倍くらい人住んでるっぽい

2023-10-10 14:45:36

でも多分足立区民は青梅のこと山だと思ってるし、川口市民も秩父のこと山だと思ってそう

2023-10-10 18:12:42

なんでとしぁの方が食われてんねんなんだよな

2023-10-10 18:13:04

Twitterも食われてしまったが……

2023-10-10 18:19:04

違法室長

2023-10-10 18:20:45

知らない駅、ホームの行き先案内も道案内もすべて知らん地名なので困る

2023-10-10 18:22:11

知らん駅知らん地名方面出口

2023-10-10 22:22:37

ガラス板って圧力かけたらじわじわとその向きに歪んでいったりしないんですか

2023-10-10 22:31:13

人類皆マネージャーやったりやらされほうになったりしとる

2023-10-10 22:31:38

漫然フリック入力

2023-10-10 22:35:55

賛成側の親知らず

2023-10-10 22:39:52

最初の頃はメモ帳でJava書いてたはずだけど、いつの間にか父親に教えてもらったCPadで書くようになってた

2023-10-10 22:42:07

初めてJava書いたとき、10進BASIC上がりだったのと英語っぽいから大文字と小文字区別せんやろwって思って雑誌のサンプルコードを全部小文字で写経し、普通にコンパイル通らなくてなるほどと思ったのを覚えている

2023-10-10 22:46:06

乳長おじさん……

2023-10-10 22:48:21

残高10桁ほしい!

2023-10-10 23:34:29

窮鼠クソネミ

2023-10-11 02:52:41

力尽きて寝て起きた

2023-10-11 02:57:20

ミ゜

2023-10-11 03:13:04

炒にゃん

2023-10-11 03:56:47

カビゴンを寝かしつけた

2023-10-11 04:46:24

ねるか

2023-10-11 16:30:56

おはあずにゃん

2023-10-11 17:23:50

高倉町珈琲店

2023-10-11 17:51:54

純粋な宗教家ってHaskellerのこと?

2023-10-11 18:19:54

FirefoxのTrack Protection、結構なクソ広告を弾いてくれて便利なんだけどAmazonや𝕏の埋め込みもロードされなくなるのが困る。もっと細かくカスタマイズしたい

2023-10-11 19:03:41
2023-10-11 18:50:26 まめもの投稿 mamemomonga@momo.mame.moe

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

2023-10-11 19:04:03

ECoG取りやすそう

2023-10-11 19:49:00

くり

2023-10-11 20:50:59

喫茶店、食事やおかわりでコーヒーは安くなりがちだけど紅茶は安くならないがちで悲しい

2023-10-11 22:38:37

これ百貫?

2023-10-11 22:39:14

ほえー

2023-10-11 22:45:40

Floyd-Warshall法で必要な3つの添字がすべて含まれていることで有名なDijkstra

2023-10-12 00:49:32

青森市内から大間崎まで往復すると300km強あるのか……思ったよりヘビーな感じだ

2023-10-12 01:08:14

@brsywe 青森までも運転するつもりで考えてたけど、普通に観光するならレンタカーでないと日数食いすぎてヤバい気がしてきた

2023-10-12 01:09:24

@brsywe 一リアル

2023-10-12 01:15:05

@brsywe 検索したら下北半島のすべてを含んでいるっぽい1泊2日のモデルコースが出てきた aomori-tourism.com/itineraries

下北半島満喫コース|モデルコース|【公式】青森県観光情報サイト Amazing AOMORI
2023-10-12 01:19:04

死の彷徨じゃん

2023-10-12 01:29:01

@brsywe 観光しながら下道300kmは微妙なラインなんよな。まあ走りやすそうではあるし、ドライバー2人立てればいけるか

2023-10-12 01:33:43

@brsywe 行くにしても11月前半だと思うので雪はまあ大丈夫だと思ってる

2023-10-12 01:37:15
2023-10-12 01:35:46 Izumi Tsutsuiの投稿 tsutsuii@social.mikutter.hachune.net

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

2023-10-12 01:37:22

このておくれって人11年前から同じようなことしか言ってないな

2023-10-12 01:50:15

もう朝か

2023-10-12 02:31:39

アカハナが静止する日

2023-10-12 02:34:15
2023-10-12 02:33:29 rinsukiの投稿 rinsuki@mstdn.rinsuki.net

でも実際アニメを見る気にもならずコードを書く気にもならずSNS見て数時間溶かすとかよくありません?

2023-10-12 02:34:29

その術は俺に効く

2023-10-12 02:38:59

インターネットをボーっと見て時間を溶かしがちな人が相互監視する会が必要

2023-10-12 02:39:31

それってMastodonでは?おわりです

2023-10-12 02:40:44

こんな終わっているコミュニティにいられるか!俺は部屋でコードを書かせてもらう!!

2023-10-12 02:47:48

フリーレンになりたい

2023-10-12 02:50:36

気づいたんだけど、SONOSからソフィーのサントラ流すと部屋がアトリエになるのでは?

2023-10-12 02:52:50

白地図をてにが流れてきたのでもう旅のことしか考えられなくなりました

2023-10-12 03:42:06

GitHub Copilot chat賢すぎる

2023-10-12 03:54:52

カビゴン寝かしつけたから日記書いて寝るか

2023-10-12 04:01:31

@toshi_a おはよう、ておくれ!

2023-10-12 04:05:59

@toshi_a つついさんがまた掘り返してて懐かしくなった

2023-10-12 13:10:57
2023-10-09 19:45:48 kb10uyの投稿 kb10uy@mstdn.maud.io

1703084 - Youtube Chinese comments keep showing "READ MORE" bottom while Firefox and youtube is in English
https://bugzilla.mozilla.org/show_bug.cgi?id=1703084

1703084 - Youtube Chinese comments keep showing "READ MORE" bottom while Firefox and youtube is in English
2023-10-12 13:11:37

𝕏が無限にShow more出してんのこれか……

2023-10-12 16:36:58

なんか体調わるにこだな

2023-10-12 16:39:07

今二郎食ったら胃の内容物全部出して胃カメラの準備できちゃう

2023-10-12 17:23:22

フルタイムのsmhn管理者としてあひるを雇おう

2023-10-12 17:24:54

誰かが通報されるたびにアラートで叩き起こされるあひる

2023-10-12 17:34:23

爆音のkb10uyコールで起こされるあひる

2023-10-12 17:34:34

kb10uyってなんて発音するの?

2023-10-12 17:35:16
2023-10-12 17:34:44 kb10uyの投稿 kb10uy@mstdn.maud.io

kay bee jough you why

2023-10-12 17:35:28

そのまんま(?)だった

2023-10-12 17:51:11

そみはねっとちょっとすき

2023-10-12 17:52:37

ていうかよく考えると「そーしゃる・みくったー・はちゅね・ねっと」をすまほんって読んでるのがなんでやねんなんだな

2023-10-12 17:57:02

smhn.infoの影響もあると思うけどsmhnを普通に発音するとすまほんになるとは思う

2023-10-12 20:43:31

適格請求書発行事業者になる機運が出てきた

2023-10-12 20:45:15

不適格事業者

2023-10-12 20:49:01

車ほしいなら買うといいよ

2023-10-12 20:49:26

車を買うと→車が手に入る

2023-10-12 21:12:17

刺身食べたい

2023-10-12 21:16:07

刺身食べたいが冷蔵庫には豚肉しかない、ここから導き出される結論は……

2023-10-12 21:55:08

あずにゃん

2023-10-12 22:01:21

極限の概念なしに「アキレスは……亀に追いつけない」を反証することはできない(単に困難なだけかも知れないがよく知らん)という意味で、無限や極限の扱い方が整理されてなかった時代にはパラドクスであったという認識

2023-10-12 22:08:03

現代数学でも「アキレスは亀に追いつくためにはVitali set \ {0}の点をすべて通る必要があり(?)……」みたいな事を言い始めると追いつけなくできそう(?)(ほんまか?)

2023-10-12 23:58:05

アキレスと亀は1=0.9999...の「証明」ではなく、無限和 0.9+0.09+0.009... = 1 であると考えることの妥当性を示す例じゃないですかね(めんどくさいオタク)

2023-10-13 00:11:10

無限の性質として、数学的に妥当な推論から導かれる定理が物理的に観測される事実と一致してほしい、という素朴な要請を所与のものとすれば証明と言ってもいいのか?

2023-10-13 00:12:32

なんか高校レベルの極限概念そのものっぽいな

2023-10-13 00:27:15 2023-10-13 00:27:22

サブレディットに含まれるサブレ

2023-10-13 01:27:03

キーボードでローマ字入力かかな入力か議論するレベルの人はそもそもストローク数がボトルネックではなさそう

2023-10-13 01:27:44

漢字変換ってやつがカスなんですよ

2023-10-13 01:29:32

バイナリ直接入力しても書きはともかく読めるようにはならんのでは

2023-10-13 01:32:20

森羅万象をStirlingで読み書きする人だ

2023-10-13 01:32:46

令和の人はバイナリエディタ何を使ってるんですか?

2023-10-13 01:34:44

bvi一瞬使ってたけどよく分かんなくて一瞬でやめた記憶がある

2023-10-13 01:37:55

ImHex、よくわからんけど見た目がめちゃくちゃ便利そう github.com/WerWolv/ImHex

GitHub - WerWolv/ImHex: 🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
2023-10-13 01:39:23

Bz使ってました

2023-10-13 01:42:50

ImHexのスクリーンショット、なんか変なフォントとWM使ってるのかと思ったら全部自力で描画してんのかよ!!

2023-10-13 02:20:02

沖田とし

2023-10-13 03:18:07

明日燃えるゴミの日だから生ゴミ出そーって言って生ゴミまとめてダストボックスに持っていったところで燃えるゴミの日が明後日であることに気付いた

2023-10-13 04:04:18
2023-10-10 20:39:13 ウミロクの投稿 umiroku@misskey.io

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

2023-10-13 04:04:39

このあずにゃん見たことある気がする

2023-10-13 04:05:35
秋の日の中野梓 [skeb]
2023-10-13 13:06:52

日曜雨ってマジ?

2023-10-13 14:33:35
2023-10-13 14:13:55 Ixy(いくしー)の投稿 ixy@misskey.io

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

2023-10-13 14:44:49

あずにゃんにマネジメントされたい

2023-10-13 14:45:11

無知の知

2023-10-13 15:02:55

2023-10-13 15:04:55

違法二郎やめな

2023-10-13 15:08:17

蝶のように舞い、蜂のように刺し、一人ぼっちで死ぬ

2023-10-13 15:22:09

鼻の奥にニンニクが入った気がする、終わった

2023-10-13 16:19:02

やるきーでろー

2023-10-13 20:29:51

棚ができたな

2023-10-13 20:31:06

ソフィーの杖に付いてる玉取れてるやん

2023-10-13 20:34:22

いのちのかがやきくん、令和ベストバイです

2023-10-13 20:42:43

@brsywe いのちのかがやきに罪はないから……

2023-10-13 21:13:40

QuestはともかくReactを使ってプライバシー情報を引っこ抜かれることはないから……

2023-10-13 21:56:48

また身に覚えのない荷物がつついさんから届いた……

2023-10-13 21:57:41

とのことです

2023-10-13 21:59:52

まあ野崎昭弘だし雑なことは書いてないとは思います

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

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

2023-10-14 00:27:46

最悪のすき家

2023-10-14 00:28:24

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

2023-10-14 00:38:16

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

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

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

2023-10-14 00:41:59

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

2023-10-14 00:45:47

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

2023-10-14 00:58:30

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

2023-10-14 00:59:48

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

2023-10-14 02:14:00

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

2023-10-14 02:33:45

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

2023-10-14 03:40:00

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

2023-10-14 13:32:59

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

2023-10-14 15:00:44

うーみほーたるー

2023-10-14 15:01:11

幸せになりました

2023-10-14 15:30:34

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

2023-10-14 15:30:57

ピーナッツソフトうまい

2023-10-14 15:39:27

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

2023-10-14 16:24:08

うし

2023-10-14 17:12:48

勝浦タンタンメン

2023-10-14 17:15:22

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

2023-10-14 18:55:09

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

2023-10-14 19:01:04

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

2023-10-14 19:17:20

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

2023-10-14 19:18:22

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

2023-10-14 20:20:40

おたくきたく

2023-10-14 20:21:45

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

2023-10-14 20:30:22

みんな違ってみんな違法

2023-10-14 20:35:41

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

2023-10-14 20:35:55

追い抜きならともかく

2023-10-14 20:38:42

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

2023-10-14 20:45:42

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

2023-10-14 20:47:46

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

2023-10-14 20:54:30

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

2023-10-14 20:59:40

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

2023-10-14 21:01:50

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

2023-10-14 21:02:56

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

2023-10-14 21:21:17

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

2023-10-14 21:36:23

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

2023-10-14 23:06:55

導関数に感謝

2023-10-14 23:17:38

岡山行きたいねえ

2023-10-14 23:40:32

リアル絶日空就航

2023-10-14 23:55:25

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