ConcurrentとParallelを並行と並列って訳したのがかなり良くない感じがしてきた

子作りから夜のおかずまで

@akahana それもまた人生

ちょうどこの前調べたんだけど、資金調達のシリーズほげはだいたい会社の事業ステージに対応する名前らしい https://expact.jp/series-a/

また1日虚無をしてしまった

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

JASRACまた暴れとるんか

ユーザーサポートはさておき、ConoHaはコントロールパネルが信じられないほど遅かったので1ヶ月試して使うのやめた

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

増原先生じゃん

モニターはインチがどうの以前に対角線の長さでサイズを代表させるのが意味分からん

4:3オンリーの時代を引きずって対角線の長さを表示し続けてるならマジでただのカーゴカルトじゃん

縦横以外に興味ないし、そもそも縦横比を固定と思うなら縦か横の長さでも良いはず

ほぼ物理的価値のない、ただのランク付けである対角線の長さを一番目立つように宣伝されても困る

Web3に詳しい人が来たらマイナー埋め込まれちゃうよ

JS部分の日本語化けてるけどこれほんとにutf8?

インターネットってやつは本来これくらい素朴であるべきと思い出させてくれるいいページ

lbsと並ぶ初見殺し単位、cc

ccってcubic centimetreなんだ

1cm*1cm*1cmって1mLしかないの直感に反する（もっと大きそう）

1mLの感覚がバグってるのかな

これも分かるし、1cm^3とは逆に過小評価になってるのもヤバい

華氏とヤーポンは目盛りがいい感じに細かいから日常生活ではSIより便利なんだよな

食品の熱量はあんまり他の概念と接続しないからカロリーでもジュールでもたいして変わらん気持ちだけど、近しい概念のはずの電化製品や電子レンジの出力はWなんだよな

食品の熱量をジュールで表記する文化圏では家電の出力との関係をうっすら感覚として獲得してたりするのかな

ねこみみもみもみ

@teobot Zornの補題からTukeyの補題を示すための方針を教えて

@teobot 帯順序集合って英語だとなんていうやつ？

@teobot 話を戻すけど、Tukeyの補題でいう極大元って有限集合とは限らなくない？

@teobot あーーTukeyの補題の有限性ってそう見るのか、分かってなかった

相互初狩り

だもんげ、知らず

@teobot だもんげって何？

嘘ではないんだ

@teobot ネットミームの文脈ではどういう意味があるか知ってる？

@teobot よくあるZornの補題だと半順序を仮定して「少なくとも1つ極大元をもつ」ことを証明するけど、もうちょっと強くして「任意の元aに対して、 a<=m なる極大元mが存在する」ことを言うことはできる？

そのアイコンは著作権クリアなんですか？

@teobot その場合でもaと関係ある領域では a<=m となる極大元が存在することは言えるんじゃない？

@teobot そうだよね。で、これを言うためには普通は超限帰納法で具体的に極大元を構成する必要があると思うんだけど、そうじゃない証明の仕方ってある？

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

これすき

もみじおろしって普通に知ってるもんじゃないのか

@teobot もみじおろしって知ってる？

刺身につけるのはあんまり見たことないな

PSI未だによくわかってない

日本でもタイヤの空気圧ってpsiなんですか