▽檜山正幸のｷﾏｲﾗ飼育記
●05/02 03:56
2025-05-01(boo, ff)-分解とboo構成雑記／備忘圏と関手の小ﾈﾀ｡boo は bijecton on objects の頭文字です｡二文字 bo を使うこともあります（nLab は bo）｡ff は full and faithful の頭文字です｡(boo, ff)-分解〈(boo, ff)-factorization〉は､関手 $`F:\mathcal{C}\to \mathcal{D}`$ を､boo部分と…(boo, ff)-分解とboo構成2025 / 5

▽ｾｷｭﾘﾃｨﾎｰﾙ memo
●05/01 17:27
》 米海兵隊の無人地対艦ﾐｻｲﾙNMESISがﾌｨﾘﾋﾟﾝ北部のﾊﾞﾀﾝ島に展開訓練､台湾有事を想定か (JSF / Yahoo, 4/28)》 北朝鮮が新型5000ﾄﾝ駆逐艦｢崔賢｣の射撃試験を実施､謎の｢超音速巡航ﾐｻｲﾙ｣が実在していた (JSF / Yahoo, 4/30)､ 北朝鮮｢超音速巡航ﾐｻｲﾙ｣は最終突入段階でﾛｹｯﾄ加速するﾛｼｱ製3M54Eのｺﾝｾﾌﾟﾄを模倣？ (JSF / Yahoo, 4/30)》 ｳｸﾗｲﾅと米国が公平な復興基金協定に署名､ﾛｼｱ経済は失速の可能性 (航空万能論 GF, 5/1)｡幸いなことに､まともな内容になっているようだ｡ﾄﾗﾝﾌﾟ大統領は鉱物資源協定と引き換えに｢明確に定義された安全保障の提供｣を拒否したものの､30日の閣議で｢米軍の存在によって掘削作業の安全を確保できると思う｣と述べ､協定で確保した権益を保護するため地上軍のｳｸﾗｲﾅ派遣

▽REVの日記　@はてな
●05/01 04:03
2025-04-30ｱｶﾃﾞﾐｱの流儀https://b.hatena.ne.jp/entry/s/togetter.com/li/2544686ｱｶﾃﾞﾐｱの場合には｢これが俺の新発明！｣と言って実は既発だったりすると恥ずかしいので十分精査する必要はある｡あと､『俺式評価では優れています』と言って､『この場合にはこのような形式で比較するのが普通なんだけど､俺さんは評価方法について精査しましたか』と訊かれてうまく答えられないと恥ずかしい｡ｱｶﾃﾞﾐｱでなければまあ｡REV 2025-04-30 13:22 読者になる広告を非表示にする2025-04-29雑記ｸﾘｰﾆﾝｸﾞに出す今まで行ってたところが閉店したので､新規の店に行く｡そういえば4，5年前は別の店に行ってたが閉店してたわ｡背広にﾜｲｼｬﾂの時代が終わりｸﾘｰﾆﾝｸﾞ店の需要も減ったのかね｡ｽｰﾂ　2400円､ｼﾞｬﾝﾊﾞｰ/

▽猫を償うに猫をもってせよ
●04/29 03:35
2025-04-28下の名呼びの特別扱い｢ｳﾙﾄﾗｾﾌﾞﾝ｣では､ｳﾙﾄﾗ警備隊の隊員がほかは｢ﾌﾙﾊｼ｣｢ｱﾏｷﾞ｣｢ｿｶﾞ｣などと苗字で呼ばれているのに､ﾀﾞﾝとｱﾝﾇだけ下の名呼びの特別扱いを受けている｡｢ｳﾙﾄﾗﾏﾝ｣でも､ﾊﾔﾀは苗字呼びだし､｢帰ってきたｳﾙﾄﾗﾏﾝ｣でも郷秀樹は｢郷｣呼びで､｢ｳﾙﾄﾗﾏﾝA｣では､北斗と南がお互い呼びあう時だけ｢星司さん｣｢夕子｣と呼んでいて､人に聞かれたらどうするんだろうと思ってしまうくらいだ｡｢ｳﾙﾄﾗﾏﾝﾚｵ｣では､おおとりｹﾞﾝは隊長からは｢ｹﾞﾝ｣と呼ばれていたが､他の隊員も｢おおとり｣とは呼んでいなかったからｹﾞﾝだろう｡それからしばらくたって再開したｳﾙﾄﾗｼﾘｰｽﾞの｢ｳﾙﾄﾗﾏﾝﾃｨｶﾞ｣では､｢ｾﾌﾞﾝ｣と同じ､主人公ｶｯﾌﾟﾙだけが｢ﾀﾞｲｺﾞ｣｢ﾚﾅ｣呼びだった｡だがそのあとは､時代の変化のせいか時には隊長以外は全隊員が下の名前呼びになっ

▽忍之閻魔帳
●04/13 08:15
2025年4月3週発売の新作､Nintendo Switch2の抽選申し込み締め切り迫る2025年04月12日 | 今週発売の新作▼開催中のｾｰﾙまとめ4月14日20時〜17日9時59分★楽天お買い物ﾏﾗｿﾝ 2025年4月度 第2回随時更新中★楽天ﾄｯﾌﾟｾﾗｰﾗﾝｷﾝｸﾞ随時更新中★楽天ｽｰﾊﾟｰDEAL ﾘｱﾙﾀｲﾑﾗﾝｷﾝｸﾞ★楽天ﾄﾗﾍﾞﾙ 5と0のつく日はﾎﾃﾙ･宿が最大20％OFF★楽天ﾄﾗﾍﾞﾙ5と0のつく日は最高級宿が最大20％OFF今週は14日から楽天のﾏﾗｿﾝ2回目があり､最終日翌日からAmazonという被りのないｽｹｼﾞｭｰﾙ｡4月18日9時〜21日23時59分★AmazonｽﾏｲﾙSALE ｺﾞｰﾙﾃﾞﾝｳｨｰｸ随時受付中★Amazon ﾌﾟﾗｲﾑ会員 30日間無料（紹介ｷｬﾝﾍﾟｰﾝﾘﾝｸ）発売中■全種：Amazon 売れ筋ﾗﾝｷﾝｸﾞ 関連商品一覧発売中■全種