背景 近年、企業システムに対するサイバー攻撃は多様化・高度化しており、企業は日々新たな脅威への対応を迫られています。さらに、脆弱性の発見件数も年々増加傾向にあり、システムのリリース前後を問わず、潜在的な脆弱性をいかに早期に発見し適切に対策を講じるかが、事業継続や信頼性維持の観点からますます重要になっています。 一方で、脆弱性診断については多くの企業が外部ベンダーへ発注するケースが一般的ですが、脆弱性の増加やリリースサイクルの高速化により対応しきれないケースが増えつつあり、内製化への関心も高まっています。 こうした背景を踏まえ、当プロジェクトでは「脆弱性診断内製化ガイド」を作成しました。ガイドの作成にあたり、まず複数のツールを用いた技術検証で脆弱性診断の概要や概念、自動・手動診断の違いを整理し、それぞれの特性や有効性を明らかにしました。そのうえで、文献調査やアンケート、有識者・内製企業へのヒ

MITの物理学者チームが、量子力学の根幹を揺るがし続けた98年来の歴史的論争に、ついに最終的な決着をつけた。ノーベル賞物理学者Wolfgang Ketterle（ヴォルフガング・ケターレ）教授が率いる研究チームは、1万個以上の原子を絶対零度近くまで冷却し、それを「スリット」として利用するという、史上最も理想化された「二重スリット実験」を敢行。光が粒子と波の二つの顔を同時に見せることは不可能であると、前例のない精度で証明した。この結果は、Niels Bohr（ニールス・ボーア）の主張を裏付け、Albert Einstein（アルベルト・アインシュタイン）がこの特定の量子シナリオについては誤っていたことを示している。 量子力学の心臓部に横たわる世紀の謎：「二重スリット実験」 物理学の世界で最も有名かつ不可解な実験は何かと問われれば、多くの科学者は「二重スリット実験」と答えるだろう。1801年に

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 生成AIに「要件定義プロンプト」を作らせてみたら、未来が見えた話 要件定義って何から書けばいいの？ 😕 いつも同じような項目で悩んで時間がかかる… ⏳ もっと効率よく、質の高い要件定義書を作りたい！ 😫 そんな悩みは 生成AIに「要件定義プロンプト」を作ってもらう で解決できるかもしれません。 1️⃣ なぜ生成AIにプロンプトを作らせようと思ったか？ 「要件定義」はプロジェクトの成功を左右する重要な工程ですが、品質が担当者によってバラついたり、何を書くべきか迷うことも多いですよね。 そこで、「デキる人が書いた質の高い要件定義書」を学

優先的に見る。実は二次情報が多いため、即時性はそこまで高くないことが多い。多くは1日から数日のラグがある。一次情報というと"BleepingComputer has learned" や404 Mediaの独自取材程度か。 正確性に関しては4としているが、全体的傾向として社会的記事についての正確性は高い一方、技術的記事に関しては誤った理解をもとに記事化されることがしばしばあるので、怪しいなと思ったら元情報源を見ながら読むようにしている。 狭義の「サイバーセキュリティ」に対する網羅性は高いが、周辺分野（サイバー政策、GRC、サイバー犯罪1等）に対する網羅性は実は高くない。とはいえ、スタートラインとしては優秀。まずはBleeping Computerからというよく聞く結論になる。 一般ニュースサイト（国際） 見出しへのリンク 即時性 正確性 網羅性 凝集性

堀田先生の書籍『入門 現代の量子力学』のまえがきでは，「情報理論の観点からの最小限の実験事実に基づいた論理展開で、確率解釈のボルン則や量子重ね合わせ状態の存在などを証明する」と書かれています。堀田先生が提示された前提から量子論の数学的構造がただ一つに定まることを演繹的に導けるとのことです。私は，その主張には致命的な誤りがあることをいくつかの記事で述べてきました。 ほかの人が私の記事と堀田先生の記事の両方を読んで内容を理解することはきっと大変な作業であるため，結局どちらの主張が正しいのかがよくわからなかった人が少なからずいらっしゃったのではないかと思います。そこで，この記事では，堀田先生が提示されている前提のみからは量子論の数学的構造を演繹的に導くことは不可能であることを，量子論の基礎知識があればこの記事のみからほぼ完全に理解できるように，ていねいに説明します。 補足：今回の記事の主張は，こ

