80歳代の人たちの接種率がとても高いのが誇らしいところです。予防接種の政策とは、常に「もっと早い方が良かった」と言われるものですが、もちろんそういう側面はあるものの、自治体が頑張った成果が3回目接種の進み方にも表れていると思います。4回目接種も進んでいます。 他の国が流行対策を緩和する中、日本も何らかの形でいつか緩和するしかない状態になっています。 というのも、単に経済活動や政治的な側面で他の先進国に追随したほうが良いというだけでなく、進化生物学的にも日本は英国を中心とする欧米の緩和政策の判断に影響を受けていることを認識しておくことが必要です。 欧州や米国で緩和が起こると、それらの国では自然に感染する人の数が桁違いに多くなりました。感染者数が多くなるということは、実はウイルスの進化が起こる（変異が起こる）チャンスが多くなる、ということに繋がります。 ウイルスが多くの人の体に侵入して増殖し、

はじめに 千葉大学/Nospareの米倉です．今回はカルマンフィルターについて解説していきたいと思います． カルマンフィルターで何が出来るの？ フィルターとあるように，カルマンフィルターが出来る基本的なことは線形ガウス状態空間モデルのフィルタリング密度を逐次的に求めることです．ここで２つのキーワード，「線形ガウス状態空間モデル」と「フィルタリング密度」という単語が出てきましたので，まずはそれらについて解説します． 線形ガウス状態空間モデルとは 状態空間モデルとは2つの確率過程からなります．1つは潜在変数・状態変数・隠れ変数といわれるもので，これは直接観測できないがマルコフ連鎖に従う変数だとモデリングされます．例えば景気の良し・悪し等，概念として存在するけれど直接は観測できないものを想像してください．2つめは観測値で，これは直接観測できるもの，つまりデータです．ただし変数に依存して観測される

今回の通信障害では、音声電話やSMSが一時つながらなくなったほか、データ通信がつながりにくかったり途切れたりといった状態になった。影響を受けた回線数は7月3日午前11時時点の概算で最大約3915万回線。内訳はスマートフォン・携帯電話が同約3580万回線、MVNO（仮想移動体通信事業者）向け回線が同約140万回線、IoT（インターネット・オブ・シングズ）回線が同約150万回線、「ホームプラス電話」回線が同約45万回線。 通信障害のきっかけとなったのは、メンテナンスの一環としてモバイルコア網と全国各地の中継網をつなぐコアルーターのうち、1拠点で旧製品から新製品へ交換する作業。これに伴い通信トラフィックのルート変更を実施している際に「VoLTE交換機でアラームが発生した」（高橋社長）。確認したところ「ルーターのところで何らかの不具合が起き、一部の音声トラフィックが不通になったことが判明した」（同

Photo by charlesdeluvio on UnsplashWhy Should We Care About Design PatternsSimply put, design patterns help us solve problems by creating a reusable solution that we can use as a template for our software. That being said, design patterns aren't algorithms and you can't paste them into the code base. They give you a template of sorts, but if misused some patterns may cause additional complexity an

このセッションは、以前はそれほど気にしていなかったプロダクトそのものや、マネジメント、最近耳にするようになったプロダクトマネジメントについて、徐々に当事者になりつつある方に向けたセッションです。プロダクト作りに注力するチームや、プロダクトオーナーが知識の土台を揃えられ、異なる立場の人との効果的なコミュニケーションに役立ちます。 一言で「あっ (プロダクト|マネジメント|プロダクトマネジメント)ってそういうことだったのかー!」が得られるセッションです。ビジネス側やマネジメント層と区別される人達とも、よりスムーズなコミュニケーションができるようになります。私自身がプロダクト開発にはじめて接するときにはじめに聞きたかったことをお伝えします。 『プロダクトマネジメント大全 上 2.0』 https://booth.pm/ja/items/2657772 『プロダクトマネジメント大全 上 2.0』お

