pskdのアンテナ
id:pskd


1/6ページ
▽檜山正幸のキマイラ飼育記●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)[ツッコミを入れる]
6.次5>
0.はてなアンテナトップ
8.このページを友達に紹介
9.このページの先頭へ
□ヘルプ/お知らせ
□ログイン
□無料ユーザー登録
□はてなトップ
(c) Hatena) %]&utmr=&utmp=http%3A%2F%2Fa.hatena.ne.jp%2Fpskd%2Fmobile&guid=ON)
