▽Sutter’s Mill
●11/21 18:40
Join 5,315 other subscribers

▽ときどきの雑記帖 ﾘﾀｰﾝｽﾞ
●11/17 07:47
流星落ちる果てｶﾞﾝﾀﾞﾑ＠ﾃﾚ玉 ｼﾞｬﾌﾞﾛｰに散る! 蝶 ｿﾞｯｸ Gﾌﾞﾙ ﾘｰ･ﾎﾜﾝ ｼﾞｯﾀﾙ ﾎﾞﾗｽｷﾆﾌ ﾎﾜｲﾄﾍﾞｰｽが使った入口が結構でかいけど､ﾎﾜｲﾄﾍﾞｰｽ以

▽檜山正幸のｷﾏｲﾗ飼育記
●11/14 05:43
2024-11-13複圏〈ｵﾍﾟﾗｯﾄﾞ〉とﾌﾟﾚ準同型射の圏雑記／備忘｢論理や型理論の圏論的意味論 // 導出ｼｽﾃﾑの圏と圏の圏｣において､導出ｼｽﾃﾑ達を対象とする圏に触れました｡しかし､導出ｼｽﾃﾑのあいだの準同型射（それが圏の射となる）を素朴に考えていては､どうもうまくないようです｡導出ｼｽﾃﾑは､複圏…複圏〈ｵﾍﾟﾗｯﾄﾞ〉とﾌﾟﾚ準同型射の圏

▽methaneの日記
●11/08 11:06
MariDB Connector/C がﾃﾞﾌｫﾙﾄでSSLを強制するようになった

▽本の虫
●10/26 02:20
55