▽初音ﾐｸﾆｭｰｽ
●12/27 02:04
12月26日の初音ﾐｸ＆ﾎﾞｰｶﾛｲﾄﾞ情報まとめ (12/26)12月25日の初音ﾐｸ＆ﾎﾞｰｶﾛｲﾄﾞ情報まとめ (12/25)

▽ときどきの雑記帖 i戦士篇
●12/26 05:08
MARBLE MADNESSﾉｲｴ銀英伝 特にお知らせはなかった模様｡ 2025年中には動きなし? 再放送 3か月でﾏｽﾀｰする数学 - NHK 12/25(水) 午後9:30〜 (1) ○と△の

▽EARL.BOX
●12/25 09:51
○12月24日（火）■【FGO】ﾌｧﾝﾀｽﾞﾑｰﾝがｻﾌﾟﾗｲｽﾞ実装｡武梨えりさんのｱﾝｿﾛｼﾞｰ『TAKE MOON』に登場した正義の魔法少女【Fate/Grand Order】■『葬送のﾌﾘｰﾚﾝ』ﾗｵﾌｪﾝのｻﾝﾀ姿に反響｢また､何か食べてるw｣｢やば！｣ﾃﾞﾝｹﾝのｻﾝﾀ姿似合いすぎだろ！■｢嘆きの亡霊は引退したい｣続編制作決定！PVを公開　小野賢章らが祝福OPとかEDの演出は面白いけど､本編の話しは正直いまいち…■絵本｢ねないこ だれだ｣のおばけがﾓﾁｰﾌの｢お部屋ﾗｲﾄBOOK｣が本日発売見た目子供向けだけど､暗闇でみたらこれ子供泣くだろ（笑■ﾄﾞﾗｺﾞﾝ級のﾊﾞｽﾄとﾋｯﾌﾟ！ ｢小林さんちのﾒｲﾄﾞﾗｺﾞﾝ｣より牛柄ﾋﾞｷﾆの｢ﾄｰﾙ｣がﾌｨｷﾞｭｱ化ここまでﾃﾞｶﾁﾁだったっけ！？■｢To LOVEる -とらぶる- ﾀﾞｰｸﾈｽ｣よりｾｸｼｰｱﾗﾋﾞｱﾝ衣装の｢結城美柑｣がﾌｨｷﾞｭ

▽好き勝手に･げｰあにん？
●12/23 21:42
2024-12-22買ったものｱｲ･ｵｰ･ﾃﾞｰﾀ IODATA ｹﾞｰﾐﾝｸﾞﾓﾆﾀｰ 31.5ｲﾝﾁ GigaCrysta 165Hz 1ms WQHD (PS5/AMD FreeSync/HDMI×3/DisplayPort/USB-C/ｽﾋﾟｰｶｰ付/ﾘﾓｺﾝ付/高さ調整) EX-LDGCQ321HDBｱｲ･ｵｰ･ﾃﾞｰﾀAmazonﾊﾟﾅｿﾆｯｸ ﾌﾞﾙｰﾚｲﾌﾟﾚｰﾔｰ ﾌﾙHDｱｯﾌﾟｺﾝﾊﾞｰﾄ対応 ﾌﾞﾗｯｸ DMP-BD90ﾊﾟﾅｿﾆｯｸ(Panasonic)AmazonCreative Pebble V2 USB Type-C給電採用ｱｸﾃｨﾌﾞ ｽﾋﾟｰｶｰ 8W RMS ﾋﾟｰｸ出力16W ﾊﾟﾜﾌﾙ出力 45°上向きﾄﾞﾗｲﾊﾞｰ 重低音 ﾊﾟｯｼﾌﾞ ﾄﾞﾗｲﾊﾞｰ SP-PBLV2-BKｸﾘｴｲﾃｨﾌﾞ･ﾒﾃﾞｨｱAmazonBDﾚｺｰﾀﾞｰが壊れたら､地上波を見ない生活にしてみようと

▽no title
●12/23 07:55
2024-12-22 (Sun)#10 Epsilon任意の型を choiceType にする hasChoice_T を構成するときに､公理として Epsilon の epsilon_statement と FunctionalExtensionality の functional_extensionality_dep) を利用した｡ﾏﾆｭｱﾙによれば､epsilon は Hilbert's epsilon operator というものらしい｡ Epsilon calculus というものから来ているのかな｡ぜんぜん知らないけど｡これと選択公理の関係については､どうも epsilon は選択公理よりも強いもののようだ｡というか､Coq FAQ の Axioms のところの図をみると､operator epsilon と functional extensionality に