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