Googleは2025年7月3日（現地時間）、ゼロ知識証明（Zero-Knowledge Proof、以下ZKP）技術のライブラリーをオープンソース化したことを発表した。同社がドイツの金融機関シュパーカッセと協力し、欧州連合（EU）における年齢確認制度を支援する取り組みの一環であり、以前からの公約を実行した形となる。 ZKP技術のライブラリーをオープンソース化　開発者が受ける恩恵とは？ ZKPは、ある特定の事実を第三者に証明するときに、他の一切の情報を提供することなく信頼性を確保できる暗号技術だ。利用者があるWebサイトにアクセスしたとき、自身が18歳以上であることのみを証明しそれ以外の個人情報を一切開示せずに確認を完了できる仕組みを実現できる。ライブラリーが公開されたことで、開発者は独自のプライバシー重視型アプリケーションやデジタルIDソリューションを構築しやすくなる。 今回のライブラリ

こんにちは！ かがみあやかと申します。 私はInstagramやnoteで物理学系クリエイターとして 物理学の発信をしています。 北海道大学理学部物理学科を卒業し、修士課程（物理学専攻）を修了。 その後は企業で研究開発職として働いていました。 Instagramを中心に、物理学の用語（電磁波や放射線、量子力学など）に関する誤解が多いことを感じ 少しでも正しい知識を知ってもらいたいという気持ちで発信活動をしています。 さて、先ほども少し触れましたが 最近SNSを中心に「量子力学」という言葉がよく見られるようになりました。 書店に足を運ぶと、自己啓発やスピリチュアルコーナーにも「量子力学」の文字が躍る本がずらりとならんでいます。 しかし、こういったところで見かける量子力学は 本来物理学で研究されている量子力学とはまったく中身が異なるものです。 よくよく見てみると 「引き寄せの法則は量子力学で証

謹啓　平素は弊社出版物についてご愛読いただき誠にありがとうございます。 さて、今般のイラストレーターがおう氏に関する一連の報道についてですが、弊社よりがおう氏本人への確認を行った結果本人も事実と認めております。弊社としてはこの件を大変重く受け止めており、現在刊行中であります『ギルドの受付嬢ですが、残業が嫌なのでボスをソロ討伐しようと思います』（電撃文庫刊）の原作イラストレーター降板ならびに関連出版物の対応を社内および社外関係者と協議し以下とする事といたしました。 今回の件で読者の皆様、『ギルドの受付嬢ですが、残業が嫌なのでボスをソロ討伐しようと思います』の著者である香坂マト先生をはじめとする関連出版物の関係者様、書店、販売会社、電子書籍ストア、アニメ製作委員会、ライセンシーなど関係する企業の皆様に多大なご迷惑をおかけしましたことを深くお詫び申し上げます。 ◆『Selfe Girl がおう作

When Satoshi Nakamoto released the bitcoin white paper in 2008, the idea was both radical and remarkably simple: “A Peer-to-Peer Electronic Cash System.” It wasn’t about speculation—it was about access. Bitcoin was designed to be open, fast, low-cost, and free from centralized control. It was, quite simply, about empowering people. Bitcoin offers a unique architecture that could play a pivotal rol

国民民主党が参院選比例代表の公認を見送り、無所属で東京選挙区に立候補した元衆院議員、山尾志桜里氏の落選が確実となった。山尾氏は出馬表明時、左派と右派の分断が進んでいるとして「中道政治をあきらめない。女性天皇の容認や憲法改正による安全保障実現など、国家観を自由度高く訴えたい」と述べていた。 【詳報】比例代表39議席が固まる　出口調査 山尾氏を巡っては国民民主党が5月に擁立を発表。6月の記者会見で、過去に不倫疑惑が報じられた際の自身の対応を念頭に「極めて未熟だった」などと釈明したが、交流サイト（SNS）を中心に出馬を疑問視する声がやまず、公認が見送られた。 山尾氏は2009年に衆院議員に初当選。民進党で政調会長などを担った。

