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

最近、巨大数界隈に、中学１年生の方が投稿をはじめて、まあ、それが、年相応で、いろいろ問題を乱発してたんだけど、さすが同年代ですね...　別の中学生の巨大数研究者の方が...　絶妙に補助線をひいて上げてて...　その、後者の方は、大学の数学科の人だと思えるような知識量で、私も何度も集合論などについて教えていただいたのですが... 　中学生といっても色々で、感慨深いですね...

理論Tで理論Sが証明可能であればT≠Sである。なるほど。

ソースは証明論のガチ勢
https://twitter.com/Alwe_Logic/status/1491153056293355521

あるある。

❶　フィギュアは２万円くらいする。
❷　１カ月に１個なら買えるかな？
❸　フィギュアは発売が概ね遅れる。
❹　今月、２万円余裕が出るので使う。
❺　結局発売月がかぶり、あみあみから５万円程の宅急便が届く。

少し前は９０００円くらいがスケールフィギュアの高級品だったんだけど、今はそれでは利益が得られないので、安物で１万円くらいで、普通が２万円くらいで、高級品は３万円以上という世界観なので、普段買わない人は心得ておきましょう。

陸ルートスーツといっても、砂漠用と熱帯用では全く違うし、山岳踏破用だとか、色々あるのですよね。

何があったの...　豊作すぎません？　これから初音ミク、どどどど、どうなってしまうのおおおおおお～（アヘ顔）！

初音ミクの音楽の視野が広がりを見せ始めたようですね。

やたらと粉雪がラジオで流れるんだけど、初めて聞いたのがミクカバーなのもあるけど、ミク版の方が感銘が深い。とくに「こなああああああゆきいいいいいい」の部分は。

バルブを開くとき、いきなり開けてはいけません。バルブの向こうの配水管に水が満ちていることを確認しましょう。満ちていれば開いて大丈夫です。満ちていない場合は、毎分１００リットルほど流れる程度にバルブ開けて水を張りましょう。一気に水を流すと配水管が裂けます。水張りに数時間かかることありますが、裂けたらもっと時間がかかります。

バルブは「ハンドルがついている」やつと「ハンドルをさすやつ」の２種類があります。

前者は蛇口などと同じく反時計回りですが、後者は時計回りは「開き」ます。

バルブを「開閉」したときは、必ず半回転くらい戻しておきましょう。水圧でバルブが硬いときがあります。そのため「閉じている」または「開いている」と勘違いして、数人がかりでバルブを逆回転したりすると、捩じ切れます。

初音ミクにはいろいろあって、V2とかV3とか、最近はNTなんてにも登場したけど、いわゆる公式ライブ以降、初音ミクは一意なキャラクターみたいな“共同幻想”が強まったのではないかと私は睨んでいるけれど、実の所、ガンダムにもいろいろあるように、たとえばRX-78ガンダムとサナリィ製のF91が、全く異なる存在であるように、さらにメタ的に言うと『機動戦士ガンダム』と『機動戦士ガンダSEED』は全く別の作品であるように、例えば『初音ミクNT』なんかは「あ、これはＳＥＥＤとなんなんだな」という構え方をすればいいという事に気付いた。

朝のニュースで海外の田舎の伝統文化の特集を見て。

伝統文化が途絶えてしまうことは、私は大きな問題ではないとは思うのだよね。

復元すればいいだけだから。

ただ、復元したときにかなり違うもいのになってしまう可能性はある。

でも、問題ない。

誰もわからないから。伝統文化を復元したという事が重要で、おそらく２０~３０年もすれば、復元したものをだれも疑わなくなる。

映画通ではないから他に糞映画いっぱいあるはずなんだけど、私の知る範囲では高名な「死霊の盆踊り」がダントツで１位...

この映画酷いわ...w

というポジティブな姿勢すらさせてくれない... 　第３者がこの映画の糞っぷりを語ってるのを傍観してるときの想像が最も楽しい瞬間であり、そっ閉じ系...　映画...

国産のクソ映画はわりと「この映画酷いわ...w」という楽しみ方ができる。

バグってハニー！　エラー出まくりまクリスティ！

今日は暇なのでボカロを聞く予定なのですが...　こんな文章を推敲してたら今日が終ります...

０は自然数に含むのか問題は考慮していて...

「最小の自然数より大きな最小の自然数」には「1」の記号が充てられている。

としたら

「最小の自然数より大きな最小の自然数...　2の誤植かな？」

となるので、

「最小の自然数の有限個の和で到達できない最小の自然数」には「1」の記号が充てられている。

としました。

これだと。「なるほど０を含む話か」となると期待しました。

つまり、最小の自然数が「1」だと「1の有限個の和」で到達できない自然数は存在しないので。話がかみ合わなくなるので。

「自然数」の概念と記号を分けて書きたかったので「自然数に0を含む」という記述ができない。

誤読無いように数時間かけて練った文章。

自然数を記述する方法として「アラビア数字」による「十進法」が世に広く普及している。これを「一般表記」と以下では呼称する。この「一般表記」において、例えば「最小の自然数」には「0」の記号が充てられている。また「最小の自然数の有限個の和で到達できない最小の自然数」には「1」の記号が充てられている。これら「一般表記」の記号の一部を使い、「任意の自然数」を無限通りの方法で記述するのが「ω番地数列」である。例えば「ω番地数列」では「3」や「5」や「7」や「11」などの、「素数に充てられた一般表記の記号」を全て「最小の自然数」に充てる記号として扱う。

のんのんケプラー（意味不明）

せっかく暇が出来たから２００７年のボカロ視聴を進めるか、積みＣＤを消費するか、などとぼんやりと思ってたらもう夕方だよ...

モノラルだから２個で１６７２万円。総重量１９０㎏。値段より重量に驚愕。ディーゼルエンジンくらい重いのでは？

https://www.youtube.com/watch?v=pURnMVIPiHE