▽檜山正幸のｷﾏｲﾗ飼育記
●04/20 09:18 檜山正幸
2025-04-19方向とｵﾘｴﾝﾃｰｼｮﾝ､圏論の絵図雑記／備忘｢方向と向きは区別しなさい｣と教わって､それを守ってきたつもりですが､ﾃｸﾆｶﾙﾀｰﾑだとしても｢方向｣と｢向き｣を区別して運用するのはどうも無理がある気がしてきました｡方向は direction で､向きは orientation のことなのですが､思い切って…2025-04-19随伴系のﾍﾟｰｽﾃｨﾝｸﾞ図もXyJax (Xy-pic extension for MathJax)で描いてみる雑記／備忘｢ﾊﾞﾀﾆﾝのﾍﾟｰｽﾃｨﾝｸﾞ図をXyJax (Xy-pic extension for MathJax)で描いてみる｣の続き｡2-圏のなかの構造といえば､なんつっても随伴系〈adjunction | adjoint system〉ですよね｡ﾆｮﾛﾆｮﾛ関係式〈snake {law | relation | equat

▽The Glasgow Haskell Compiler
●04/17 23:55
24 Mar 2025GHC 9.6.7 Released! [download]

▽現実逃避日記
●03/01 22:26 大村裕
ﾆｭｰｽお知らせﾌﾟﾚｽﾘﾘｰｽ掲載報告事業紹介会社情報会社概要企業理念沿革役員紹介ｱｸｾｽIR情報個人投資家の皆様へ経営方針業績･財務情報IRﾗｲﾌﾞﾗﾘ株式･社債情報お問い合わせ採用情報ﾆｭｰｽお知らせﾌﾟﾚｽﾘﾘｰｽ掲載報告事業紹介会社情報会社概要企業理念沿革役員紹介ｱｸｾｽIR情報個人投資家の皆様へ経営方針業績･財務情報IRﾗｲﾌﾞﾗﾘ株式･社債情報お問い合わせ採用情報ﾔﾌﾟﾛｸﾞ！ byGMOは､2020年1月31日をもちまして､ｻｰﾋﾞｽを終了いたしました｡これまでﾔﾌﾟﾛｸﾞ！ byGMOをご愛顧いただき､誠にありがとうございました｡心より感謝申し上げます｡IS 655602 / ISO 27001🎨 ｸﾘｴｲﾀｰﾌﾞﾛｸﾞ🔧 GMOﾒﾃﾞｨｱ Zenn📒 GMOﾒﾃﾞｨｱ IR noteﾆｭｰｽ事業紹介会社情

▽喪男道
●01/01 12:16 覚悟
Copyright 〓 2025 喪男道, All rights reserved.

▽seafood
●08/17 17:46 Sean Seefried
UNSW Sydney launches Institute for Industrial DecarbonisationAug 16, 2024Engineering Business School Science Law & Justice Arts, Design & Architecture (ADA) General