今回は改めてHTTP/3とはどのようなもので、QUICとは何か、HTTP/2時代からの改善点と我々はHTTP/3の波に乗るべきなのかチェックしていきたいと思います。時がたち次世代Web通信プロトコル「HTTP/3」の標準化プロセスが完了し、2022年6月に「RFC 9114」となりました。既に基盤となる「QUICプロトコル」の標準化プロセスも完了し、RFC9000としてRFCとなりました。もうHTTP/3は無視出来ないところまできています。 HTTP/3の誕生と歴史HTTP/3とは、HTTP/1.1　HTTP/2に続く新しいバージョンの約束事です。HTTP/1.1からHTTP/2は様々な点で劇的な進化を遂げましたが、HTTP/3はHTTP/2の根本的な課題をTCP・TLSの融合という形で解決し問題点を補うよう進化してきました。 1991年：HTTP/0.9（HTTPの始まりGETメソッドし

かつてフジテレビで放送されていた『ウケメン』というコント番組が好きだった。その中でも3時のヒロインの福田麻貴が演じる「まいみょん」というネタが印象に残っている。 「あいみょんに憧れた女」が主人公のものまねコントで、あいみょんを意識したであろうファッションの女の子がギターを弾きながら歌うコントだ。 View this post on Instagram A post shared by ３時のヒロイン 福田麻貴 (@fukuda_maki_3ji) まいみょんにはオリジナル曲がある。『ツブヤキノヒ』という曲だ。あいみょんの『ハルノヒ』という曲を意識してつけられたタイトルなのだろう。曲調も特徴を上手く捉えていて「あいみょんの新曲？」と勘違いする人がいてもおかしくないクオリティだった。 しかし歌詞にまではあいみょんの個性を反映させられなかったのだろう。サビの文面だけを読むと、独特な表現であるある

コロナ禍になり早2年が経過し、新たな生活様式が浸透しつつある一方で、コミュニケーションの希薄化により孤独感や生きづらさを感じる人は増えています。そこで本イベントでは、陸上自衛隊初の心理幹部として多数のカウンセリングを経験し、約300件以上の自殺や事故にかかわってこられた下園壮太氏が、メンタルヘルスに関する悩みに答えました。本記事では、コロナ禍で増加した「メンタル不調」に有効な解決策を語っています。 なぜかわからないけど疲れる……その主な原因は「場合感情労働」 下園壮太氏（以下、下園）：なぜかわからないけど疲労が蓄積していることを「ステルス疲労」というんですが、頭脳労働でも肉体労働でもなく、一番大きいのが現代人の「場合感情労働」です。お仕事は一応8時間労働までとか、残業も決まりがあるんですが、私たちの「感情」については、休みもどれだけでも働かせてます。 いろんな情報社会の中で、どんどん感情が

ぼーっと。最近は、フルスタックすきまエンジニアっぽい。と思ったので、とりあえずタイトルだけ書いて、深く考えずに書き始めてみる 僕は、好きなサービスの周りのことだと、何をやっても楽しいタイプなので、これをやったらチームにとって良さそうかな、って思うことをやってたら楽しい。ただ、そのままどっかに行ってしまうとあれなので、軸足はコーディングに置くように意識してる あと、自分は色んなことを同時に考えられるタイプではないので、たくさん面白そうなことがある中で、最大でも3個くらいしか選べないよなぁと思っている。それ以上手をだしてしまうと、混乱する。だから、今の自分がどのスキマを埋めるのがいちばんいいかなぁってのを雰囲気で考えながら動いてると思う。たぶん 具体的に何をやってるかなぁって考えてみる。色々あるけど、同時にやってるわけじゃなくて、どれかをやってるときは、別のことは横に置いてる コード周り 軸足

IntroductionToday, June 21, 2022, Cloudflare suffered an outage that affected traffic in 19 of our data centers. Unfortunately, these 19 locations handle a significant proportion of our global traffic. This outage was caused by a change that was part of a long-running project to increase resilience in our busiest locations. A change to the network configuration in those locations caused an outage

κeenです。 Rustaceanのみなさんは普段書いてるRustのコードを検証するのに cargo check や cargo test などのツールを使っているかと思いますが、それらを強力にするツールの miri 、 MIRAI 、 kani をそれぞれ紹介します。 Rustにはいくつかコードの正しさや行儀のよさを検査する方法がありますね。 cargo check や cargo test 、 あるいはビルドしたバイナリを走らせて検証したり色々手を尽くしているでしょう。 ですがこれらだけだとあらゆる種類のバグを拾いきれる訳ではないのもみなさん承知の通りだと思います。 既存の方法だと手が回らない所があるので他のアプローチでコードを検証してくれるツールがあると嬉しいですよね。 そういったツールを3つ紹介します。 先に注意しておくと、これらのツールはまだ成熟しきってはおらず使いづらい点、使い

