竹取の翁 @puellamagi810.bsky.social · 20hyoutu.be/Qy8fPqGfzWw?...youtu.be【埼京線】終電逃したら始発待つより全駅歩いて帰った方が早い説 埼京線編【ゆっくり解説】YouTube video by 徒歩検証チャンネル【ゆっくり解説】 000
竹取の翁 @puellamagi810.bsky.social · 05/10/2026youtube.com/shorts/jk7WW...youtube.com🔍「名探偵プリキュア！LIVE2026 キュアット熱唱！はなまるShowtime☆」ありがとうございました！ #東山奈央 #声優 #たんプリ #プリキュアYouTube video by 東山奈央 000
竹取の翁 @puellamagi810.bsky.social · 05/10/2026以前にも証明長を犠牲にしてクエリ回数をloglog nのオーダーまで抑えたアルゴリズムは存在したけど、証明長をnlog nに抑える代わりにクエリ回数が増えたが、log nだから知れてる計算量なのが功績としてデカいか、この論文は 000
竹取の翁 @puellamagi810.bsky.social · 05/10/2026おそらくzk-starkでリードソロモン符号(FRIプロトコル)使うきっかけの論文だからしっかりと理解したいわね 000
竹取の翁 @puellamagi810.bsky.social · 30/09/2026今日はスペシャルゲストォ...ダイナモわかってんだろうけど...まぁ俺あんまり言うと俺より目立つから嫌なんだけど―― 010
竹取の翁 @puellamagi810.bsky.social · 30/09/2026ノーナ・リーヴスはNSDRが先輩に似てるから目を付けられたのはそうだけども、いじられてるのはあの伝説のライブが面白すぎるからではないですかね 010
竹取の翁 @puellamagi810.bsky.social · 30/09/2026先行研究の論文の中で先行研究について述べてる部分ではO(loglog n)にした代わりに証明の長さがとんでもねぇって書いてあるし 000
