タグ

2023年10月30日のブックマーク (8件)

  • #3 「1+1=2」(シーズン2) - 笑わない数学

    https://www.nhk.jp/p/ts/Y5R676NK92/blog/bl/pmg0p5PX8L/bp/pn5mM2Azan/ 「1+1=2」、皆さん、いかがでしたでしょうか? 「まじか? 『1+1=2』って証明できるんだ!」ってびっくりされた方も多かったのではないかと思います。 「いや、その証明、よく分かんなかったから、もう一度見たい!」、「私は見逃しちゃったよ!」という方は、NHKプラスでは放送から1週間、NHKオンデマンドでは放送から1年間、それぞれ配信していますので、ぜひご覧ください! そう、「1+1=2」は証明できるんです。と言うか、数学ですから証明することを避けては通れません。だから数学者は証明のための基礎固めを19世紀後半から20世紀にかけてやることになったわけですね。 でもそのために「1」とか「2」という「数とは何か」とか、「+とは何か」みたいなそれまで当たり前だ

    #3 「1+1=2」(シーズン2) - 笑わない数学
  • 国の基金残高 3月末時点で16兆円余 実態検証し見直しへ 政府 | NHK

    経済対策など国の事業のために積み立てられた基金の残高は、ことし3月末の時点で16兆円余りに上り、政府は、新型コロナの感染拡大を受けて必要性が十分精査されないまま積み上がった可能性もあるとして、実態を検証し、見直すことにしています。 国の事業のため各府省のもとに設けられているおよそ150の基金について、政府は、行財政改革の一環として、運用状況を調べました。 それによりますと、過去10年間で各基金に積み立てられたのは総額35兆円で、およそ8割に当たる28兆円が、新型コロナの感染拡大を受けて緊急経済対策の策定が相次いだ令和2年からの3年間に集中しています。 一方、過去10年より前のものも含め、これまでに積み立てられた基金のうち、使われていない残高は、ことし3月末の時点で16兆6000億円に上っています。 内閣官房の担当者は「コロナ禍の時期を中心に、必要性が十分精査されないまま積み上がり『水ぶくれ

    国の基金残高 3月末時点で16兆円余 実態検証し見直しへ 政府 | NHK
  • 「事実をポジティブに書きたい」声優 悠木碧が問い続ける言葉への責任

    『魔法少女まどか☆マギカ』(鹿目まどか役)や『戦姫絶唱シンフォギア』(立花響役)、10月放送開始の『薬屋のひとりごと』(役)などのアニメで主演をつとめる人気声優・悠木碧さん。彼女の半生を振り返った全20篇の書き下ろしファーストエッセイ『悠木碧のつくりかた』が9月21日、ついに発売となった。 書は、「お仕事篇」「推しごと篇」の2パートで構成。彼女の幼少期から現在、そしてこれからが詰まった、“ここだけ”のエピソード満載の一冊になっている。 悠木碧さんといえば、X(旧Twitter)での投稿や「バーフバリ」「プリキュア」などの作品論評をはじめ、軽やかで小気味良い文体が印象的だ。当然、エッセイでもそれは健在。前向きで、暖かくて、読んでいると自分もどこかポジティブになれる。同時に、なぜこんな文章を書くことができるのだろうかと興味を抱いた。 そこで今回は、前向きな言葉選びや言葉遣いの理由、自身の

    「事実をポジティブに書きたい」声優 悠木碧が問い続ける言葉への責任
  • 認知負荷および認知負荷理論 (Cognitive Load Theory) をもう少し正確に理解するための心理学研究・知見の紹介

    認知負荷および認知負荷理論 (Cognitive Load Theory) をもう少し正確に理解するための心理学研究・知見の紹介 この記事の目的 ここ数年で、ソフトウェア開発やプログラミングの文脈で、「認知負荷」 および 「認知負荷理論」 という用語をよく見聞きするようになりました。私が今思い出せるだけでも、以下のような書籍や Podcast で重要なキーワードとして取り上げられています。 A Philosophy of Software Design, 2nd Edition チームトポロジー 価値あるソフトウェアをすばやく届ける適応型組織設計 プログラマー脳 ~優れたプログラマーになるための認知科学に基づくアプローチ fukabori.fm 102. A Philosophy of Software Design (3/3) w/ twada この「認知負荷」ですが、少なくとも近年見聞

    認知負荷および認知負荷理論 (Cognitive Load Theory) をもう少し正確に理解するための心理学研究・知見の紹介
  • 「年収300万円の男性の63%が子どもを持たずに生涯を終える」交際への興味、性経験がない人の衝撃データ 未婚率の上昇は"若者の恋愛離れ"が原因ではない

    少子化の原因として未婚化、ひいては若者の恋愛離れが問題視されがちだ。当にそうなのか。東京財団政策研究所主任研究員の坂元晴香さんは「交際相手がなく異性との交際に興味がないと答えた男性の内訳を見ると、年収300万未満で75%を占めており、年収800万円以上は0.1%しかいない。実際、年収300万円の男性が生涯子どもを持たない割合は62.8%。少子化の原因が若者の価値観の変化ではないことは明らかだ」という――。 少子化の原因は「若者の価値観の変化」ではない 2022年に我が国で生まれた日人の子どもの数(出生数)は77万747人で、統計を開始した1899年以降最も少ない数となり、初めて80万人台を下回った。政府も「異次元の少子化対策」を打ち出すなど、止まらない少子化をいかにくいとめるかが喫緊の課題となっているが、残念ながら現在のところ出生数が回復基調に戻る兆しはない。 そもそも、少子化対策を実

    「年収300万円の男性の63%が子どもを持たずに生涯を終える」交際への興味、性経験がない人の衝撃データ 未婚率の上昇は"若者の恋愛離れ"が原因ではない
  • さよならVMware。本日(10月30日)Broadcomによる買収完了で、企業としての存在に幕。VMwareブランドは引き続き残る

    さよならVMware。日(10月30日)Broadcomによる買収完了で、企業としての存在に幕。VMwareブランドは引き続き残る Broadcomは10月18日付けのプレスリリースで、10月30日にVMwareの買収を完了する予定だと発表しています。 買収完了には主要各国の規制当局による認可が求められますが、現時点で中国を除く主要各国の認可が得られています。そのため、おそらく買収は予定通りに完了し、企業としてのVMwareは25年の歴史に幕を下ろすことになると見られます。 2023年10月31日追記:現地時間の10月30日付けで最新の状況が発表されました。買収が現地時間30日中に完了するかどうかは明記されていませんが、いずれにせよ間もなく買収が完了する見通しとのこと。 Broadcom and VMware Provide Update on Pending Transaction -

    さよならVMware。本日(10月30日)Broadcomによる買収完了で、企業としての存在に幕。VMwareブランドは引き続き残る
  • 5秒のことを200字かけて書く~古賀さんの日記の書き方

    デイリーポータルZ読者にはおなじみの古賀テンションだが、日記で古賀さんを知った人にはこのテンションで良いのか不安になる。 だってではこんな感じである。 昼は私も娘も各自好きにべ、午後リモートでうちあわせをしているうちに娘は作文教室へ行った。 PCのファンの音がとまり、IHコンロのファンの音もとまり、私以外には誰もおらず、すると一気に静かになった。うるさく感じていたわけでもなかった音がやむ、その瞬間の雰囲気が好きだ。 (「ちょっと踊ったりすぐにかけだす」 p.236) 生活のなかの一瞬を描写している。 この日記の書き方を習うために散歩してその様子を書くことにしたい。習うのは林。編集部の橋田さんにも話し相手として散歩に同行してもらった。 まずは散歩の様子をいつものデイリーポータルZ風にざざっと記し、そのようすを古賀・林がどのように日記にするかを検証したい。 まずはいつものデイリーポータル

    5秒のことを200字かけて書く~古賀さんの日記の書き方
  • HTTPを手で書いて学ぶ ファイルアップロードの仕組み

    Kaigi on Rails 2023の登壇資料です!

    HTTPを手で書いて学ぶ ファイルアップロードの仕組み