どうも！マッチョな料理研究家だれウマです。 今回は鶏むね肉で作ることができる「やばい鶏むねステーキ」の作り方をご紹介いたします。鶏むね肉は他のお肉に比べると安い！しかし味が淡白で何よりパサつきやすい…。鶏むね肉特有のあのパサつきが苦手で食べるのを避けてきている方もいらっしゃるのではないでしょうか？ 毎日2枚弱鶏むね肉を食べ続けている私だれウマは、鶏むね肉がやばいほどおいしくなるステーキの作り方を知っているんです！（親の顔より鶏むね肉を見ています） 今回ご紹介する方法で作っていただくと、鶏むね肉が驚くほどしっとり柔らか！そして最高に食べ応え抜群の一品に仕上がります。 「安い！旨い！高たんぱく！」と最強の3拍子がそろった「やばい鶏むねステーキ」をぜひ一度お試しください！ 「やばい鶏むねステーキ」のレシピ 材料（1～2人前） ・鶏むね肉（皮は剥がさない）…1枚 ・塩…ふたつまみ ・片栗粉…大さじ

太陽光アンチによるヘイトの凄まじさ 東京都の太陽光発電設置義務化に関する先の記事について、多くのコメントが書き込まれ、図らずも、太陽光をめぐる議論の凄まじさを可視化することになりました。 筆者は別に太陽光発電をビジネスにしていませんし、シガラミもありません。ただひたすらに、日本のみんなが「冬暖かく」「夏涼しく」「電気代の不安なく」暮らせる家造りを研究しています。本稿では、その続編として、よくある疑問を題材に、よりよい家造りを考えてみましょう。 疑問1：太陽光パネルのほとんどは輸入品だ。輸入品の普及をゴリ押しする政策は売国行為だ 現状、日本に流通する太陽光パネルの多くが輸入品なのは事実です。貿易統計によるとその輸入金額は2014年に8167億円とピークに達した後、2021年には2500億円にまで減少しています（図表1）。 一方、図表2に示したように、化石燃料の輸入金額は2021年に16兆80

屋根載せ太陽光は自家消費優先なら他人に負担を押し付けない 疑問3：太陽光はどれもダメ！　もちろん住宅の屋根載せも論外‼ メガソーラー問題のせいで、太陽光全般、いや再エネ全般に、ベッタリとダークなイメージがついてしまいました。しかし、太陽光の問題を、メガソーラーと住宅屋根載せとで一緒くたに議論するのは適切ではありません。そもそも、FITの買取金額に占める、住宅用の10kW以下の太陽光の割合は全体の1割以下とわずか（図表4参照）。住宅の屋根載せ太陽光は、再エネ賦課金高騰の主犯ではないのです。 かつては住宅の屋根載せも、FIT買取の売電単価が高く設定されていたため（2012年には42円／kWh）、できるだけ大きな太陽光パネルを載せて目一杯発電して、系統に売電しまくるのが一番オトクでした。 しかし、結局は売電狙いなので、メガソーラーと同じように、太陽光を載せていない人に負担を押し付けてしまうもので

アンクルボブ is 誰？ I went on to develop a twoday ScrumMaster course, the rst of which was conducted at ObjectMentor in Chicago in 2002. 私（ケン）は2日間のスクラム Robert C. Martin マスターのコースを開発し た。最初のコースは2002年に シカゴのObjectMentor（ア ンクルボブの会社）で実施さ れた。 https://www.scrum.org/about fi 5 https://www.scrum.org/about

VSCode の更新情報を見ていたら Dev Container の仕様と、リファレンス実装の CLI ツールについて記載がありました。 Development Container specification Our development container teams across Microsoft and GitHub continue active development on the new Dev Container Specification, and this iteration had several exciting highlights. どういう風にやってきたのか Dev Container(devcontainer) の元は VSCode の Remote - Containers で使われている開発コンテナ(とその設定ファイル)のことです。これを VSCode