論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』（世界思想社、1991年（新装版2021年））も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる（他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井本で述語論理などを学び進めることもできる）。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい（あとは自分で考えるから）》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? みなさんプログラムは書いていますでしょうか。この一年でChatGPTができ、CopilotにCopilot Chatなど色々なAIツールが出ていますが今回お勧めするのはPhindというAIアシスタントです。 Phindとは Phind(Phind.com)とは端的にいえばGPT-4を超えるコーディング能力に特化した言語AIです 参考リンク：大規模言語モデル「Phind」がコーディングにおいてGPT-4を上回る リンク内で言われているように、WebからChatGPTやGoogleのように簡単に使うことができますが、Phindの真髄はここで

「危機が迫った時に私たちは容易に人を攻撃する」人文社会科学系の委員が新型コロナ対策で貢献したこと、残った課題 政府の「新型コロナウイルス感染症対策専門家分科会」が廃止され、人文社会科学系の研究者として参加した武藤香織さんが貢献したこと、課題として残ったことについて総括しました。

林修オフィシャルブログ「いつやるか？今でしょ日記」Powered by Ameba こんにちは。東進ハイスクールの現代文講師、林　修です。日々に思い、少し考えたことをぼちぼち発信していきます。 実は、ここ数年、SNSにおいて、私が問題提起のために第三者の主張を引用した際の発言を切り抜き、あたかも私が「年収８９０万～９２０万ないと社会のお荷物」であるという見解を持っているかのような虚偽事実を投稿されることが多々あり、いわれなき誹謗・中傷に悩まされてきましたが、今回対応策を取ることにしましたので、皆様にご報告申し上げます。 ことの発端は、２０１９年放送の「林先生が驚く初耳学！」（MBS）の番組内企画として、「高学歴ニート」と言われる方々に「講義」を行ったことです。 番組の準備に際して、私が心掛けたことはまず決して彼らを否定しないことです。つまり彼らが（主体的に）選択した生き方を、第三者である私

スイスにある自らのスタジオで取材に応じたＷ・ベルトラッキ氏と妻のヘレン氏/Vera Hartmann/13 Photo/Redux ドイツのベルトラッキ夫妻は、数十年にわたって贋作（がんさく）を描き、証拠を改ざんし、念入りに証拠を隠ぺいしてきたが、たった一つの不注意な行動により、彼らの偽造が明るみに出た。 夫のウォルフガング・ベルトラッキ氏は、絵画の偽造用の白色の絵の具に使用する亜鉛を切らしたため、代用品としてオランダのメーカーから亜鉛顔料を購入した。しかし、そのメーカーはその顔料にチタンが含まれていることを開示していなかった。 翌年、ウォルフガング氏が描いた贋作のひとつがオークションにかけられ、２８０万ユーロ（現在のレートで約４億円）という記録的な高額で落札された。「Ｒｅｄ　Ｐｉｃｔｕｒｅ　ｗｉｔｈ　Ｈｏｒｓｅｓ」と題されたこの絵は、表現派の画家ハインリヒ・カンペンドンクの作品とされてい

東京新宿・歌舞伎町。 飲食店や風俗店、それにホストクラブ、キャバクラ店などがひしめき合う歌舞伎町。 その中心部に、10代の男女が多く集まる広場がある。 ここは、近くにある「新宿東宝ビル」の名前にちなんで、「トー横」と呼ばれている。 歌舞伎町に詳しい人物によると、3年ほど前から中学生や高校生くらいの少年少女がどこからともなくやって来るようになったという。 私たちがまず感じたのは、そこにいる子どもたちの独特なファッションだ。モノトーンの洋服に厚底のブーツを合わせ、目の涙袋を際立たせたメイクは、「地雷系」などと呼ばれている。 こうした格好で自分たちの動画や写真を撮影して、SNSに投稿するのが大きなブームになっているという。

