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

▽たべすぎﾒﾓ
●11/22 11:20
Nov. 2024Last Modified: Thu Nov 21 21:39:07 UTC 2024さむっこ 2024-11-22 [Fri] 06:35ｹﾞｰﾑｼﾞｬﾑにはどうにか参加できたが､それ以外のことをする時間はまったくない(趣味という意味で)｡これは他の親の方々も同じようである｡ちなみに職場には同じぐらいの子供をもつ親が沢山いるので､そういう意味では話題にこと欠かない (しかし彼ら自身はｵﾚよりも全然年下だが)｡最近､ひさしぶりに Python 書いたらさあｰ､class A : B fun foo(): print()みたいに書いててがっかりしたよ｡よくないな｡それにしてもこの部屋は寒い｡ぶごっぷDocument ID: 601a365e59e336e74c84af0500853138875b0cd5

▽檜山正幸のｷﾏｲﾗ飼育記
●11/22 08:33
2024-11-21等式の二種類の使用法： 選別条件と同一視宣言雑記／備忘ひとつ前の記事｢圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ｣において､“連立方程式系の解空間”と“関係族の同値閉包による商集合”が双対的だという話をしました｡この双対性はちょっと不思議な感じがします｡最終的には､写像（集合圏の射）の並行ﾍﾟｱ（両端が…2024-11-20圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ雑記／備忘ｴﾝﾄﾞとｺｴﾝﾄﾞは､その名前から双対なんだろうとは誰でも思うでしょう｡しかし､定義の仕方によっては双対性が見えにくいこともあります｡この記事では､ｴﾝﾄﾞとｺｴﾝﾄﾞの双対性が出来るだけ見えやすくなるような定義と記法を提示します｡$`\newcommand…等式の二種類の使用法： 選別条件と同一視宣言圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ

▽kawaguti’s chronical record
●11/19 07:37
『UXﾗｲﾃｨﾝｸﾞというﾋﾞｼﾞﾈｽ』もうすぐ刊行2024年11月18日（月） 18:29今年の春に紹介した『最善のﾘｻｰﾁ』はみなさん､お読みいただけましたか？ UX Days Publi…more

▽Journal InTime
●11/12 10:01
2024-11-10 (Sun) [長年日記]_ 宮本浩次の益田公演に行って来た宮本浩次がｿﾛﾂｱｰで島根（といっても益田なので松江からだと車で3時間弱かかるが）に来るというので行って来た｡宇多田ﾋｶﾙのFirst Loveのｶﾊﾞｰはｽﾀｼﾞｵ音源ではそこまでいいと思ってなかったけど､弾き語りで歌うのを聴いてたらぐっと来た｡宮本はｴﾚｷｷﾞﾀｰの弾き語りが似合う｡1部のﾗｽﾄではとくに思い入れのなかったP.S. I love youになぜか涙がこぼれてしまった｡いや､いい曲なんだけど｡宮本は｢さまよう｣とかを｢さまよｰ（さまよお）｣と歌うけど､ｶﾊﾞｰの陰りゆく部屋でも｢過ぎた日々をさまよｰ｣と歌っていた（原曲は｢さまよう｣と歌っている）｡蛍の光の歌い方とかと同じなんだろうけど､母音をそのまま伸ばすのがきれいに聞こえる｡少年合唱団時代からなのかな｡昇る太陽〜Do you rememb