▽理系大学院留学日記
●11/22 22:15
休学中もﾊﾞｲﾄは続ける？辞める？ﾒﾝﾀﾙ不調でもﾊﾞｲﾄはできるのか経験者が解説します2022.09.102023.07.02

▽ Monadically Speaking: Benjamin’s Adventures in PLT Wonderland
●11/22 17:43
Create a free website or blog at WordPress.com.Create a free website or blog at WordPress.com.

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

▽IPSJｶﾚﾝﾀﾞｰ
●11/20 04:07
2月18日(火)～2月19日(水) 〔ICS216〕第216回知能ｼｽﾃﾑ研究発表会 1月13日(月) 当日可要ﾏｲﾍﾟｰｼﾞにて申込（準備中）〔東海〕名古屋工業大学 ※SMASH25 Winter Symposiumの一部として開催

▽ reperiendi
●11/19 02:32
Create a free website or blog at WordPress.com.