▽檜山正幸のｷﾏｲﾗ飼育記
●06/04 14:31
2025-06-04色々な包含的圏雑記／備忘包含的圏〈inclusive category〉の定義は人により色々です｡型理論やｲﾝｽﾃｨﾁｭｰｼｮﾝ理論に使うことを目的にして､包含的圏に関して整理しておきます｡$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\mbf}[1]…2025-06-03関係とﾌｧﾐﾘｰのあいだの関係雑記／備忘｢導出系： 反省と課題 // ｿｰﾄ付き集合の圏は変わる｣において､ｿｰﾄ付き集合達の圏 $`\mathbf{SortedSet}`$ を導入したのですが､その定義は関係をﾍﾞｰｽにしています｡関係をﾍﾞｰｽにした定義は､どうも分かりにくいし扱いにくいので､ﾌｧﾐﾘｰ〈集…色々な包含的圏関係とﾌｧﾐﾘｰのあいだの関係2025 /

▽YAMDAS現更新履歴
●06/03 16:45
ﾐｯｼｮﾝ：ｲﾝﾎﾟｯｼﾌﾞﾙ／ﾌｧｲﾅﾙ･ﾚｺﾆﾝｸﾞﾌﾟﾛｸﾞﾗﾐﾝｸﾞの未来はﾊﾞｲﾌﾞｺｰﾃﾞｨﾝｸﾞを超えていくStack OverflowはAI時代に生き残れるか？Z世代は本当にAIと結婚したいのか？『ﾓﾝﾃｨ･ﾊﾟｲｿﾝ･ｱﾝﾄﾞ･ﾎｰﾘｰ･ｸﾞﾚｲﾙ』を支えたﾚｯﾄﾞ･ﾂｪｯﾍﾟﾘﾝやﾋﾟﾝｸ･ﾌﾛｲﾄﾞの資金援助

▽ときどきの雑記帖 ﾘﾀｰﾝｽﾞ
●06/01 15:14
I Will Fear No EvilZｶﾞﾝﾀﾞﾑ＠ﾃﾚ玉 ｢ｱﾑﾛ再び｣ ﾛｻﾞﾐｱ & ｷﾞｬﾌﾟﾗﾝ 殴ったくらいでお前の性格がなおるのか 次回｢ｶﾂの出撃｣ しかし､ﾍﾞｰｽｼﾞｬﾊﾞｰに乗ったﾓﾋﾞ

▽天泣記
●05/31 09:47
2025-05-29 (Thu)#1 Debian の /etc/network/interfacesDebian で､昔ながらの (network-manager を使わない) ﾈｯﾄﾜｰｸの設定は/etc/network/interfaces にいろいろ書くのだが､その形式は manpage として interfaces(5) に書いてある｡が､OPTIONS PROVIDED BY OTHER PACKAGES のところに記載があるように､ifupdown ではない他のﾊﾟｯｹｰｼﾞによって提供されているｵﾌﾟｼｮﾝもあって､そういうのはこのﾏﾆｭｱﾙには書いていない｡ここで､wpasupplicant が提供しているものを調べようと思って､ﾏﾆｭｱﾙを眺めてみたが見つからず､(Debian ﾊﾟｯｹｰｼﾞの) ｿｰｽをとってきたら wpasupplicant.README.De

▽はじめてのにき
●05/30 19:42
2025-05-29_ 良いｽﾗｲﾄﾞhttps://speakerdeck.com/mu_zaru/xu-nidong-kitakunarupuroguramanosi-xiang-number-qiitaconference?slide=81Obnoxious Aggression ごめんなさい(09:58)_ ｲｰﾛﾝhttps://www.theguardian.com/technology/2025/may/25/elon-musk-trump-politicsなんか失脚しつつあるのかな｡仲違いを想像していたので､なんか思っていたのと違う(09:59)[ﾂｯｺﾐを入れる]