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

▽あどけない話
●11/21 16:32
2024-11-20Labeling threads in HaskellHaskellGHC 9.6 provides a function to list up the current threads finally. The function is listThreads exported from the GHC.Conc.Sync module. listThreads is a killer debug method for thread leaks.If you have Haskell programs which run for a long time, it's quite nice to provide feature to monitor threads with the following functions:import Data.List (sort

▽Ohnoblog 2
●11/20 12:03
2024-11-19冤罪と死刑について考えさせる『黒い司法　0％からの奇跡』告知 映画早くも師走感が漂ってきた中､この一ヶ月ほどやたらと忙しく､ここの更新も遅れてしまいました｡公私共にいろんな案件が同時多発で‥‥映画をﾁｪｯｸしてる暇もなく‥‥｡ところで映画ってなんであんなに長いんでしょうか｡一時間くらいで十分だと思いますけど｡特にﾊﾘｳｯﾄﾞ映画とかね｡きっと､金と時間をかけないとならないｼｽﾃﾑが出来上がっているんでしょうね｡さて､連載｢映画は世界を映してる｣､今回は先月の袴田巌さんの無罪獲得の話題を枕に､死刑囚と若い弁護士の再審までの遠い道のりを描いた『黒い司法　0％からの奇跡』を取り上げてます｡forbesjapan.com実話を元に､冤罪や死刑制度について考えさせる佳作｡演出が引き締まった感じでﾀﾞﾚるところがまったくなく､結末がわかっていても最後まで引き込まれます｡

▽はてなﾀﾞｲｱﾘｰ - KaniWeb または かに日記
●11/19 13:35
2024-11-19朝食はｵｰﾄﾐｰﾙ食 生活 健康朝食にｵｰﾄﾐｰﾙを食べるようになって､もう2年半くらいになる｡もともとは糖質制限のために渋々､という感じもあったのだが､すっかり気に入って楽しんでいる｡準備も簡単だし､いろいろｱﾚﾝｼﾞもできる｡実際､どんな感じで食べているかを書いておく｡いろいろ変遷しているので､あくまで最近の流れ｡まず､ｽｰﾊﾟｰで買っているのはｹﾛｯｸﾞのｵｰﾄﾐｰﾙ｡もともとは日清食品を使っていたのだが､ｽｰﾊﾟｰに並ばなくなったのでこちらを使っている｡ｵｰﾄﾐｰﾙには､粒の粗さでいくつか種類があり､調理時間が変わってくるらしい｡これはもっとも素早く調理できるﾀｲﾌﾟのはず｡これをご飯茶碗に入れる｡ｳﾁにある計量ｽﾌﾟｰﾝで山もり2杯で､約30ｸﾞﾗﾑになる｡ひたひたになるくらいに水を入れる｡生ﾀﾏｺﾞを入れる｡これで栄養と満足度が上がる｡このまま電子ﾚﾝｼﾞへ｡

▽ぱた☆へね
●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