▽ｾｷｭﾘﾃｨﾎｰﾙ memo
●11/22 05:03
■ 2024.11.21》 ﾃﾞﾝﾏｰｸ海軍､中国の貨物船 Yi Peng 3 を拘束｡ ﾊﾞﾙﾄ海海底ｹｰﾌﾞﾙ切断の件｡Danish Navy Stopped a Chinese Ship Suspected of Damaging Undersea Cables (defence24.com, 11/20)Danish Navy Shadows Chinese Cargo Ship After Baltic Sea Cable Damage (The War Zone, 11/21)Danish military says it's staying close to Chinese ship after data cable breaches (reuters, 11/21)Swedish police focus on Chinese ship after suspected

▽GIGAZINE - 赤いｸﾘｯﾌﾟを物々交換で｢家｣にした男
●11/21 21:49
電子たばこ(VAPE)は何が危険なのか？11月21日21時00分動画MITが世帯年収3100万円未満なら授業料免除､1550万円未満なら授業料以外の食費や住居費など全免除という太っ腹すぎる学部生向け財政援助施策を発表11月21日19時00分ﾒﾓ2024年11月21日のﾍｯﾄﾞﾗｲﾝﾆｭｰｽ11月21日18時15分ﾍｯﾄﾞﾗｲﾝ鳥ｲﾝﾌﾙｴﾝｻﾞが人に感染しやすくなるように変異した可能性､卵の価格上昇が家計を直撃する事態も11月21日17時00分ｻｲｴﾝｽ中国のAI企業DeepSeekがOpenAI o1に匹敵する推論AIﾓﾃﾞﾙ｢DeepSeek-R1-Lite-Preview｣公開､ｵｰﾌﾟﾝｿｰｽ化する計画も11月21日16時00分ｿﾌﾄｳｪｱThreadsがｶｽﾀﾑﾌｨｰﾄﾞ作成機能を全ﾕｰｻﾞｰに提供開始､ﾕｰｻﾞｰに｢For You｣ﾌｨｰﾄﾞや｢Following｣ﾌｨｰﾄﾞ以

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

▽chanbara CLOCK
●11/19 10:27
AI翻訳の進歩で語学学習は不要になるか？AI翻訳（AIじゃなくて機械翻訳でもいいけど）が進歩すれば英語の勉強など不要になるか否か､という議論はたまに出てくるが､日本語話者のあなたは日本語（国語）の勉強を一切しなかったのですか？　で答えは出ているような｡それはそれとして､AI翻訳は確かに便利だ｡私は例えばこんなふうにAI翻訳を使っている｡まず､日本語を書く｡主語と述語をはっきりさせるよう心がけて書く｡そあてAIに英訳させる｡できた英文をもう一回AIに日本語に翻訳させる｡AIの翻訳はそれっぽく見えるのだが､構文以前の根本的な問題があったりする｡主語がおかしいなどのﾚﾍﾞﾙでおかしい｡結局AIを使っても英語学習した中身を総動員しないとまともな英訳は出てこない､そしてまともに英語を勉強してこなかったことを痛感する｡共有:TwitterFacebookLinkedInReddit

▽hail2u.net - Weblog
●11/18 08:24
16日CSS少々(v9.33.3)古い記事をCSSなしにしたが､それでは見づらいことがままある｡CSSとmeta要素の力で､見づらくはない程度に手を入れる｡ただ､｢見やすくする｣という観点だと､元々のｽﾀｲﾙの劣化版になってしまう｡そこでどうしようもないものだけどうにかしていく｡書いたのは10何度目かになる､Tabでなんとなく補完してくれるやつをTabcomという名前でﾌﾟﾗｸﾞｲﾝにした｡書いてはVimのﾋﾞﾙﾄｲﾝ補完群に戻り､書いてはAutocomplpopに戻りするので､そろそろﾌﾟﾗｸﾞｲﾝ化しておいてすぐ戻れるようにした