https://www.nhk.jp/p/special/ts/2NY2QQLPM3/blog/bl/pneAjJR3gn/bp/pzwyDRbMwp/ (2022年4月10日の放送内容を基にしています) 2020年4月。「ａｂｃ予想」と呼ばれる数学の重要な未解決問題を、日本人が証明したというニュースが駆けめぐりました。論文を書いたのは、京都大学数理解析研究所教授 望月新一博士。世界的天才として知られてきた人物です。 ａｂｃ予想を証明した、博士の「宇宙際タイヒミューラー理論」。査読の完了と専門誌への掲載は、望月博士の偉業が、世界に正式に認められたことを意味しました。ところが…望月の証明はまだ受け入れられないと主張する数学者が多数現れ、今も激論が続いているのです。一つ一つ論理を積み上げていけば、誰もが同じ結論に達するはずの数学の世界。完全に正しいとする数学者がいる一方で、なぜ多くの数学者が理

2022/08/09 追記 「RFC 9293 Transmission Control Protocol (TCP)」として正式なRFCが出ました TCPのコア部分の仕様は1981年に発行された「RFC793 TRANSMISSION CONTROL PROTOCOL」で標準化されています。 この、RFC793の改訂版となる「Transmission Control Protocol (TCP) Specification」は、2013年からIETFのTCPM WGで議論されてきましたが、4月4日にIESGによって承認されました(参考URL)。現在はRFC出版の準備に入っています(新しいRFC番号はこの後正式に決まります) www.ietf.org 改めてTCPの仕様を読みたい場合はこのドキュメントを読むのが良さそう。 概要 この改訂版の仕様(通称 rfc793bis)は、RFC793が

たまには軽い話題をば。 自分の中で信頼できるエンジニアかどうか？を見極めるひとつの指標で「込み入った議論の時に図を書くかどうか」というのがあります。 今までの経験上、図を書く派のエンジニアは割と良い感じの人が多かったので採用している指標なのですが、何故これが機能しているかというのを改めて考えてみた。 他者の認知負荷を理解している コンテクストを合わせることにコストをかけられる意識がある 自分の思考の整理するツールとして図を扱えている ザッと挙げましたが、この３つが機能している要因なのかなという気がしています. 他者の認知負荷を理解している あれやこれやエンジニア間で技術議論している中で、「Aさんはこの領域に詳しいけどBさんはこの領域にはほどほど詳しいくらいだな」という個々のレベル差に応じて認知の負荷がかかります。ただでさえ議論していると結構なスピードで話が展開されていくので、認知負荷が更に

こんにちは、リファクタリングが大好きなミノ駆動です。 これは、私が執筆した『良いコード/悪いコードで学ぶ設計入門 ―保守しやすい 成長し続けるコードの書き方』について紹介する記事です。 2022年4月30日発売です（ほぼ同日に電子書籍版も出ます）。 AmazonなどECサイトで、すでに多くの予約が入っており、ヨドバシ.comでは一時期予約終了になったほどです。おかげさまで初版部数が2倍になりました。 ■どんな本？皆さんはプログラミングでバグを埋め込みたいですか？ロジック修正が上手くいかず、ヒィヒィ言いながら長時間残業したいですか？イヤに決まってますよね。ところが現実には、 何度もバグを埋め込んでしまう ロジックを読み解くのに時間がかかる やっとロジック修正しても、全然違う箇所がバグ化してしまう ……ほとんど誰もが体験しているのではないでしょうか。 でも、こうした状況をなんとかしたいと思って

リンク Wikipedia ダニング＝クルーガー効果 ダニング＝クルーガー効果（ダニング＝クルーガーこうか、英: Dunning–Kruger effect）とは、能力や専門性や経験の低い人は自分の能力を過大評価する傾向がある、という認知バイアスについての仮説である。また、能力の高い者が自分の能力を過小評価する傾向がある、という逆の効果を定義に含めることもある。 1999年にこの効果を示したコーネル大学のデイヴィッド・ダニングとジャスティン・クルーガーの説明によると、このバイアスは、能力が低い人々の内的な（＝自身についての）錯覚と、能力の高い人々の外的な（＝ 245 users 1124