▽Coqとは - はてなｷｰﾜｰﾄﾞ
●11/22 08:41 [Coq]
ももとどんぐり｡•4日前qyresearchのﾆｭｰｽ•14日前ABAの日誌•17日前vicarの日記•22日前qyresearch-pressrelease’s diary•22日前

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

▽検証的なｱﾝﾃﾅ
●11/22 07:43
2024/11/22 06:15:20 はてなﾌﾞｯｸﾏｰｸ - ﾀｸﾞ 形式手法341 users167 users90 usersCSSのwidth: 100%;のより良い代替手段として､stretchｷｰﾜｰﾄﾞが実はかなり便利です241 users55 users56 users27 usersIT系底辺の｢技術や言われた作業以外の一切の興味を持たない層｣､前は｢あり得ん｣と思っていたけれど今は分かるという話→｢ここ数年ｺﾚ｣25 usersｵｰﾌﾟﾝｿ2024/11/22 05:33:10 組込みｿﾌﾄｳｴｱWG〓€�〓〓￢〓­〓4〓¹´〓￢〓〓”〓〓»¥〓〓〓〓�〓〓〓†〓§˜〓€‘〓�’〓¥­〓〓‚〓‚￠〓ƒ³〓‚±〓ƒ¼〓ƒˆ〓�〓〓�〓〓�”〓�”〓〓›〓�〓〓�〓〓〓˜〓�„2024.11.21〓〓〓〓”¨〓ƒ…〓 ±〓‚’〓〓½〓〓2024.1

▽ﾗﾑﾀﾞ計算とは - はてなｷｰﾜｰﾄﾞ
●11/21 11:40
魂の生命の領域•5日前た－くんの狂人日記•10日前(新) 檜山正幸のｷﾏｲﾗ飼育記 ﾒﾓ編•24日前

▽yoshihiro503の日記 - ocaml-nagoyaｸﾞﾙｰﾌﾟ
●10/29 03:39
【完了】10月28日（月）6:00-7:00　ﾃﾞｰﾀﾍﾞｰｽﾒﾝﾃﾅﾝｽ実施に伴うはてな各ｻｰﾋﾞｽ停止についてのお知らせ