個の構成法だと完備性示すのに選択公理使っちゃいたくなるけど、たぶん上手い具合に回避できるんだろう

肉眼、肉親、肉塊、果肉、人肉、受肉

確かに全部音読みか…知らんかった

表示名 boosted

肉のにくって読み方、音読みだったのか。
なんというか、にくって言う響きからものすごく大和言葉感が漂ってたんだけど、違ってた。

表示名 boosted

そういえば今日の午後にやってた話、ダイアルアップ接続を無理にOSIのモデルに当てはめるとしたら、物理層の電気的接続がPSTNの2線式ケーブルだとしたら、まずデータリンク層としてDTMFで回線交換を行うルーティング、その上にカプセル化された物理層の変調方式としてITU-T V.34とかV.90を使うアナログモデム、またデータリンク層としてPPP IPCP、でその上にTCP/IPが乗ってくると思うので、

ネットワーク層〜アプリケーション層
データリンク層(PPP IPCP)
物理層(ITU-T V.34等の変調)
-- トンネリング --
データリンク層(回線交換)
物理層(PSTN)
みたいになりそう

pixivログインできない…無限に消火栓とバスと信号機を選択させられる…なにこれ

表示名 boosted

@mathmathniconico いいえ,ちがいます。
登場した大人はこう↓考えたのです。
片方の子供は「$\frac{1}{2}$を取りたがっている」
もう片方の子供は「$1$を取りたがっている」
では,両方に〝平等〟な解決策は
$\frac{1}{2}$を欲しい子供には$\frac{1}{4}$を,$1$欲しい子供には$\frac{3}{4}$をあげることだ。

もちろん,普通の大人はこのように考えることはなく,始めの子供の主張どおり両者に$\frac{1}{2}$づつお菓子を与えるでしょう。これは極端な寓話ですが,しかしより複雑な状況における公平性に関しては,現実に似たような現象が生じてしまっています(本当に公平な主張をしている側が,不公平な主張をしている側へと世間によって譲歩させられてしまう)。

表示名 boosted

接続中は電話使えませんな、そんないまどきっぽいアレではないので

表示名 boosted

音を聞いていないと、モデムじゃ無くて人間が出ちゃってるとか、ヘンな音してるとかわからないじゃないですか(なので接続時だけ聞きます)

キャッチホン来ると切れちゃうので、使っちゃダメです。キャッチホンIIを(以下略)

ダイヤルアップはインターネットへの接続方式だからTCP/IPより下じゃないかな。接続中は電線は物理層になるんだろうか。

あまり覚えてないけど接続中は電話使えないとかあったような。いやDLとかで専有しなければ大丈夫だっけ?

ところでピーガー音だけど、別に鳴らす必要は無かったよね? といつも思うんだけど。それとも音の違いでエラーを聞き分ける強者がいたのだろうか。

ちなみに体積はほぼ表面側に集約されていくので、つまりそういうことだぞ

Show thread
表示名 boosted

$4 \pi s r$美人もたかだか等質3次元空間にしか良いツラできないザコ,っていうネタを考えたんだけど,数学的知識が足りなくて「任意の空間における球面」の簡単な数式を思い付けない。

表示名 boosted

八方美人は八方しか美人でないのでザコ

本物は4πsr美人

n次元球の体積も面積もだんだん小さくなるから、美人具合が表面的なものか内面的なものかはさておき、n=6くらいで押さえておきたい

人間が賢い知的生命体というのはたぶん嘘で、他の生物と明らかに違うのは徹底した模倣能力にあると思う。道化師であり愚者、ホモストゥルトゥス、ええやん

LEGOって一回組んだら硬すぎて外せないときあるじゃん? なんか専用の工具でもあるんかな

表示名 boosted

Homo sapiens sapiensが賢い人という意味なので、愚かな人間はHomo stultus stultus?

表示名 boosted

@cmplstofB $\mathrm{FeS_2}$が黄鉄鉱、$\mathrm{Al_2 O_3}$がアルミナで、アルミナに少量の$\mathrm{Cr}$をドープしたものがルビーなので、元ネタがあるとすればその辺りじゃないでしょうか。

というか、水銀とか入ってて大丈夫なんだろうかという気持ちが最初に来ますが...

表示名 boosted

Minecraftのレッドストーン,架空の物質なんだけど一部の工業系MODで組成式が設定されてるの興味深い。何を思ってこの組成にしたんだろう。工業系MODはかなり現実指向のMODだから,適当に元素名と個数を書きました,っていうのは考えにくいんだが……。

$$
\require{mhchem}
\ce{Si(FeS2)5(CrAl2O3)Hg3}
$$

reddit.com/r/feedthebeast/comm

表示名 boosted
Show more
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.