mnruのｱﾝﾃﾅ - はてなｱﾝﾃﾅ

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

▽て日々
●11/20 23:13
2024年11月19日(火)昨日できなかったTikZの実習を午前中にやる｡きょうはﾃｷｽﾄの第6章だ｡午後の3年生ｾﾐﾅｰは｢関数方程式｣の話で､$f(x+y)=f(x)+f(y)+a$ となる実数の連続関数は1次式だ､とか､$f(x+y)+f(x-y)=2(f(x)+f(y))$ となる実数の連続関数は $f(x)=kx^2$ の形に限る､とか､そういう例題をいくつか片付けた｡題材は高校数学の範囲からとっているが､連続性などなどの概念を積極的に使うこともあり､まるっきり高校生向けというわけでもない｡きょうはﾋﾟｱﾉのﾚｯｽﾝはお休み｡夜は家でおとなしくしておく｡2024年11月18日(月)今朝は非常勤の講義がお休みなのですこしゆっくりめに家を出る｡卒業研究ｾﾞﾐは順序数の算術の性質なのだが､隔週金曜日のZoomｾﾞﾐで引っかかっているのとちょうど同じ箇所でひっかかって､ち

▽eed3si9n | only the code never lies.
●11/19 10:00
Hedgehog for Scala 入門2024-11-18 / scala本稿では､Hedgehog for Scala というﾌﾟﾛﾊﾟﾃｨｰ･ﾍﾞｰｽ･ﾃｽﾄ･ﾌﾚｰﾑﾜｰｸを簡単に紹介したい｡Hedgehog for Scala は､Jacob Stanley さんと Nikos Baxevanis さん共著の Haskell Hedgehog というﾗｲﾌﾞﾗﾘを基に 2018年ごろ Charles O’Farrell さんが実装したもので､最近では Kevin Lee さんが主にﾒﾝﾃﾅﾝｽを行っている｡Read More…4

▽TechCrunch
●11/18 06:42
SocialWhat is Bluesky when it’s not the underdog?Anthony Ha2 hours agoSpaceThe Exploration Company raises $160M to build Europe’s answer to SpaceX DragonAria Alamalhodaei4 hours agoStartupsNorwegian startup Factiverse wants to fight disinformation with AIRebecca Bellan5 hours agoTop HeadlinesPrecursor’s Charles Hudson believes founders should test their investorsDominic-Madori Davis