▽妖精現実 ﾌｪｱﾘｱﾙ
●11/21 10:03
2024-11-20 ｢神の証明｣の簡単化についての覚書 ｶﾞｳｽの第六証明前回紹介した｢第六証明｣のｱﾚﾝｼﾞは､ Erd〓s のいう｢神の証明集｣に基づく（それぞれの定理について､最もｴﾚｶﾞﾝﾄな証明法を集めた天界の書物）｡美しい証明には違いないが､振り返ると､幾つか｢もっと簡単にできるのでは｣と思われる部分もある｡もしも｢数学のｷﾞﾈｽﾌﾞｯｸ｣のようなものがあったとしたら､｢平方剰余の相互法則｣は｢最も多くの別証明が考案･公表された定理｣として､そこに掲載されるらしい｡多くの研究者が何度もこの定理に取り組んだのは､だてや酔狂ではないし､ましてや｢本当に正しいのか？｣と疑問を感じて､再証明を試みたわけでもない｡いうなれば､幾つもの国境にまたがって延びる山脈｡｢同じ一つの山脈｣だけど､例えばｲﾀﾘｱ側から登るのとﾌﾗﾝｽ側から登るのとでは､全く別の風景を楽しめる｡どのｺｰｽの展望も素晴ら

▽無題ﾄﾞｷｭﾒﾝﾄ
●11/20 16:16
週間ﾍﾞｽﾄ　11/11～11/17普及版　考える練習をしようﾓﾔﾓﾔする正義利他･ｹｱ･傷の倫理学ｾﾙﾌｹｱの道具箱

▽mieki256’s diary
●11/20 10:11
2024/11/17(日) [n年前の日記]#1 [cg_tools] ﾉｰﾄﾞは不便な気がする思考ﾒﾓ｡ここ最近､3DCGｿﾌﾄ blender での操作を勉強していたけれど､ﾉｰﾄﾞってちょっと不便だなと感じてる｡ﾉｰﾄﾞの接続だの配置だのを別の誰かに伝えようとした時に､ｽｸﾘｰﾝｼｮｯﾄを撮ってｱｯﾌﾟﾛｰﾄﾞでもしないといけないあたりがなんだか面倒臭い｡こういうのってﾃｷｽﾄで記述することはできないのだろうか？ 例えばﾌﾛｰﾁｬｰﾄはｿｰｽｺｰﾄﾞにできたりするわけだから､ｱﾚと似たような感じで…｡何かしら手はあるんじゃないのか｡そう思ってｸﾞｸﾞってみたけれど､そういった記法/ﾌｫｰﾏｯﾄは見つからなかった｡そもそも｢ﾉｰﾄﾞ｣で検索すると Node.js の解説ﾍﾟｰｼﾞばかりが出てきてしまうし｡いや､その問題は｢-node.js｣と追加すればいいんだけど…｡何にせよ､関連する情報には遭遇

▽ｾｷｭﾘﾃｨﾎｰﾙ memo
●11/20 05:10
■ 2024.11.19》 ｿﾆｰ､KADOKAWA買収へ協議　関係筋 (ITmedia, 11/19)｡うｰむ……｡》 ﾊﾞﾙﾄ海の海底ｹｰﾌﾞﾙ2本が切断される　｢故意の損害の疑い｣と独とﾌｨﾝﾗﾝﾄﾞが表明 (ITmedia, 11/19)

▽muneda’s diary - the 2nd
●11/20 00:24
Tags: Life Health