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

DVD

グループ一覧
1/17ページ

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

HsbtDiary
●11/23 19:54
2024/11/21 (木) [長年日記]■ Ruby 3.2 の flaky テストを修正安定版ブランチの CI failure とコミットをひたすら見て直していたら Ruby CI のテスト結果も all green にできそうな目処が経っている事に気がついたので debian でのみ発生している Ruby 3.2 の GC 周りの flaky テストも直してみた。https://github.com/ruby/ruby/pull/12127ちょうど KJ が flaky なテストを修正した、というコミットを入れているのを見つけたので、できるだけ影響がないように関連するコミットを拾って GitHub Actions も無事通るというところまでたどり着いたので多分これで直るはず。残りは OpenBSD なんだけど、これはちょっと特殊な環境だから頑張らなくてもいいかな...。■

ひしだまの変更履歴
●11/23 15:44
広告※このエリアは、60日間投稿が無い場合に表示されます。記事を投稿すると、表示されなくなります。

InfoQ Japan: 最新技術を追い求めるデベロッパのための情報コミュニティ
●11/23 10:38
IconAWS、AWS App MeshとAmazon FSx File Gatewayを含むさらなるサービスを廃止IconNetflixが仮想スレッドを採用:パフォーマンスと落とし穴に関するケーススタディ

檜山正幸のキマイラ飼育記
●11/22 08:33
2024-11-21等式の二種類の使用法: 選別条件と同一視宣言雑記/備忘ひとつ前の記事「圏論のエンドとコエンドは双対なんだよ」において、“連立方程式系の解空間”と“関係族の同値閉包による商集合”が双対的だという話をしました。この双対性はちょっと不思議な感じがします。最終的には、写像(集合圏の射)の並行ペア(両端が…2024-11-20圏論のエンドとコエンドは双対なんだよ雑記/備忘エンドとコエンドは、その名前から双対なんだろうとは誰でも思うでしょう。しかし、定義の仕方によっては双対性が見えにくいこともあります。この記事では、エンドとコエンドの双対性が出来るだけ見えやすくなるような定義と記法を提示します。$`\newcommand…等式の二種類の使用法: 選別条件と同一視宣言圏論のエンドとコエンドは双対なんだよ

6.次5>

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

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

(c) Hatena