先月、東京 昭島市の飲食店で食べ物をのどに詰まらせた高齢の女性に応急処置をして命を救った女子高校生2人に、東京消防庁から感謝状が贈られました。生徒たちが活用したのは、スマートフォンで現場の映像を消防の指令室に送る「Live119」という映像通報システムでした。 21日の贈呈式で、昭島消防署の及川雄史署長から感謝状を手渡されたのは、武蔵村山市内の高校に通う2年生の宮田めいさん（17）と田中杏奈さん（16）です。 2人は先月、昭島市内の飲食店で、近くの席にいた高齢の女性が食べ物をのどに詰まらせて倒れた際に、119番通報しました。 このとき2人は、スマートフォンで現場の映像をリアルタイムで消防の指令室に送る「Live119」というシステムを使い、指令室からの指示に従って応急処置をしたということです。 女性は一時、意識不明の状態になりましたが、周囲にいた人の助けも借りながら救急車が到着するまで処置

ういにゃん|フリーランスUnityエンジニアDJ Youtuber @ui_nyan 2008年よりツイッター活動を開始。東京を拠点に活動を続け、秋葉原、渋谷、新宿の多数のパーティーに出没している。その幅広いジャンルを吸収したクロスオーバーなプレイスタイルは、国内海外各地の業界人や多数のクラウドから根強い人気を誇る。今、日本で最も注目される２次元アイコンの一人である。icon:@tougehiro uinyan.com ういにゃん|フリーランスUnityエンジニアDJ Youtuber @ui_nyan ランサムウェアの侵入経路、いまはほとんどがVPN機器とかRDPの脆弱性なのね... 「怪しいメールの添付ファイル開かなきゃ大丈夫」は時代遅れなのか.... pic.twitter.com/ulYojHuWdG 2024-06-14 15:44:12

エビデンスを嫌う人たち: 科学否定論者は何を考え、どう説得できるのか? 作者:リー・マッキンタイア国書刊行会Amazonこの『エビデンスを嫌う人たち』は、『「科学的に正しい」とは何か』の邦訳が先日刊行された気鋭の哲学者リー・マッキンタイアによる「科学否定論者を説得するための方法」についての一冊である。科学否定論者とは、たとえば人為的な気候変動は起こっていないと主張する気候変動否定者に、反ワクチン、反コロナ、果てには地球は平面だと主張する地球平面説を支持している人らのことを指している。 こうした科学否定論者に共通点は存在するのか。また、彼らにエビデンスを提供することでその考えを変えることができるのか。エビデンスを提供するといっても、どのように提供するのが最も効果的なのか。エビデンスで人の意見が変えられないのだとしたら、他に変える方法はあるのかを、様々な研究をもとにして紹介する──だけでなく、

先日The Registerを見ていたらアジャイル開発の失敗率は268%も高い Study finds 268% higher failure rates for Agile software projectsという記事が目に入りました。 The RegisterはITニュースサイトで、日本で言うところのITmediaやWIRED、GIGAZINEみたいなところですかね。 その記事は元記事を紹介しているもので、『元記事はImpact Engineeringの宣伝ではあるが、アジャイル開発は期待ほどうまくいかないという疑念を抱かせるのにも十分である』というようなまとめになっていました。 ではImpact Engineeringってなんなんだよと元記事268% Higher Failure Rates for Agile Software Projects, Study Findsを最後まで読

公開日 2024/06/18更新日 2024/06/18身近なBtoCサービスを支えるアーキテクチャ大解剖　技術選定のポイントと今後の展望 多くのIT企業では、ユーザーに対してより高品質で安定した体験を提供するために、システムアーキテクチャを進化させ続けています。 本特集では、日常生活の中で多くのユーザーに利用されているサービスのアーキテクチャ設計に携わるエンジニアの方々から、技術選定の背景や意図、そして現在のアーキテクチャの課題から未来への展望まで、詳しく伺いました。この記事を通じて、各企業のエンジニアたちがどのように技術的な課題を克服し、システムの柔軟性と効率を高めているのか、知見を得ていただければ幸いです。 ※ご紹介は企業名のアルファベット順となっております アソビュー株式会社 アソビュー株式会社では「遊び」という領域に対し、マーケットプレイス型EC「アソビュー！」やD2C型SaaS

2024年7月1日紙版発売 増田亨，田中ひさてる，奥澤俊樹，中村充志，成瀬允宣，大西政徳　著 B5判／160ページ 定価2,200円（本体2,000円＋税10%） ISBN 978-4-297-14317-6 Gihyo Direct Amazon 楽天ブックス ヨドバシ.com 電子版 Amazon Kindle honto この本の概要 ソフトウェア開発でドメイン駆動設計が注目されています。ソフトウェアデザイン誌で大変好評だった，ドメイン駆動設計特集の過去記事（2024年3月号，2023年2月号など）を再編集し，1冊にまとめました。ソフトウェアの設計は現在さまざまな視点で検討されており，開発の成功をいかに実現し達成するか重要になっています。本書は，ドメイン駆動設計の第一人者である増田亨氏を中心に，現場でドメイン駆動設計を実践し得られた知見をもとに，最前線の情報を得ることができます。 第

