長谷川由紀路 @ailinko@vocalodon.net

萌えアニメとかとくにこの１０年でかなり進化してると（思うんだけれど）そういうの全く無知なのに、いまどき『かんなぎ』とかセレクトするのもなぁ‥　みたいな（『かんなぎ』が入るとは言っていない）。

今が令和であること忘れつつあるけど、平成が終わったのに、そういえば平成アニメベスト１０とかやってなかったが、ここ１０年くらいテレビアニメはご無沙汰なのであまり乗り気になれない。

何か当てると、半世紀くらいはそれで、なんとかなったりするんだなぁ...　と。

テレビでその商品の特集があるときは、高確率で家にテレビ局が来る。

家は、世の中の流通する“ある商品”を最初に出したので、別に特許とかはないが、ま、いまでもそれで生計が成り立っている。

#ボカロ丼自己紹介タイム　一日に何度も「well-defined」という概念が頭の中をかけめぐる現代思想家かもしれない長谷川です。

救急車。

これっすね。

https://twitter.com/Mathworld4/status/1192002714135187462

わりとうまく説明出来た気がする。

１より“ひとつ小さい”数を考える。まず 0.9 が思い浮かぶが、すぐに 0.99 があることが思い浮かぶ、そして...

0.9
0.99
0.999
：

これは無限に存在するので「１より“ひとつ小さい”数」は存在しないことがわかる。つまり「１」という数は、0.999… の有限個の９で到達できない最小の数と定義することが出来る。すなはち...

0.999…∞ = 1

となる。

巨大数には、二つの部門があるとされてきました。「計算不可能関数」と「計算可能関数」です。後者は前者に絶対に強さで勝てないことが知られているので別の部門とされています。さらに、最近、「計算可能関数」も一枚岩でないことがわかってきました。例えば『欲張りクリーク列』という関数は、「許容する公理を強くすればするほど強くなる」そうですが、ＺＦＣ公理系でそのwell-defined性が証明が出来ないので、ＺＦＣ公理系における巨大数と、そもそも大きさの比較が出来ないことがわかってきました。

今はマカ―ではないですが。

マッキントッシュはHDDのパーティションの概念はそもそも聞いたことなかったけど、メモリをアプリケーションで、初期設定で割り振るのはしてましたね。

無限ドライブ、マイリストしてた。

Aドライブ
Bドライブ
Cドライブ
Dドライブ
：
ωドライブ
：
ε_0ドライブ
：
ω^CKドライブ
：
ω_1ドライブ
：

Cドライブしかないです。というかわけるという概念が私にない。

サウスフィ―ルドの８０００円くらいの登山靴って３つ買ったけど、長くて３カ月だった。1カ月ほどで潰れるのもある。で、キャラバンの一番安い１５０００円くらいのにすると、１年以上履いても壊れない。

私も軽い気持ちで絵は描きませんね。他は余裕です。

飲み会って２次会まではいいんだよ。３次会で大先輩の行きつけのスナックに行くのはつらい。ママってさ...　スキあらば説教したがるひといるので...。

２年前の１日研修旅行はビール冷やし過ぎてシャリシャリだったんだよなぁ。昨年は、豪雨災害があったので中止。