なたがわ (@t5nat) header
なたがわ (@t5nat) profile picture

Software Engineer

Joined April 2013
Photo by なたがわ (@t5nat)Photo by なたがわ (@t5nat)Photo by なたがわ (@t5nat)Photo by なたがわ (@t5nat)Photo by なたがわ (@t5nat)Photo by なたがわ (@t5nat)Photo by なたがわ (@t5nat)Photo by なたがわ (@t5nat)Photo by なたがわ (@t5nat)Photo by なたがわ (@t5nat)
世間的にはETHと書くとExponential Time HypothesisじゃなくてEthereumなのか
5
418
ETH反証…
3
253
理論的にもシンプルかつ綺麗なのに現実のハードウェア特性にも典型的な実データにも特攻があって普通にここ数年で知ったアルゴリズムの中でもトップクラスにお気に入りかも
2
342
なんか話題になってたPGM-index軽く読んだ ソート済みキーの逆引きk_i→iをi=ak+bで区分的に近似(許容誤差ε)すると、lookup問題が「キーkはどの区分か」に帰着できる(ak+bの前後ε見るだけ)これは再帰的に解けて、ε=0でも線分は2点、実際には2ε点はカバーできるから帰着の深さが対数オーダー
1
1
3
449
省メモリ性やキャッシュ効率に優れていて、SIMDの恩恵も受けられるなどでワーストケースでもソート済み配列上の二分探索やB-treeよりも定数倍高速で、さらにキーの分布が局所的に直線的な構造を多く持てばその分さらに速くなりうるという点でめちゃくちゃ優秀
234
サークルのOB・OG会に行って若者とはまともに喋らずに隅っこで仲良しの先輩とグラフ彩色の話してた 人はこうして怪物に
1
12
929
すごい時代に生まれたなあ 驚くだけじゃなくて一本ぐらい自分で読めたらいいんだけど (より気持ちを込めて驚けそう)
1
305
位相空間、初歩的な範囲でも「AのものとではBとCは同値」系の話多すぎてキレてたのに、今日さらに「連結位相多様体ではパラコンパクトとσコンパクトと第二可算とリンデレフと可分と距離化可能と1の分割の存在とユークリッド空間への埋め込みの存在と可算アトラスの存在は同値」が加わった
2
531
29歳、1の分割ができるようになる
1
461
LE Audioの普及なんでこんなに遅いんだろ やっぱりApple製品が対応してないせいか Bluetooth HFPのガビガビ音声から解放されたいだけなのに...
387
雪江代数一式を第二版で買い直したくて、でも初版を捨てるのも勿体無いからインターンに「雪江代数興味ないですか!?」って聞いて回り続けてたんだけど、今日ついに引き取り手が見つかって非常に嬉しい 第二版ようやく買えました
6
589
新幹線とかで読むぞ、と思ってカバンに詰めた数学書を大学生の頃はまともに開いた試しすらなかったけど、29歳にして東京から新大阪までちゃんと読みながら乗った ドパガキ卒業
13
1,257
現代、LLMのおかげで数学書読みやすくて最高すぎる まあこないだ行間を埋める時に[0,1]が連結な証明が欲しくなってサボってAIに投げたらめっちゃ嘘証明出してきたんですけども...
8
893
理学部情報科学科は第99回五月祭(2026.5.16-17)にて初の学科企画「コンピュータを科学する」を実施します! 内容は以下の通りです: 1. 学生有志冊子の頒布 2. ライトニングトーク 3. ポスター等の展示 今後情報を発信していくので是非フォローしてください🙇 #東京大学 #五月祭 #好きが芽吹くとき
26
2
40
7,896
軽率にnixos-rebuildしたらなんかdenoのフルビルドが走って一生v8のビルド待ちしてる 今日寒かったのでパソコンがあったかくて助かる
1
547
11年越しに雪江代数1読破した 群がある程度大きい部分群を持つとその剰余類への自然な作用が忠実じゃなくなるとか、シローp部分群は1つなら正規だしある程度少ないならこれまた共役作用から非自明なカーネルが取れるとか、あの手この手で正規部分群を引き摺り出す系の話が個人的にお気に入り
6
1,301
2019年ぐらいからずーーーっとFedora Silverblue使いだったけど昨日の夜なんとなく思い立ってNix OS突っ込んでみた
531
あけましておめでとうございます 絶賛インフルに臥してますが、今年はもう伸びしろしかないということで…
23
1,118
たくろうめちゃくちゃわらった
3
886
最高!
1
747