はてなアンテナ
pskdのアンテナ
id:pskd

DVD

グループ一覧
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