複雑なシステムの設計と開発におけるクリーンアーキテクチャ、レイヤードアーキテクチャ、ドメインモデリング、モジュラーモノリスの活用について詳細に解説します。 具体例として輸送管理システムCREWExpressを紹介し、 依存関係のルールや抽象度の高い設計をRailsに適用する方法を共有します。 特にMVCにユースケース層を追加し、システムの柔軟性を保つ工夫について詳述します。また、Railsの一般的な開発手法であるRailsWayだけでは対応しきれない複雑さに対して、どのようにクリーンアーキテクチャの考え方を取り入れているのかを実例を交えて説明します。 クリーンアーキテクチャの基本概念や依存性逆転の原則をRails環境でどのように実現しているかについても触れています。

Rubyをはじめとする「動的型付け」のプログラミング言語は、ソースコード中に型に関する記述が陽に出てこないことが特徴で、プログラムの実行前に（静的に）型検査をすることはありません。しかし、このようなプログラミング言語においても、大規模な開発における品質の向上や開発体験の改善、実行の高速化のために、静的な解析を活用しようという試みは多くなされてきました。この記事では、動的型付けの言語のための型検査の歴史を簡単に振り返って、現在私が開発しているRuby向けの型検査器Steepとその基盤となっている型記述言語RBSについて説明し、今後の展望を議論します。 著者：松本宗太郎さん（@soutaro） Rubyコミッター。大学院でRubyプログラムの型検査の研究に取り組み、修了後はスタートアップでWebアプリケーションの開発に従事。2017年から型検査ツールSteepの開発を始め、2019年からはRu

UUIDv7 is a 128-bit unique identifier like it's older siblings, such as the widely used UUIDv4. But unlike v4, UUIDv7 is time-sortable with 1 ms precision. By combining the timestamp and the random parts, UUIDv7 becomes an excellent choice for record identifiers in databases, including distributed ones. Let's briefly explore the UUIDv7 structure and move on to the zero-dependency implementations i

