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

▽Planet Haskell
●11/22 12:45
November 21, 2024Tweag I/OGHC's wasm backend now supports Template Haskell and ghciTwo years ago I wrote a blog post to announce that theGHC wasm backend had been merged upstream. I’ve been too lazy to writeanother blog post about the project since then, but rest assured, theproject hasn’t stagnated. A lot of improvements have happened after theinitial merge, including but not limited to:M

▽Yusuke Shinyama
●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…等式の二種類の使用法： 選別条件と同一視宣言圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ

▽NAKAMURA Minoru’s Diary
●11/21 16:43
11/16 (土)[Movie] ｸﾞﾗﾃﾞｨｴｰﾀｰⅡ 英雄を呼ぶ声ﾑｰﾋﾞﾙで｢ｸﾞﾗﾃﾞｨｴｰﾀｰⅡ 英雄を呼ぶ声｣(原題: Gladiator II)の字幕版を見た｡古代ﾛｰﾏが舞台の映画は｢ﾎﾟﾝﾍﾟｲ｣以来だが｡今回は首都ﾛｰﾏが舞台だ｡ｺﾛｯｾｵを水で満たして模擬海戦をするというのはｲﾝﾊﾟｸﾄがあったが､実際にやったことがあったらしい｡11/10 (日)[Movie] 劇場版 進撃の巨人 完結編 THE LAST ATTACKﾁﾈﾁｯﾀで｢劇場版 進撃の巨人 完結編 THE LAST ATTACK｣で字幕版を見た｡ただし Kudu ではﾃﾞﾊﾞｯｸﾞ情報を取得できるが､ｱﾌﾟﾘの配備操作はできない｡ｱﾌﾟﾘの配備は Azure CLI を使うことで SCM API 経由で行うことができる｡ただし Azure CLI では Basic 認証を使うことができない｡11/8 (金)