BASIC くんはまだ数 C で生きてんのかね
流石にプロ教を機に死んだと思いたいが
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.
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.
This account is not set to public on notestock.
sucが直後(succesor)関数であるとき、
suc(フレンズチホーn) = フレンズチホーmならば、m > n を満たす。ここで m = suc(n) とは限らない。
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.
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.
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.
自分のがおーはインターネッツから受信しないでブラウザ内で完結するからその違いと思われる
時空の歪みはちほーインターネッツで起こるので自分からは観測できない
さぶゑいは自分の投稿でもわざわざインターネッツから取得するので時空の歪みの影響を受ける
時空の歪みはストリーミング(PUSH)でのみ起こるので、再読込みを行う(PULL)と解消できる
でがおー編集は PUSH を送ってくれない(または時空の歪みで PUSH が遅れまくった)のではないかと睨んでいる
愚直にappendするほうが桁数を求めてから内包表記で求めるよりも早そうということがわかった
まあ 3 のべき乗だしな 二進法なら結果は違うかも
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.
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.
This account is not set to public on notestock.
This account is not set to public on notestock.
よし Crazy 演算によるメモリの初期化が 6 ワードごとにループすることが証明できたぞ
LAMBDA 関数で作った Excel 用 Crazy 演算(トリット単位)
= LAMBDA(x, y, IFS(x = 0, IF(y = 0, 1, 0), x = 1, IF(y = 2, 2, 1 - y), y = 2, 1, TRUE, 2))
ぐちゃぐちゃすぎて草
This account is not set to public on notestock.