はてなアンテナ
shinichiro_hのアンテナ
id:shinichiro_h

DVD

グループ一覧
2/34ページ

妖精現実 フェアリアル
●11/23 21:41
2024-11-23 ガウス和からの cos 72°(準備中)→ 続きを読む2024-11-22 ガウス和の平方(その2の続き) 証明の完成1 の p 乗根 z についてのガウス和を S とすると、 S2 は p または −p に等しい(p は 3 以上の素数)。この定理について、「素朴な観点からの証明」があと一歩で完成……というところで話がそれ、先に風変わりな別証明を紹介し、さらに別の「神の証明」(定理2参照)を紹介した。多重の総和記号が入り乱れ、一般向けとは言いかねる面もあった。素朴な観点に立ち返り、 S2 を展開して指数ごとに項を数える、という単純な発想からの証明も完結させておく。→ 続きを読む2024-11-22 ガウス和の平方(その2の続き) 証明の完成

スラッシュドット ジャパン: アレゲなニュースと雑談サイト
●11/23 20:49
スラドと OSDN の受け入れ先募集、現在の状況について [4] 51雑談用ストーリー [3] 880

L’eclat des jours
●11/23 09:07
2024-11-20_ 荒船風穴高崎に所用があったので群馬へ行った。用は午前中に終わったので午後、なんだか良くわからんので荒船風穴へ行くことにした。風穴というから富士の風穴のように溶岩が固まりきる前に風が通って作られた洞窟かと思ったら、なにか石垣で囲まれた竪穴で謎に満ちている。と、高崎から安中経由で行こうとするのだが、なかなか着かない。高崎から遠いのなんのって下仁田というか群馬を甘く見ていたのだ。下仁田の町に入ってから道路案内が出たので見ると32kmとか書いてある。えらく遠いではないか。平日なので第2駐車場という、風穴に近い(200m)ところに行けるのでそこを目指すのだがなかなか着かない。途中、渓谷への入り口や関東一の鍾乳洞はこちらやら高橋道斎(漢学者にして俳人、郷土史家という江戸時代に突然出て来る田舎の教養人(北越雪譜の鈴木牧之とか)の一人)の墓など、おもしろそうな立ち寄り

ぱた☆へね
●11/19 06:26
2024-11-17diffusion policy用にzarrのデータを作る時間がかかったけど、なんとかzarr化できたのでメモ。ドキュメントはここ https://github.com/real-stanford/diffusion_policy?tab=readme-ov-file#replaybufferdata/pusht_cchi_v7_replay.zarr ├── data │ ├── action (25650, 2) float32 │ ├── img (25650, 96, 96, 3) float32 │ ├── keypoint (25650, 9, 2) float32 │ ├── n_contacts (25650, 1) float32 │ └── state (25650, 5) float32 └── meta

ろじかるんるんものがたり(徒然)
●11/18 05:52
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有

4.<前5 6.次5>

0.はてなアンテナトップ
8.このページを友達に紹介
9.このページの先頭へ
ヘルプ/お知らせ

ログイン
無料ユーザー登録
はてなトップ

(c) Hatena