azzrのブックマーク (1,968)

  • 数学「ABC予想」は証明されたか 論文受理から5年、論争は迷宮へ:朝日新聞

    ■《前編》ABC予想は証明されたか 今から5年前、数学の超難問「ABC予想」は証明された……とされる。はっきり断定できないのは、ABC予想をめぐって数学界が異常事態に陥っているからだ。論理的に考えれば…

    数学「ABC予想」は証明されたか 論文受理から5年、論争は迷宮へ:朝日新聞
    azzr
    azzr 2025/05/31
    AIに論文を読ませて形式的証明に変換してもらうのは、将来的にはできるようになるかもしれないが、現時点ではできる気はしない。
  • 財布を忘れてメシを食ったり病院にかかったときの正解を知りたい

    私は今までの人生で5回ある。 そんな時は、まず平謝り。人として当然だけど。 次に、あとで絶対持ってくると約束する。これも当然だけど。 そこでだいたい聞かれるのが、ATMでおろしてきてくれないか?ってやつ。 1回はキャッシュカードがあったのでなんとかなった。 1回はクレジットカードのキャッシングでなんとかなった。 残る3回は、なんももってなくて当にツケ。 写真くらい撮られるかとか、なにか置いていけと言われないかとか覚悟してるのだけど、一度もない。 こっちから申し出ても断られた。 といっても、たった3回だけど。 財布を忘れた時の正解を知りたい。 追記そもそも忘れるなってブコメが多いけど、忘れるでしょう?人間なんだから。 スマホを忘れて外出したことがない人、鍵を忘れて外出したことがない人、免許証を忘れて運転したことがない人、切符を無くしたことがない人、マークシートミスしたことがない人だけが石を

    財布を忘れてメシを食ったり病院にかかったときの正解を知りたい
    azzr
    azzr 2025/05/30
    財布を家に忘れたことはないな。外出時には必ず鍵をかけるから、忘れていたらそこで気付くし。
  • 社員「アップデート中って電源切っちゃダメですよね?壊れる?」SEのワイ「はい」社員「やっちゃった!」→なんなんだよ!?!?

    いぬきち @chuki_zaru 社員「アップデート中って電源切っちゃダメですよね?」 ワイ「ダメですねー」 社員「壊れます?」 ワイ「壊れますねー」 社員「アップデート中に電源切って壊れたんですけど」 最初の会話は何の確認なん?ww 2025-05-28 07:10:02

    社員「アップデート中って電源切っちゃダメですよね?壊れる?」SEのワイ「はい」社員「やっちゃった!」→なんなんだよ!?!?
    azzr
    azzr 2025/05/29
    アプデ中に電源を切ったくらいで壊れるシステム側が悪い。不意に電源途絶するのくらいは想定して対策すべき。
  • ソニー新型携帯ゲーム機「スイッチ2を圧倒する超高性能」へ、サムスン2nm製造のAMDプロセッサ搭載でマルチタイトルが美麗なグラフィックに | Buzzap!

    かねてから開発中と取りざたされているソニーの新型携帯ゲーム機が、まもなく発売されるNintendo Switch 2と比べものにならない処理能力を実現する可能性が高くなってきました。詳細は以下から。 ◆PS Vitaに続く携帯型PlayStation新モデルのプロセッサは? Xiaomi独自開発プロセッサ「XRING O1(玄戒O1)」の処理能力をいち早くリークしてのけたJukanlosreve氏によると、ソニーは現在「Jupiter」というコードネームの新たなプロセッサを評価しているそうです。 これは携帯型ゲーム機に採用される低消費電力SoCで、開発はAMDが担当。Samsungの2nmプロセス「SF2P」で2028年以降の量産を予定しており、契約締結に向けた検討が3社で進められているとされています。 ◆Nintendo Switch 2とは比べものにならない性能を実現へ PS5やXbo

    ソニー新型携帯ゲーム機「スイッチ2を圧倒する超高性能」へ、サムスン2nm製造のAMDプロセッサ搭載でマルチタイトルが美麗なグラフィックに | Buzzap!
    azzr
    azzr 2025/05/27
    高くなりそう。だけどまあ、Switch 2と同じ市場で競合するよりはターゲットをずらして高級高性能なところを狙いたくなるのはわかる。
  • 「san呼び」世界に広がるか 「性別肩書、問わず便利」 | 共同通信

    Published 2025/05/26 05:40 (JST) Updated 2025/05/26 12:01 (JST) 大阪・関西万博に出展する海外パビリオン関係者と日側のやりとりで、名前に「san(さん)」を付けて呼ぶコミュニケーションが“共通言語”として広まっている。一定の敬意を表せる上、相手の性別や肩書を問わない使い勝手の良さが評判で、日国際博覧会協会(万博協会)の関係者は「それぞれの国に帰ってからも使ってほしい」と期待を寄せる。 「~さん、どうぞ」。3月中旬、各国や万博協会の数百人が参加したオンライン会議。英語での質疑応答が続く中、司会者が海外パビリオンの関係者に発言を促した。これまで日人が関係する外交やビジネスの世界で使われてきたsanが、万博では公的な会議でも頻繁に使われるようになっている。 外交官として世界各国で勤務した経験があるオランダパビリオン政府副代表のア

    「san呼び」世界に広がるか 「性別肩書、問わず便利」 | 共同通信
    azzr
    azzr 2025/05/27
    人称代名詞がheやsheだと結局性別を知っておかなきゃならないから、そっちもどうにかしてほしい。
  • 国民民主、支持率下落に危機感…山尾氏ら擁立にSNS「変な流れになってきた」

    【読売新聞】 夏の参院選を前に国民民主党が政党支持率の下落に危機感を強めている。過去の言動に批判があった議員経験者の擁立を巡り、躍進の原動力となってきたSNSで反発が広がっているほか、地方選での公認候補の落選や議員の不祥事も重なって

    国民民主、支持率下落に危機感…山尾氏ら擁立にSNS「変な流れになってきた」
    azzr
    azzr 2025/05/26
    浦川祐輔、城戸佳織、奥本有里あたりを出したときに、反発はあれど支持は大して落ちなかったから今回も行けると思ってしまったんだろう。
  • デジタルアドレス|日本郵便株式会社

    住所を、もっと便利にしよう。 無意識のうちに感じていた、 たくさんの不便を解決しよう。 いま、私たち日郵便の、 新たなインフラづくりへの挑戦が 動き出しています。 デジタルアドレス。 それは、たった7桁の英数字で、 住所が伝わる仕組み。 もしもこれが、世の中に浸透したら。 長い住所を書くストレスが減らせる。 スマホやパソコンでの、 住所入力が楽になる。 引越しの時、いくつものサービスで 変更手続きをしなくてすむ。 言うなればこれは、 「住所」のパラダイムシフト。 とても大きな変化だからこそ、 社会全体での実用化には 少し時間がかかるけれど。 まずは郵便局アプリでの、 ゆうパック送り状作成から ご利用いただけます。 さあ、あなたも住所を7桁に。 デジタルアドレス、はじまります。

    デジタルアドレス|日本郵便株式会社
    azzr
    azzr 2025/05/26
    check digitちゃんと付けて、誤認しやすい文字は避けて、あとQRコードとかも同時に発行して手入力する機会をできるだけ減らしておいてほしい。
  • 飲食店のコスパの悪さ

    比べるものじゃないかもしれないけど ゲームなんて一流の人間が大勢参加したものが5000円で買える上数十時間遊べるのに、飲店は1時間たらずの体験に2500円とか5000円とかでさぶっちゃけ「その体験でこの値段?」って思うんですよ それだったら事は炭水化物とタンパク質とって、残りの金でゲームしてた方が絶対QOL高いと思う

    飲食店のコスパの悪さ
    azzr
    azzr 2025/05/24
    「二杯の天丼はうまく食えぬ」ってやつ。ゲームはお金を注ぎ込んでも遊ぶ時間がなくて、わりかし早い段階で効用が飽和するよ。
  • 「専従職員は“職業革命家だから”月90時間残業しても残業代ゼロ」日本共産党 の“違法残業”を暴いて除籍された30歳&26歳の元女性党員が実名告発 | デイリー新潮

    「週刊新潮」の発売前日に速報が届く! メールマガジン登録 デイリー新潮とは? 広告掲載について お問い合わせ 著作権・リンクについて ご購入について 免責事項 プライバシーポリシー データポリシー 運営:株式会社新潮社 Copyright © SHINCHOSHA All Rights Reserved. すべての画像・データについて無断転用・無断転載を禁じます。

    「専従職員は“職業革命家だから”月90時間残業しても残業代ゼロ」日本共産党 の“違法残業”を暴いて除籍された30歳&26歳の元女性党員が実名告発 | デイリー新潮
    azzr
    azzr 2025/05/20
    私有財産を否定し、個人の財産権を侵害することを中心理念とする党が、その微分である労働の対価をまともに払わないのは当然の帰結では。
  • 大学院の講義が英語化された結果、日本人学生はリスニングができないので話を聞かずレジュメを眺め、一部積極的な留学生がたまに質問するようなスタイルになった

    豊田啓介ゆるふわ系総研 @toyoda_noiz Keisuke Toyoda/豊田啓介 建築家/東大生産研特任教授/建築デザインはnoiz@目黒&台北 noizarchitects.com/テックx空間はgluon gluon.tokyo/建築情報学会/コモングラウンドリビングラボ/Instagramは noiz_toyoda_noiz noizarchitects.com 豊田啓介ゆるふわ系総研 @toyoda_noiz 大学教員の立場で、ちょっと長めの真面目な投稿です。 今年度から東大の工学系では、全授業が原則英語化されます。 これは必ずしもいきなり全て英語で授業が行われるということではないのですが、授業の履修者に英語での授業を希望する学生がいる場合には、大学側は英語で授業を提供する原則になったということで、大学が広く国際的に文句を広げ、かつ流動的に学生や教員を集めていく施策の基幹的

    大学院の講義が英語化された結果、日本人学生はリスニングができないので話を聞かずレジュメを眺め、一部積極的な留学生がたまに質問するようなスタイルになった
    azzr
    azzr 2025/05/19
    自分のときは、読み書きする論文は全部英語で、本は半々、講義はだいたい日本語だったな。/講義が英語化されると日本語の講義ノートや教科書が出なくなり、東大以外の日本語話者にも悪影響が出そう。
  • 「須藤元気さんは反ワクチンではない」国民・榛葉幹事長「本人に確認」参院選擁立への批判めぐり - 社会 : 日刊スポーツ

    国民民主党の榛葉賀津也幹事長は16日の会見で、今夏の参院選比例代表に擁立した前参院議員の須藤元気氏(47)について「反ワクチンではない」と、主張した。 国民民主は14日、須藤氏ら元国会議員4人の比例代表への擁立を発表したが、須藤氏をめぐっては原発やワクチンについての過去の発信が、党の姿勢と合致しないのではないかと、SNSなどで指摘されている。 須藤氏擁立への認識を問われた榛葉氏は「須藤元気さんについては、私は確認した。須藤さんは反ワクチンではないです」と主張。「(ワクチンについて)子どもや健康の安全を、しっかり大事にしないといけない。それは科学的論拠に基づいて、しっかりやります、というふうにおっしゃった。原発についても、代替エネルギーがない現状において、我が国の安定的な電力供給は極めて大事であり、その中においては現時点では、原発というのは極めて大事な電源、ベースロードだとおっしゃっている」

    「須藤元気さんは反ワクチンではない」国民・榛葉幹事長「本人に確認」参院選擁立への批判めぐり - 社会 : 日刊スポーツ
    azzr
    azzr 2025/05/17
    嘘つきが「私は正直者です」と答えている構図だ
  • 第27回参議院議員通常選挙における公認内定予定候補者を決定 | 新・国民民主党 - つくろう、新しい答え。

    国民民主党は14日、第27回参議院議員通常選挙における公認内定予定候補者を決定した。 ◎足立 康史(元職・比例代表) ◎菅野 志桜里(元職・比例代表) ◎須藤 元気(元職・比例代表) ◎薬師寺 道代(元職・比例代表)

    第27回参議院議員通常選挙における公認内定予定候補者を決定 | 新・国民民主党 - つくろう、新しい答え。
    azzr
    azzr 2025/05/14
    "第27回参議院議員通常選挙における公認内定予定候補者を決定した。", "須藤 元気"
  • 韓国の海女、独自の進化を遂げた可能性、冷たい海に適応か

    韓国南端の沖合にあるチェジュ(済州)島で育った女性の多くは、幼い頃から素潜りを始め、生涯にわたって潜り続ける。 (PHOTOGRAPH BY DAVID HOGSHOLT) 5月2日付けで学術誌「Cell Reports」に発表された論文によれば、韓国のチェジュ(済州)島で何世代にもわたって続いてきた海女「ヘニョ」の遺伝子を分析したところ、安全に潜水するための生理的適応が脈々と受け継がれてきた可能性が明らかになった。 ヘニョたちは一年を通してグループで海に潜り、アワビやウニなどの海産物を捕っている。水温10℃の冷たい海でも平気で潜り、海底で貝を捕って浮上する。潜水時間は比較的短いが、素潜りで1日5時間もの間、潜っては浮かび上がる作業を繰り返す。 「今でこそ、彼女たちはウェットスーツを着ていますが、1980年代までは木綿製の服で潜っていました」と論文の最終著者であるメリッサ・イラード氏は言う

    韓国の海女、独自の進化を遂げた可能性、冷たい海に適応か
    azzr
    azzr 2025/05/14
    淘汰圧に負けた人物は死ぬのか、次代に残せる子孫が減るだけなのか、どっちだろう。
  • コメ価格「決して高くない」 政府備蓄米の効果と評価―JA全中会長:時事ドットコム

    コメ価格「決して高くない」 政府備蓄米の効果と評価―JA全中会長 時事通信 経済部2025年05月13日16時57分配信 記者会見する全国農業協同組合中央会(JA全中)の山野徹会長=13日午後、東京都千代田区 全国農業協同組合中央会(JA全中)の山野徹会長は13日の定例記者会見で、現状のコメの価格について「決して高いとは思っていない」との認識を示した。政府備蓄米の放出による効果が表れ始めていると評価した。一方で「高値基調」ではあるとして、「高値で推移すると、消費者離れが出てくるので、やはり適正な価格を求めている」と述べた。 【気になるデータ】スーパーでのコメの平均価格 山野会長は、コメの価格は「長年にわたり、生産コストをまかなえていないような極めて低い水準だった」と指摘。消費者、生産者の双方が納得できる価格でコメを安定的に供給していくことが重要とした。 #JA全中 #備蓄米 経済 トランプ

    コメ価格「決して高くない」 政府備蓄米の効果と評価―JA全中会長:時事ドットコム
    azzr
    azzr 2025/05/14
    重量あたりの米の価格が小麦の3倍近い今の状況を放置したら、米食そのものが衰退していきそう。
  • エレコム、LANケーブルの規格対応表示変更 「規格満たさなくても『準拠』」は維持

    エレコムは5月12日、LANケーブルの規格適合表示を変更したと発表した。これまで、規格の全項目を満たしたものを「対応」と表示していたがこれを廃止。規格を満たす、または「自己適合宣言が可能な条件を満たした」ものは「適合」と表記する。 一方で、材質や形状などの仕様の一部が規格の基準を満たさないが、「一般的な条件下での仕様を想定した社内試験に合格したもの」は「準拠」と表記する。 「準拠」は一般的に、規格を満たした製品に使われるが、エレコムは、規格を一部満たさなくても「準拠」と表記する方針を維持。これに対して、「来の『準拠』の意味と異なっている」と、一部のユーザーが批判している。 エレコムのLANケーブルめぐっては2024年、「CAT6Aに『準拠』と書かれたフラットケーブルで、規格通りの速度が出ない」との報告が話題に。「『準拠』は『規格を満たしている』という意味であるべきで、規格通りの速度が出な

    エレコム、LANケーブルの規格対応表示変更 「規格満たさなくても『準拠』」は維持
    azzr
    azzr 2025/05/13
    優良誤認表示で消費者庁に怒られろ。
  • マイナンバーカードを更新しないことに決めた

    マイナカードが導入されたのが2016年。先陣を切って使い始めたアーリーアダプターだったので、今年(2025年)の誕生日でマイナカードの有効期限が切れる。 ここでまず「あれっ?」て思う人がいるかもしれない。マイナカードの有効期限は10年なのになぜ来年(2026年)ではなく今年に有効期限が切れるのかと。 現行マイナカードの有効期限は「発行から10回目の誕生日まで」*1 なので、2016年の誕生日前に申請したら2025年の誕生日に有効期限が切れる。 次期マイナンバーカードが2026年に導入される2026年に新仕様の個人番号カードが導入される *2 が、そこで次のような仕様変更がある。 追記欄が拡大(住所変更などで再発行しなければならないケースが減る)デザインが変わる(現行の野暮ったいデザインからスマートに)電子証明書の有効期間が体と同じ10年に(5年目の証明書更新手続きが不要になる)暗号方式が

    マイナンバーカードを更新しないことに決めた
    azzr
    azzr 2025/05/11
    似たような状況。ただ、更新をしないと次の確定申告をマイナンバーカードなしでやらなきゃいけなくなるんだよね。/まあ10年もあれば役所に行く機会はあるし、そのついでに新カードに更新できるだろうとは思う。
  • インドとパキスタン 停戦で合意 双方自制続くか予断許さぬ情勢 | NHK

    領有権を争うカシミール地方で起きたテロ事件をめぐって、軍事行動の応酬が続いていたインドとパキスタンは10日、互いに攻撃を即時停止し、停戦することで合意しました。しかし、インド側は、パキスタン側がその後も攻撃を行い、停戦合意が破られていると非難しこれをパキスタン側が否定する事態になっていて、双方が自制してこのまま停戦合意が続くのか、予断を許さない情勢です。 インドとパキスタンをめぐってはインド軍が今月7日、テロ事件への報復だとしてパキスタン側にミサイル攻撃を行ったことをきっかけとして、双方が無人機やミサイルによる攻撃を行うなど、軍事行動の応酬が続いていました。 こうした中、インド外務省は10日、記者会見を開き、「パキスタンとの間で、すべての攻撃と軍事行動を停止することで合意した」として、停戦合意が発効したと発表し、両国の軍の幹部が12日に協議を行うと明らかにしました。

    インドとパキスタン 停戦で合意 双方自制続くか予断許さぬ情勢 | NHK
    azzr
    azzr 2025/05/11
    両方が核を持っていれば全面戦争まではエスカレートしないってことかな。
  • NTTグループのCIの刷新について | ニュースリリース | NTT

    電信電話株式会社(社:東京都千代田区、代表取締役社長:島田 明)は、2025年7月1日からCI(コーポレートアイデンティティ)を刷新し、商号をNTT株式会社へ変更し、新たなコーポレートロゴを採用いたします。これに伴い、NTTグループ各社もコーポレートロゴを変更します。あわせて「NTT Group's Core」および「NTT Group's Values」を制定します。 1. 背景 NTTグループは1985年の民営化以来、固定通信からモバイル通信、ITビジネス、不動産やエネルギーなど多角的な事業を国内外で展開し、社会課題の解決に取り組んでまいりました。民営化から40年が経過し、設立時に設定した「日電信電話株式会社」という商号と、事業内容のギャップが大きくなっています。こうした中、NTTグループは、競争の激しいグローバル市場において、国内外統一のコンセプトのもとNTTグループの技術

    NTTグループのCIの刷新について | ニュースリリース | NTT
    azzr
    azzr 2025/05/09
    "商号をNTT株式会社へ変更"。一番順当な名前に収まったな。
  • トランプ氏、ベゾス氏に電話で抗議 アマゾンが関税費用表示との報道受け

    [ワシントン 29日 ロイター] - トランプ米大統領は29日、米アマゾン・ドット・コム(AMZN.O), opens new tabが米政権が掲げる関税措置が自社製品に及ぼすコストを表示することを計画しているという報道を受け、アマゾンの創業者で会長を務めるジェフ・ベゾス氏に電話をかけ、抗議した。複数のメディアが報じた。 米ホワイトハウスのレビット報道官は29日、アマゾン・ドット・コムがトランプ大統領の関税措置が自社製品に及ぼすコストを表示することを計画しているという報道を受け、「敵対的」な行為と非難した。(2025年 ロイター/Brendan McDermid) 米ニュースサイトのパンチボウルニュースは、アマゾンがサイト上の製品に関税によってどの程度のコストが上乗せされたかを表示する計画を進めていると報道。アマゾンは、自社の主要小売サイトで関税に絡むコストを表示することは一度も検討されて

    トランプ氏、ベゾス氏に電話で抗議 アマゾンが関税費用表示との報道受け
    azzr
    azzr 2025/04/30
    輸入品では関税分を表示できるだろうけど、国内生産品で原材料にかかった関税の分は表示しにくいだろうから、国内生産品の高さが余分に強調されそう。
  • 消費税廃止したとしてこれどうすんの

    消費税が廃止されたとしたら商品の値段が変わる すなわち今までの10パーセント分を0にして計算しなおすわけで。小さな店ならまだしも大型スーパーとかになると1000個以上値札を変えなければならずその手間をどうするかについては消費税廃止派はいっさい言及していない。 たぶん、まともに働いた事ないんだから 「そんなもんパソコンですぐ出来るだろ!」ぐらいに思っているのだろう

    消費税廃止したとしてこれどうすんの
    azzr
    azzr 2025/04/30
    そんなどうでもいい小さな手間は増税にも減税にも判断材料にはならないよ