2014年から先端テクノロジーの研究を論文単位で記事にして紹介しているWebメディアのSeamless（シームレス）を運営し、執筆しています。 1週間の気になる生成AI技術・研究をいくつかピックアップして解説する連載「生成AIウィークリー」から、特に興味深いAI技術や研究にスポットライトを当てる生成AIクローズアップ。 今回は、子どもが11歳のときに書いた短い作文から、その子の将来の最終学歴や認知能力をAIが予測できるかを調査した論文「Large language models predict cognition and education close to or better than genomics or expert assessment」を取り上げます。 研究では、1958年に生まれたイギリスの子どもたち約1万人が11歳の時に書いた「25歳の自分を想像して」というテーマの作文を分

MacBookで無料AI。｢ローカルLLM｣がいい感じに進化してます2025.07.21 08:0044,980 かみやまたくみ ローカルLLMとは、ざっくり言ってしまうと｢無料で公開されている大規模言語モデル｣のことで、自分のPCにダウンロード・専用ソフトで読み込んで使います。ChatGPTのように会話できますし、API利用（対応アプリや自分で作ったプログラムからAIを呼び出して使う）も可能です。 ChatGPTといった主流のAIはサブスクリプションサービス、API利用は従量課金制となっているので、対極に位置するAIだと言えます。 そんなローカルLLMですが、これまでは一部の通な人が使うものって感じでした。一時期話題になったDeepSeekのように非常に性能がいいものも登場していますが、動かすのにとても性能のいいマシンが必要です。ChatGPTに数年課金してもまだそっちのほうが安いという

参院選に初当選した、政治団体「チームみらい」の党首・安野貴博氏が２１日の日本テレビ系情報バラエティー番組「ＤａｙＤａｙ．」（月～金曜・午前９時）に生出演し、国会に持ち込みＮＧとなっているものを明かした。 【写真】一度見たら忘れられないビジュアルの安野貴博氏 ＡＩエンジニアである安野氏への質問を視聴者から募集した。４０代女性からで「安野さんに質問です。国会にはＰＣもタブレットも持ち込めなさそうですが、どうやって挑みますか？」という内容だった。ＭＣの山里亮太は「そうなの！？ダメなんですか！？」とびっくり。安野氏は「パソコン持ち込むのは、品位がないからダメらしいです。品位がないと」と説明した。 スマートフォンは持ち込みＯＫだそう。安野氏は「スマホは持ち込まれてる方いますけど、ＰＣ、タブレットは品位がない、と。２０２５年にそれは、私は信じがたいなと。何らかの手段で持ち込みたいんですけど…。まあ、ち

政党交付金の試算・参政党9億1400万円、参議院の議席大幅増で3億9800万円増…大敗の自民党は4億7700万円減

現代は知らないことがあればすぐにインターネットで調べたり、AI に質問できる時代です。このような時代において本を読む必要はあるのでしょうか？答えは Yes です。なぜなら、検索をしたり AI に質問をするためには、ある程度の基礎知識が必要だからです。この記事では私のキャリアにおいて影響を与えたであろうコンピューター・IT の定番書籍を紹介します。 現代は知らないことがあればすぐにインターネットで調べたり、AI に質問できる時代です。このような時代において本を読む必要はあるのでしょうか？ 答えは Yes です。なぜなら、検索をしたり AI に質問をするためには、ある程度の基礎知識が必要だからです。下地となる知識がなければそもそも適切なキーワードで検索できません。また知識として整理されていることを知らずに AI に質問をする発想すら生まれないかもしれません。 書籍は情報の最新性においてインター

OTel 公式ドキュメント翻訳 PJ から始めるコミュニティ活動/Community activities starting with the OTel official document translation project

