【速報版】 1+1=2 笑えない数学 - Sokratesさんの備忘録ないし雑記帳
NHK で放映された『笑わない数学』という番組の次の回が話題になっている． www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが，いくつか怪しい説明や誤解を招く説明，端的に誤っている説明が散見された．というか，全体を通してそういうものがとても多かった．どう少なく見積もっても番組の内容の半分以上がそういうものになっている．正直，全然笑えない．笑わないのではなく笑えない． この記事はそういった説明に注意喚起を促し，簡単にだが訂正をするための記事である．NHK+ での配信期間が一週間のため，かなり急いで書いている*1．そのため，いくつかわかりにくかったり文献を引き損ねている場合がある．何らかの形で，わかりやすさや文献をしっかり引いたものを書くつもりではいるが「このあたりの説明は怪しい」ということを書いておくだけでも意味
きちんと休むことが、「高度な技術」であることを多くの人は知らない
今、多くの人が、気付かぬうちに疲れやストレスを抱えています。 科学技術の高度化により、私たちは便利で快適な生活を手に入れやすくなりました。ほとんどの人がスマートフォンやタブレットなどを手にし、ネットで手軽に有益な情報や娯楽を得ることができます。 それでも、心と身体のバランスを崩してしまう人は後を絶ちません。精神を患う人、睡眠に問題を抱える人、メンタルヘルスの不調による休職者は増加し続けています。 コミュニケーションがますます複雑化した結果、情報が多すぎて処理しきれなくなり、何を信じ、何を頼りにして生きればいいのか分かりにくくなっているのかもしれません。 家に帰ってきても、心配事がなくなることはなく、知らず知らずのうちに心身が疲弊してしまっている人、限界までストレスをためてしまっている人、心の傷を負ってしまっている人が少なくないのです。 そして、「いくら休んでも、疲れがとれない」「そもそも、
自作PC2023: Ryzenをやめた - k0kubun's blog
Ryzenはゲーム用CPUとしては特に問題ないのだが、 ソフトウェア開発においてはIntelのCPUに比べて不便なポイントがいくつかある。 日々業務で使っていてあまりにもストレスが溜まるので、CPUをIntel Core i7に変更した。 このマシンは8年前に組んだ自作PC なのだが、使っていて不便を感じたパーツを差し替え続けた結果、 今回のアップデートで全てのパーツが当時とは違うものに変わったため、 それぞれ古い方のパーツで不便だったポイントなどを紹介したい。 仕事で使う自作PC 社内のサービスをいじる時は会社から貸与されているM1 MacBook Proを使うのだが、このマシンは不便である。 Rubyのビルドは自分のLinuxのマシンに比べ2倍以上遅いし、Reverse Debuggingができるデバッガが存在しないし、 慣れたツールであるLinux perfも使えないし、Podman
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
