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

DVD

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

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

セキュリティホール memo
●11/23 07:23
》 PHP 8.4.1リリース⁠⁠、プロパティフックが利用可能に (gihyo.jp, 11/22)》 PostgreSQL 17.2, 16.6, 15.10, 14.15, 13.18, and 12.22 Released! (PostgreSQL, 11/21)。セキュリティ修正は無いみたい。 PostgreSQL 12 は EOL。》 社会に報復?殺傷事件相次ぐ中国 いったい何が? (NHK, 11/22)。「景気がよかったときは問題があってもあまり目立たなかったんですが、それがいま、むき出しになってきている感じがあります」。

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

ウノウラボ Unoh Labs
●11/18 12:58
1.12万 件のレビュー

プログラマの思索
●11/12 08:48
第27回redmine.tokyo勉強会の感想 #redmineT

6.次5>

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

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

(c) Hatena