Software Engineer

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