statement_20230901.pdf https://www.kokuhoken.or.jp/jsdh/statement/file/statement_20230901.pdf
食器を共有して親の唾液が子供に渡ることになっても虫歯リスクとは大して関係ないらしい
らりお・ザ・何らかの🈗然㊌ソムリエ(@lo48576@mastodon.cardina1.red)님의 게시물
statement_20230901.pdf https://www.kokuhoken.or.jp/jsdh/statement/file/statement_20230901.pdf
食器を共有して親の唾液が子供に渡ることになっても虫歯リスクとは大して関係ないらしい
椅子の上で5時間気絶してしまい、今日の睡眠もうこれでええか……？ となっています
私はロボットではありません | NHK | WEB特集 | 教育 https://www3.nhk.or.jp/news/html/20230904/k10014183241000.html
500円の弁当を1割引としたら、10分割したうちの一つを引けばいいから450円になる。
ところでこの世界に6進数しか知られていないとしたら、500円の1割引はおなじように6分割したうちの1を引けばいい。
500/6=83.3333...(83+1/3)なので 500 - 83.333... になりそうだけど、83.3333...がそもそも10進数の値である。この世界には6進数しかしられていないから、数字の0を使うとして6〜9は存在しない(「6等分」の概念はどうやって表現するのだろう...、0を使うかどうかは好みだけど)。
6進数世界で、500の一割はなんになるか？がぱっとわからない。500を5分割したら100なのは自明だが、500を2で割ると、250ではなく230である。500の一割引は50を引けばよく、410になる。
この計算、まじでわからなかったんだけど、10進数という装置がかなり内面化されている。1が6個あれば10(1x6=10)と表記される世界だから、5が6個で50(5x6=50)で、50x6=500だし、500/6=50になる。いやここで6がでてくるのはどうなんだって感じだけど...。6は10と表記されるので、表記を直すと5x10=500、500/10=50となって、10進数と見わけがつかない。ただ、500から50を引くと6進数だと410になる。この世界では6〜9の数字は知られていないから、「1割引とは6分割して1つ引く」を言いなおせば、「1割引は10分割して1つ引く」ことになる。6進数も存在していなくて10進数である。我々が10進数だとおもっているものは、この世界の住人から見ると14進数になるとおもう(合ってる？)。
10を半分にしたら3になる(10 / 2 = 3)というのがまずわからなかったけど、これを理解するためには頭のなかに数直線をつくり、6分割して[0,1,2,3,4,5,10]の目盛を振り、真ん中にあるのが3なので10を2で割ると3になると理解できたんだけど、たぶんこうやって理解しますよね？内面に数直線作りますよね？
2進数と16進数で訓練したから10進数の内面化はそれほど感じないけど、計算が楽かはまた別の話ね……
あと人々、案外24進数とか60進数を使っているため、実はそこまで10進数で頭が固着しているわけでもない。数字が足りなすぎて位取り記法が素直じゃないという問題はあるけど
2分00秒を5で割ると0分24秒になる、みたいなこと
よくわかんないけど、1割って表現がまず10進なんだから、10進で考える事をまずやめないと駄目かも？＞＜
オペレータとオペランドの基数を揃える必要は必ずしもないような (部分適用だけど)
部分適用ってのは、「掛ける」というオペレータと「0.1」というオペランドを合わせて「0.1を掛ける」という新しいひとつの演算をつくること
16進数を扱うときだって「15 (10進数) を足す」みたいな考え方は自然にするし
This account is not set to public on notestock.
ここでいう「割」は一般に数学文脈で定義を与えられたものではなく慣習的なものだから、基数に関係なく 1/(1+1+1+1+1+1+1+1+1+1) として良いのでは？
……と、ここまで考えて 1/10 と 1/100 と 1/60 が混在している「分」とかいうクソ単位を思い出した
ここで「10進数の内面化」と言われているものの本質は「10進数の位取りに最適化された省力計算」なのかなと思った
簡単な例で言うと「5で割ると2倍して小数点が移動する」みたいなやつ (の、「小数点が移動する」の部分)
それはたとえば「筆算」のような具体的な計算方法の要求であって、計算式自体をそのように表現しなければいけない必然性はないと思う
無論、混在させるなら基数は明記してねとはなるけど。
たとえば「『n』は14番目のアルファベットだから 0x40 に 14 を足して……」みたいな考え方は完全に正当だと思う
This account is not set to public on notestock.
「00」から「59」までの60種類の digit ですよね
「仏」が「イム」ではなく一文字なのと同じです (若干詭弁くさい)
航空英語の世界では、10進の小数点を「デシマル」ってちゃんと言うの、そういう混乱で人が死ぬ分野ではちゃんと明示的にしようなので・・・・・あれだよね＞＜(語彙力が足りなくて明示的じゃなくなった文章)
え、それって fractional part の同義語としての decimal part に由来するやつで、直接的には10進数の明示とは関係ないのでは？
fraction には「ちょびっと」的な意味 (破片とか断片とか) があるので、そういう日常語彙として使われうる言葉との競合を嫌って decimal part の decimal をとったと考える方が自然に思われる
This account is not set to public on notestock.
たとえば「『5分』の “60進1割” は『5秒』」みたいなのは直感的に受け入れられると思うので、やっぱり単にその後の引き算が面倒なだけな気はする
https://mastodon.cardina1.red/@lo48576/111014807472197790
個人的には「1割」は文脈に無関係に 1+1+1+1+1+1+1+1+1+1 進法における ×0.1 のみを指すと考えるのが良いという立場だけど
0x500 * 0x10 =0x5000
0x5000 - 0x500 = 0x4B00
0x4B00 / 0x10 = 0x4B0
？＞＜(？＞＜；)
「補数」という概念があるので、そいつを使って単純化することはできる
足してnになるような数が「nの補数」。
10進数50の10進1割は5で、5の10の補数は5だから、引くと45になる。
16進数の50の16進1割は5で、5の16の補数はBだから、引くと4Bになる。
60進数の5分00秒の60進1割は5秒で、5の60の補数は55なので、引くと4分55秒になる。
This account is not set to public on notestock.
「A」というプログラミング言語がこれ (いわゆる “1進法” で想像されるような表記) をやっている
n進数表現でのn進の1割(1/n)引きは、
n倍(左シフト)して、n引いて、nで割れ(右シフト)ばおk
だよね？＞＜(大混乱)
This account is not set to public on notestock.
オレンジは小学生の時からむしろそうとしか考えてこなかった＞＜(担任の先生か親から桁の概念を習った時にそう教えられた＞＜)
This account is not set to public on notestock.
子供を小数概念と出逢わせないための涙ぐましい工夫を感じ取った
10で割ったものを引くと、小数による減算が発生しやすいから……
ていうか、単に文章が明示的じゃなかったからみんなで大混乱しただけかも？＞＜
その強い暗黙性こそが、つまり「10進法の内面化」ってやつなのだ、というのが元ネタの話という理解
いま気づいたけど、なぜか らりおさんのtootがnere9に反映されるのに10分以上かかってて、昔の衛星中継というか時空を越えた議論みたいになってる？＞＜；
最近横蹴りが詰まり気味と思ってたけど、やっぱりか……
queue をひとつにまとめているので、たぶん何かの push が詰まっていそう
サーバ止めるならフォロー全解除してからにしてほしいよなぁ
オレンジ方式の理解、お約束の「おにぎりとおにぎりをくっつけたら大きいおにぎり1個じゃん！ なんで2なの！？」って混乱が生じにくいであろうってメリットもある気がしてるし、
「とにかく複数の数値表現等はまず揃える」って「型が違うものを型を考慮せず不用意に計算するとヤバい事になる」にも繋がるし、
オレンジが「型システムは明示的でガチガチな方がいい！＞＜ PythonやRubyみたいなのをは欠陥システム！＞＜＃ 」って発想になった源流のひとつでもある気がしてる＞＜
0xf だろうが 0x0F だろうが 15 だろうが 018 だろうが、本質的にその意味が15である (内部表現) 点に違いはなく、記法の揺れは外部表現の差にすぎない。型は内部表現を気にするときの概念であって、外部表現を型と強く紐付けるのは文法的な作法でしかない
This account is not set to public on notestock.
12.3と1.23って固定小数点の発想で見たら型が違うとも言えなくもないし、
12.30と01.23にしたら『「10進で4桁でそのうち下の2桁は小数点以下」型』に型を揃えたと言えなくも無さそう？＞＜；
これは型に値をエンコードするかどうかの違いで、メンバ変数に単位を持つか型引数に単位を持つかみたいな
外部表現のバリエーション情報を型にエンコードできるという意味では、まあ文法的な話も意味論レベルで強制はできる (ような言語もある) とはいえるか
固定小数点数と浮動小数点数が外部表現は共通化できても内部表現は違うじゃんみたいな話は、それこと文法しっかり設計しろ案件でしかないので……
自明な追加処理でパフォーマンスが云々とかいう人、コンパイラがとてつもなくバカな時代の人かなという感じがする。令和の今になってもまだコンパイラより自分の書くアセンブリの方が高速だと盲信してそう (SIMD の話はしてない)
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
TELNET 怪文書をネタだと思う人間は物事を論理的に考えられないし、マジだと思う人間は論理的に考えすぎでバランスが悪い
This account is not set to public on notestock.
ertonaはメディアをS3に逃してなかったら多分毎秒埋まってた
6進数、かなり便利そうなのに、ちょっとググったけど、6進数サポートライブラリみたいなものをどの言語のも全く発見出来なかったけど、なんでだろ？＞＜；
10÷3 (10進数) が割り切れなければ 14÷3 (6進数) もまた割り切れないし、そこに「n進法を使ったから幸せになった」的なありがたみはない。どうせ内部表現は同じだし
人間界で60進法や24進法が有難がられるのは表記の由来ではなく、単に分割前の総数を5や6の倍数にしているからに過ぎない。60進法だろうが6進法だろうが10進法だろうが、60(10進数) が分割しやすいことに変わりはないのである
「6進法が便利」なのではなく「6の倍数が (日常生活には) 便利」というだけ
では日常の文脈で6進法と60進法のどちらが便利か考えてみると、因数の数が同じならそれらの大きさがある程度ばらけている方がステップをうまく刻みやすい。
2と3は近すぎるし位の上がり方が早いので、2の次が5である方が日常では桁数の上がり方のバランスは良い。6でも10でも因数が2つであることには変わりないのだし
3つ以上で考えるなら、2,2,3 で12進数とか 2,3,5 で30進数とか 2,2,3,5 で60進数とかが考えられるが、30と60はだいぶ飛んでしまうのでやはり10か12がスイートスポットだろう
六進法 - Wikipedia https://ja.wikipedia.org/wiki/%E5%85%AD%E9%80%B2%E6%B3%95
"分数を六進法の小数に変換すると、「二分の一」と「三分の一」が小数第一位、「四分の一」と「九分の一」が小数第二位、「八分の一」と「二十七分の一」が小数第三位となる。つまり、2-nと3-nがそのまま「小数第n位」になる。しかし、五分の一だけが割り切れず、循環節が一桁になる。"
って事は、やっぱ1/3を使いまくる分野で、なおかつ1/5を使わない分野？＞＜
では意味があるんでは感・・・＞＜
ひとつ本質情報ですが、整数分割を正しく扱いたいなら小数点表記ではなく有理数表現を使うのが普通だと思います (あるいは「1と1/3」みたいな帯分数表現)
over SSLなのに文字単位で送ってくる理由は？ 情緒？
https://twitter.com/dnobori/status/1699271464472723644
http サーバですら脆弱性のリスクがあるのに、 TLS ハンドシェイクなんて複雑なことしちゃってええんか？
リカバリ領域みたいに用途が違うならともかく、Linuxまるごと/に入れるのの何が良くないのか分かってないという話です
This account is not set to public on notestock.
わざわざ同じ物理ディスクの上でパーティション分ける理由あんまり分かってない
filesystem の予期せぬ破損に耐性をもたせたいというのと、用途によって filesystem を変えたい場合があるというのと、 /home が食いすぎてシステムが圧迫されて詰むのを阻止したい (システムはログとユーザ生成のデータ以外でそうそう激しく肥大化しないため) とか、まあいろいろ
/と/usrでパーティションを分けるのは1台のディスクでは足りなかった頃の名残だけど、巨大なパーティションだとfsckに時間がかかるなどの不便もなくはない。あと、OpenBSDだとカーネルである/bsdファイルがファイルシステムの先頭何ブロックだか何バイトだかにないとブートローダーが諦めるので巨大な/を作ると何回目かのカーネルアップデートで偶然後ろの方に書かれると突然起動しなくなるとか昔聞いたけど特定のarchだけかもしれない。
/usr を分けるのそういう話だったの。 rootfs をブートローダから見えるようにしつつ他のリソースは複数のワークステーションでシェアしたい的な話かと思ってたわ
/homeとか/usrとか/varとかは分けてても結局一杯になるときは一杯になって終わるので本当に歴戦をくぐり抜けてきた猛者は/rootを分けておく（適当）
btrfs とか zfs の時代になると /root のために数GBの領域を reserve しておく (逆 quota とでもいうか) などができるようになり、便利
friends.nico の .nico が完全に忘れ去られている光景を見た
そもそも /usr は本来 user のためのディレクトリだし FreeBSD では未だに /home は /usr/home へのリンクになっていて、関連して NFS を使ってマシンを越えてユーザー環境を共有するのに /usr 配下に bin や lib や share のような本来 / にあったものとそっくり同じ構造をそのまま /usr に置くように、みたいな話がある
ディスクがいっぱいになって工場が止まるのはこわいが、ディスクがいっぱいになっても工場が止まらずにデータベースの記録と実際に作った製品が一致しなくなるのに比べたら止まってよかったかもしれない。
Linux 本体、が kernel のことだとして、いまどきの Linux は vfat でも exfat でも mainline supported なのでべつにシステムぜんぶ vfat に置いてもいいです
vfat 上のシステム嫌すぎる、パーミッション全部潰れてそう
vfat rootfs、パーミッションやxattrが消えて終わるでしょ
This account is not set to public on notestock.
This account is not set to public on notestock.
こういうのは避けたいけど Windows ユーザーが簡単にシステム更新したりするのに SD カードからやる必要が、とかなんとかいろいろあるので、折衷案で initramfs とカーネルを配置したらそこから on-memory で起動するファームウェア更新プログラム、とかはあると思う。まあそういうときに FreeDOS と謎の COM バイナリ、というほうもよくみるけど
This account is not set to public on notestock.
5(個) (つまり1箱) を全量としたときの比率3(無次元)、ということで 5(個)×3(無次元)=15(個)、という感じ？
This account is not set to public on notestock.
かけ算の順序問題は死ぬほどどうでもいいなと思ったけど， lim∫と∫limを思い出して数学者にクソデカ鉞投げつけられるなと思った
この辺りをちゃんとした数学用語でなんて言うのかを教えてくれる数学つよつよな人を募集してます＞＜(？)
https://mstdn.nere9.help/@orange_in_space/111016055661536893
https://mstdn.nere9.help/@orange_in_space/111016167562097141
これ基数を最大公約数で割った周期になるだけでは？
6進数で4なら gcd(6, 4) = 2 なので周期は 6÷2 = 3
公約数のぶんのステップ数は周回で1周するとぴったり戻ってくるので飛ばされた部分は絶対に訪問されない。
たとえば10進数で5の段を考えると最初にスキップされる12346789は絶対に訪問されないから、5で割った結果になる
8進数での6の段なら、公約数の2ずつスキップしたぶん (1357) はいつでも飛ばされるから8を2で割って4周期
60進数での24の段なら、公約数の2や3や4や6や12ずつでスキップした分はいつでも飛ばされるから、そのうち最大の12で60を割って5周期 (24, 48, 12, 36, 0)
つまり、b進法でmの倍数 (ただし 1≦m＜b) を小さいものから並べたとき最小の位の値の周期は、 b/gcd(b,m) の長さになる
一応補足すると、sずつでスキップしたときsで割るというのは、「sずつでスキップする」が「s個のうち1つだけが訪問される」ことを意味していることに由来する計算
最大公約数で割るのそんなに難しいじゃろか……？ 意味の面で見てもかなり直観的に思えるけど
ところで、今のFreeBSDにはデフォルトでは/usr/homeはないよ。昔はあった気がするけど。今は全部/homeだね。
そりゃまあ2の累乗進数をサンプルにしてしまったら、奇数との最大公約数は1なんだから規則性が見えてしまうのは当たり前では
一度100進数とかで考えてみると良いと思います
100だと約数のバリエーションが増えるので (2, 4, 5, 10, 20, 25, 50)、最大公約数と互いに素な因数の関係が見えやすい
10進数で7の倍数は、7,4,1,8,5,2,9,6,3,0,7 の順に線を結ぶ
こうすると、「最大公約数は『同じ数列の繰り返し回数』になって、残りの (互いに素な) 約数の影響は『繰り返しの周期』になる」というのが読み取りやすくなる
公約数になれなかったやつの影響は「『余り』でシフトされて続きを刻む」という形になるので
님의 게시물
SendohOroka@vivaldi.net
This account is not set to public on notestock.
Animate でやっと何が起きてるのか理解した、これはずるい
popcnt とか lzcnt のようなビット単位の演算は、ソフトウェア実装すると案外 O(log n) (nは整数型の幅) とかになってしまうからね……
お気持ちとしては、 32要素とか64要素の配列に対して SIMD でどうにか頑張っている気分に近い
This account is not set to public on notestock.