電子メール、ネットワーク機器集中管理、異常検知、分散処理、クラウド基盤などのシステム開発に従事。古代Rubyist。 CLI や TUI なアプリケーションを使っていると、端末の画面が崩れてしまうことがよくあります。 たとえば、こんな TUI が、 環境によってはこんな感じで崩れます。 スクロールなどをしながらしばらく使っているとさらにどんどん崩れていきます。 こうなってしまった場合、とりあえず Ctrl-l で画面を再描画することで、大抵はなんとか読める程度にリセットできますので、ことあるごとに Ctrl-l を連打することになります。 ですが、どうしようもないケースもままあります。 例えば、私の場合は以下のようなシチュエーションで困ります。 w3m でテーブルなどを表示するとレンダリングが崩れる less でログの閲覧の際に表示されるべき文字が表示されず見落としが発生する Wander

こうです。 新しい住居を探そうとしたとき、「会社から歩いてちょうど 30 分のところに住めたら QOL 高くない？」と思いました。(運動できる、公共交通機関と無縁、買い物もできるetc...) でも ある一点を中心とした移動可能エリアを知りたいとき、円でざっくりと表示をする以外のアプローチがほぼない ことに気がつきました。海外サイトも含めかなり調べてみましたが、類似のサービスは見当たりません。 という経緯でつくったのが How far can I go? というサイト。 ぽちぽちやっていただければわかりますが、結果の精度はかなりのものと思われます。特に道の有無や川沿いなどを検証してもらえるとその効果がすぐにわかるかと。 転職先が決まっているなら、そこにピンを差して交通手段と所要時間を設定してください。HOME'S などの住宅検索サービスには条件絞り込みをしたあとにそれらを地図上にまとめてマ

最強の WSL 環境を作る まあ、何が最強なのかよくわからないのですが。 WSLg は GUI が動いて音もなるので大変便利なのですが、systemd が動作していない弱点があります。LXD を多用している身としては結構しんどいのですね。 snapd が使えないので、JetBrains の開発ツールをインストールするのもちょっと面倒。まあ、Ubuntu Make を使えばいいのでそれほど気にはしていないのですが... というわけで、定期的にいろいろ試している今日この頃、ようやく自分が常用しているものが全部動く環境が作れました。 セットアップ (2022/01/11 追記) 手順は、入力するコマンドを PowerShell だったり、WSL だったりといりみだれます。次のルールで書いていますので、間違えないようにしてください。 プロンプトが > のときは PowerShell に入力してくだ

NTTドコモは11月30日、iモード公式サイトのサービスを終了した。ある意味で日本の2000年代を支えた存在の終了であり、1つの時代の終わりともいえる。 一方で、「iモードとはどういう意味を持った存在であるか」については、少々誤解も多いように思う。iモードの全てが日本独自で悪いものではなかったし、現在の目で見て無価値なものではない。 iモードがなぜ盛り上がり、そしてスマホの勃興とともに消えていったのかは、業界構造を含めた理解が必要になる。 そしてそのことは「ガラケー」と呼ばれるフィーチャーフォンが、本当はどういうものだったのかを考え直すきっかけともなる。 今回は改めて、「iモードとは何だったのか」を考えてみたい。 この記事について この記事は、毎週月曜日に配信されているメールマガジン『小寺・西田の「マンデーランチビュッフェ」』から、一部を転載したものです。今回の記事は2021年12月6日に

伝わるデザインの基本 増補改訂3版 よい資料を作るためのレイアウトのルール 著者 高橋佑磨，片山なつ　著 発売日 2021年4月13日 更新日 2021年4月14日

回答 (6件中の1件目) 私はWindowsのカーネルを熟知しており、Linuxのカーネルについてはそれなりに知っています。 意外に思われるかもしれませんが、類似点の方がずっと多く、違いは少ないです。私がよく言う違いの1つは、LinuxのI/OモデルはUNIXから継承した同期式が基本で、WindowsのI/OモデルはVMSから継承した非同期式が基本であるということです。WindowsのI/Oリクエストの設計は、同期式と非同期式のI/Oを美しく管理できる優れた設計になっています。Linux(及び普通のUNIX)でも非同期のI/Oは可能ですが、そのための統一された仕組みはありません。これは...