結び目理論の常識は実は誰も確かめていなかった結び目理論の常識は実は誰も確かめていなかった / Credit:Canvaイヤホンのコードが絡まって困った経験は、誰にでもあるでしょうか？ 私たちの日常には、靴ひもやコード類など、絡まってしまうと本当に厄介なものがたくさんあります。 実は、このような「絡まり」を数学的に研究している分野があります。 それが「結び目理論」です。 数学の世界では、絡まりを「結び目」と呼びます。 その絡まり具合を調べる方法の一つに、「ほどき数）」という考え方があります。 これは、「絡まった紐を完全にほどくためには、最低でも何回、紐を上下入れ替える必要があるか？」という数字です。 ほどき数が大きいほど、絡まり方が複雑だと言えるわけです。 ただし、このほどき数をきちんと計算するのは実はとても難しく、いまだに完全に分かっていない結び目がたくさんあります。 絡まりの研究は一見単

ウナギの完全養殖の商業化に向けた開発が活発になってきた。人工ふ化から育った親魚が産んだ卵を再び育てるサイクルの確立を目指し、ニッスイはすでに実用化しているブリの養殖ノウハウを生かす。ウナギ取引の規制機運もあり供給量の7割を輸入する日本では今後、価格高騰の恐れがある。ウナギのある食卓を守るうえで期待がかかる。ニッスイはニホンウナギの「人工種苗」の大量生産技術の研究を2024年10月に始めたと明ら

ゼロ知識証明（ZKP）は、ある当事者が追加情報を公開することなく、ある主張の真実性を別の当事者に証明できる暗号化プロトコルです。これらはブロックチェーン技術にとって非常に重要であり、トランザクションやデータを検証する際に機密情報を漏らさずにプライバシーとセキュリティを向上させることで、分散型システムにおける信頼と機密性の維持に欠かせないものです。 ブロックチェーンやWeb3において、ゼロ知識証明（ZKP）は、プライバシーと透明性のバランスを取る画期的なコンセプトです。例えば、クラブに入るために身分証明書を提示しながら、住所を開示しないことを想像してみてください。それがZKPのマジックであり、機密情報を保護しながら強固なブロックチェーンセキュリティを提供します。 暗号化に由来するZKPは、ある当事者がパスワードなどの値を知っていることを、値そのものに関する情報を公開することなく別の当事者に証

本記事では「JWTベースの認証・認可」という表現を使用しています。 認証（Authentication）：ユーザーの本人確認（ログイン時のID/パスワード検証） 認可（Authorization）：リソースへのアクセス権限の確認（JWTによる権限検証） JWTは主に認可の仕組みとして機能しますが、認証から認可までの一連のシステムを指して「JWTベースの認証・認可」と表現しています。 1.1 JWTの登場背景と従来の認証方式の課題 従来のWebアプリケーションでは、「セッション・Cookie認証」が認証方式の主流でした。これは、サーバー側でユーザーの認証状態をセッションとして管理する方式です。 セッション・Cookie認証の基本的な流れ ユーザーがログインすると、サーバーはセッションIDを発行します。 サーバーは、そのセッションIDとユーザー情報を紐付けて自身のストレージ（セッションストレー

最近は、自分はかなり Vibe Coding にお世話になっている。実際にプロダクションのコードでも使っていて自分的には普通のことと思っていたのだが、ある人にどうやってやってるのか聞いてみたいと言われたのでせっかくだからブログに書いておくことにした。みんなとっては普通のことかもしれないので、整理のためにも書いておこう。 Vibe Coding の光と影Vibe Coding を使うと、GitHub Copilot Agent などを使うと、自然言語で指示をすればプログラムを書いてくれる。これがあると、素人でもコーディングができそうだ。プロトタイピングや、ゼロから何かを作るときはなかなか良い感じだが、プロダクションで何も考えずに使えるというわけにもいかない。実はコードが複雑になればなるほど、そのままではうまくいかない。 今読んでいる AI Engineering より引用した次のグラフが興味