はじめに こんなツイートを見て執筆をしようと思いました。 実際に、VSCodeは機能の追加や拡張機能の開発が活発に行われており、かつUIもユーザーフレンドリーであるため人気のエディターだと思います。VSCodeを使いこなせるのとそうでないのではエンジニアリングの生産性に大きな差が出てしまうと思います。 パンくずの設定 '>' を入力します。 '>' preferences: Open User Settings (JSON)を入力します。 僕のsettings.jsonは以下です。 { "workbench.colorTheme": "GitHub Dark", "terminal.integrated.fontFamily": "MesloLGM Nerd Font", "terminal.integrated.profiles.osx": { "fish": { "path": "/o

簡単にCSSアニメーションのコードを生成できるAIツールが登場しました。テキストや音声でプロンプトを入力するだけで、複雑なCSSアニメーションでも数秒でコードが生成されます。 生成されたCSSアニメーションはその場ですぐ...記事の続きを読む

はじめに とあるセキュリティインシデントにおいて、サーバを電源ケーブルごと引き抜いたという対応が行われ、X（Twitter）ではこの対応について賛否両論が見られました。このうち電源を入れたままにすべきという人の意見には、「マルウェアの中にはシャットダウンすることで自分自身を削除し、感染痕跡を削除するものがある」「メモリを調査すべきなのでシャットダウンすべきではない」のような意見が見られました。 本記事では実際にメモリからどのような情報がわかるか、そしてメモリダンプを解析することの有用性と課題について記載します。 メモリフォレンジック セキュリティインシデントにおいてはフォレンジック調査が行われる場合があります。フォレンジック調査には、HDDやSSDのようなストレージを調査対象とするディスクフォレンジック、パケットキャプチャやNetFlow、ProxyやFWのログのような通信を対象とするネッ

このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 イタリアのフィレンツェ大学などに所属する研究者らが発表した論文「Magnetic clock for a harmonic oscillator」は、時間が量子もつれから生じるという理論モデルを提唱した研究報告である。研究チームの計算結果は、時間が物理的現実の基本的な要素ではなく、量子もつれの結果として生成されたものである可能性を示唆している。 （関連記事：「なぜ時間は過去→未来にしか進まない？」を“量子もつれ”で説明か　未解決問題「時間の矢」に切り込む） 一般相対性理論では、時間は宇宙の構造に組み込まれており、この物理的現実は時空に設定されている。こ

ある中小企業が突然、不正輸出のぬれぎぬを着せられました。 捜査した公安警察の手法に疑念が持たれています。 その内幕を明らかにしようと、記者は追跡を続けました。 約1年にわたる取材録をつづります。 連載「追跡　公安捜査」は全10回です。 このほかのラインアップは次の通りです。 第1回　「公安は同じことやる」大川原化工機事件、捜査員が私に語った警告 第2回　公園の植え込みに潜む秘密資料を「拾った」私　まるでスパイ映画 第4回「残された社員の奮闘」 第5回「『利用された』医師の後悔」 第6回「公安の聴取はあったのか」 第7回「調査報道の壁」 第8回「警部補たち異例の直訴」 第9回「長官狙撃事件との共通点」 第10回「正義のありか」は23日午前6時配信予定です。 カップラーメンのスープの粉やインスタントコーヒーの粉末、粉ミルク……。 生活に身近な製品が、噴霧乾燥器で製造されていることはあまり知られ

JJUG CCC 2024 Spring 複雑な業務ロジックに立ち向かうための実践技法 【初級編】 ①値の種類 ②範囲型 ③階段型 【中級編】 ④状態遷移 ⑤入出金履歴と残高 ⑥未来在庫 【上級編】 ⑦セット演算 ⑧割合と端数 ⑨決定表 ⑩経路探索

まとめ 「マジモンの大戦争してたわ」ランサムウェア攻撃に対してサーバーのケーブルを物理的に抜く...ニコニコへのサイバー攻撃.. ニコニコのサービス停止の原因や復旧についての詳細が発表されました。 原因はランサムウェアを含む大規模なサイバー攻撃とのことです。 197205 pv 451 289 users 122

バットの芯で捉えた“いい角度”の打球が空中で失速し、フェンス手前で外野手のグラブに収まる――熱心なプロ野球ファンなら、今季どこかでそんなシーンを目撃した記憶があるのではないだろうか。 異例の事態「ホームランが消えている」 6月14日の試合を終えた時点で、セ・リーグの平均打率は.235、1球団あたりの1試合平均得点は3.02。同パ・リーグの平均打率は.240、平均得点は3.22と、近年まれに見る“投高打低”だった昨季をも下回る超低水準となっている。打率3割を超える打者はヤクルトのサンタナ（.319）、ソフトバンクの近藤健介（.341）、日本ハムの田宮裕涼（.335）と、セ・パを合わせて3名しかいない。 さらに深刻なのが「野球の華」とされるホームランの減少だ。過去半世紀の記録を遡ると、規定の反発係数（※打球の飛距離を左右するボールの跳ね返りやすさ）を満たしていない“違反球”が使用された2011

Auto increment（自動採番）型を採用したくない場合 Auto Incrementは、データベースにおいて自動的に一意の識別子を生成するメカニズムです。通常、数値型の列が対象となり、新しいレコードが挿入されるたびにその列の値が自動的にインクリメントされます。典型的なIDですかね。 ここでは一意性の確保の話や、データ移行やバックアップのデメリットには言及せず、セキュリティとプライバシーの懸念にフォーカスして考えます。 予測可能性 Auto Increment型のIDは連番であるため、次に生成されるIDが容易に予測可能です。これにより、攻撃者がシステムの内部構造を推測し、不正アクセスを試みるリスクが高まります。 情報漏洩のリスク 連番のIDはデータベースの挿入順序を反映しているため、公開されることで企業の活動パターンやデータ生成の頻度が漏洩する可能性があります。 例） 競合他社は、公

TypeScript は本質的に自分に型が付与されていると思っているだけの JavaScript です。 いくら型を付与しようが、それが実行時に影響を与えることはありません。 コードレビューをしているとここを誤解している人が本当に多いです。何度も解説しているのですが、なかなか浸透しないので、TypeScript におけるバリデーションという視点で記事を書くことにしました。 あと TS でバリデータ使って色々作ろうとしている友人と、プログラミング始めたてで zod と openapi を使っいる友人がいたので、彼らが想定読者です。 型と値の名前空間 TypeScript 上での名前空間(スコープ)は2つに分類できます。 値: 実行時にランタイム上のメモリに存在するもの 型: 静的解析時にのみ参照可能なもの。コンパイル時に完全に消滅する。 TypeScript は基本的に JavaScript

最近いろんなところで採用事例が増えてきたRustですが、Webサービス開発でのAPIサーバーを書くのにRustは向いてないと言われたりします。Rustの第一のターゲットはシステムプログラミングでありGCがないためAPIサーバー開発でシビアなメモリ管理はしたくないというのは一理あるのですが、RustでAPIサーバーの開発を実際にやってみるとむしろ開発体験が結構いいなと感じます。パフォーマンスのために難しい所有権を無理にがんばるみたいなマイナスのイメージはほとんど当てはまらなかったです。 Rustの難しいライフタイム、所有権があまり出てこない Rustにおいて難しいとされるライフタイム、所有権といった概念があり私も書く前はかなり身構えていたのですが、これに苦しむことは思ったよりも少ないです。その要因はWebサーバーで扱う処理のほとんどがリクエスト・レスポンスモデルでデータの流れが一方向でシンプ