▽檜山正幸のｷﾏｲﾗ飼育記
●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

▽田原悠西の日記
●11/21 07:36
2024-11-19_ [雑談]冬の寒さ｡ﾋｰﾄﾃｯｸにｳﾙﾄﾗﾗｲﾄﾀﾞｳﾝを着込んで全然暑くない｡最近吉野家の店舗がﾘﾆｭｰｱﾙしてｶｳﾝﾀｰ越しの注文じゃなくなり､ｾﾙﾌｻｰﾋﾞｽの食堂みたいになった｡客の僕としては新しい吉野家の仕組みは全然嬉しくない｡何度も立ちあがって移動しないといけないし､面倒くさいだけ｡だけど､少ない人数でお店を運営するためには仕方がないんだろう｡人手不足対策がこれからの一番の優先事項なんだな｡しかし､食券販売機があればもっといいんじゃないかと思う｡せっかくｾﾙﾌｻｰﾋﾞｽ化したのに､なんでまだ人がﾚｼﾞ打つのよ｡[ﾂｯｺﾐを入れる]

▽KeN’s GNU/Linux Diary
●11/21 05:41
2024-11-20ﾍﾞｰｺﾝとｳｲﾝﾅｰと万願寺とうがらしのﾍﾟﾍﾟﾛﾝﾁｰﾉこの投稿をInstagramで見るkmuto 2024-11-20 21:01 読者になる広告を非表示にするもっと読むｺﾒﾝﾄを書くﾍﾞｰｺﾝとｳｲﾝﾅｰと万願寺とうがらしのﾍﾟﾍﾟﾛﾝﾁｰﾉ

▽発声練習
●11/14 06:29
｢微力｣が｢全力｣の反対語として使われ始めている例？