科学ニュース+ 5res 平均投稿時速:0.1res/h 対板現在投稿率:0.0%

【量子コンピュータ】JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現

【量子コンピュータ】JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現
マイナビニュース

JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現北陸先端科学技術大学院大学(JAIST)は12月19日、「並行動的量子論理」を提案し、それに基づく「並行量子通信プロトコル」の完全な自動形式検証、つまりヒトによる補助(補題の発見と入力)を一切必要とせず、従来手法と比較して労力を大幅に削減することが可能な、完全な自動定理証明による形式検証に初めて成功したことを発表した。

>>続きを読む

▼ このページの中段へ

プロトコル」のニュース一覧

  1. 科学ニュース+ 5res 0.1res/h

    【量子コンピュータ】JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現 画像あり

    JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現北陸先端科学技術大学院大学(JAIST)は12月19日、「並行動的量子論理」を提案し、それに基づく「並行量子通信プロトコル」の完全な自動形式検証、つまり...

  2. 科学ニュース+ 84res 0.0res/h

    【ナゾロジー】脳に磁場をかけて「うつ病」を5日で改善!自宅で出来る治療法の開発 画像あり

    脳に磁場をかけて「うつ病」を5日で改善!自宅で出来る治療法の開発脳に微弱な磁場を与えることで、うつ病を短期治療できるようです。うつ病には、薬物療法、心理療法に次ぐ第3の治療法として「rTMS治療(=反復経頭蓋...

  3. 科学ニュース+ 36res 0.0res/h

    【通信】Wi-Fiの通信距離を長距離化させる新技術「WiLo」のテストに成功、最大500mの通信が実証される 画像あり

    Wi-Fiの通信距離を長距離化させる新技術「WiLo」のテストに成功、最大500mの通信が実証される中国の南京林業大学情報科学技術学院の教授であるデミン・ガオ氏を筆頭とする研究チームが、既存のWi-FiとLong Range(LoR...

  4. 芸能・スポーツ速報+ 463res 4.8res/h

    【ゲーム】『ブループロトコル』が1年半で撤退 “敗因”から考える、現代のオンラインRPGに求められるもの 画像あり

    PROJECT SKY BLUEは8月28日、2025年1月18日をもって『BLUE PROTOCOL』のサービスを終了すると発表した。発表当初から大きな注目を浴びた話題作がなぜ、1年半という短期間で幕引きとなってしまったのか。その理由から...

  5. 科学ニュース+ 40res 0.0res/h

    【量子技術】東大、「量子バッテリー」の充電に関する革新的なプロトコルを提案 画像あり

    東大、「量子バッテリー」の充電に関する革新的なプロトコルを提案東京大学(東大)は12月14日、量子開放系の一種である「量子衝突モデル」において、「不確定因果順序」に由来する特異な効果を発見し、同効果を活用し...

  6. 科学ニュース+ 23res 0.0res/h

    【通信】IoT標準規格「Matter」の次世代通信プロトコル「Thread」は何がすごいのか?

    IoT標準規格「Matter」の次世代通信プロトコル「Thread」は何がすごいのか?モノのインターネット(IoT:Internet of Things)の標準規格であるMatterは、AmazonやApple、Googleらが参加する標準団体「Connectivity Stan...

  7. 科学ニュース+ 15res 0.0res/h

    【ネット】Twitterに代わるSNSプロトコルとして注目を集める「Nostr」とは一体どういう仕組みなのか? 画像あり

    Twitterに代わるSNSプロトコルとして注目を集める「Nostr」とは一体どういう仕組みなのか?TwitterやFacebookといった一企業が運営しているSNSは、企業の方針により投稿が削除されたり、ある日突然使えなくなってしま...

  8. ニュース速報+ 1002res 9.9res/h

    欧州の科学者、時間を逆転させて過去の状態に戻す「巻き戻しプロトコル」を開発、実験を行い実証にも成功 画像あり

    ‘We have made science fiction come true!’ Scientists prove particles in a quantum system can be rejuvenated SFは現実のものとなりました!科学者らは粒子が若返ることを証明します。...

  9. 芸能・スポーツ速報+ 465res 4.8res/h

    “18禁”のサバイバルホラーゲーム「カリストプロトコル」、グロすぎて日本発売中止に 「審査厳しすぎ」「予約してたのに」の声 画像あり

    2022年10月27日 13時43分 12月2日に日本で発売予定だった海外のサバイバルホラーゲーム「カリストプロトコル」が、年齢制限「CEROレーティング」を取得できなかったため発売中止となることが分かった。27日に同ゲー...

  10. ビジネスニュース+ 248res 0.1res/h

    【通信プロトコル】HTTP/3が正式に勧告、脱TCP時代の幕開けか 画像あり

    インターネット関連技術の標準化を手掛けるIETF(Internet Engineering Task Force)は2022年6月6日(米国時間)、通信プロトコル「HTTP/3(HyperText Transport Protocol/3)」を「RFC 9114」として勧告した。HTTP/3はイ...

  11. 芸能・スポーツ速報+ 27res 0.2res/h

    【NBA】ウィザーズの八村塁が安全・衛生プロトコルから外れる…指揮官は「復帰間近」と明言 画像あり

    ワシントン・ウィザーズを指揮するウェス・アンセルドJr.ヘッドコーチは6日(現地時間5日、日付は以下同)、ヒューストン・ロケッツ戦前の試合会見で、八村塁が安全・衛生プロトコルから外れたと明らかにした。八村は...

  12. 芸能・スポーツ速報+ 13res 1.4res/h

    【NBA】ラプターズの渡辺雄太がチームを離脱 健康安全プロトコルの対象 画像あり

    スポニチアネックス プロトコルの対象となって戦列を離れたラプターズの渡辺(AP)カナダのトロントを本拠にしているNBAラプターズの渡辺雄太(27)とウクライナ出身のスビアトスラフ・マハイルーク(24)の2選手が4日、ホ...

  13. 芸能・スポーツ速報+ 60res 0.6res/h

    【サッカー】PSG、メッシら4選手コロナ陽性と発表 検査で判明、プロトコルに従い隔離措置中 画像あり

    DFフアン・ベルナト、GKセルヒオ・リコ、DFネイサン・ビツマザラも陽性判定パリ・サンジェルマン(PSG)は1月2日、アルゼンチン代表FWリオネル・メッシら4選手が検査で新型コロナウイルスの陽性となったことを発表した...

  14. 芸能・スポーツ速報+ 13res 1.2res/h

    【NBA】新たに5試合を延期…ここ1週間で計65選手が新型コロナの安全衛生プロトコル入り 画像あり

    NBAは20日(現地時間19日、日付は以下同)、複数の選手やコーチ、スタッフが新型コロナウイルスの安全衛生プロトコル入りしたため、下記の5試合の延期を発表した。...

  15. 芸能・スポーツ速報+ 5res 1.1res/h

    【NBA】シカゴ・ブルズが新型コロナのプロトコルなどで出場可能選手8人をそろえられず2試合が延期に 画像あり

    12月14日(現地時間13日、日付は以下同)。NBAはシカゴ・ブルズが予定していた15日のデトロイト・ピストンズ戦、17日のトロント・ラプターズ戦の延期を発表した。ブルズは13日終了時点でイースタン・カンファレンス3位...

  16. 芸能・スポーツ速報+ 31res 0.3res/h

    【東京五輪】アメリカ×オーストラリアのエキシビジョンマッチが新型コロナにより中止 プロトコル入りのビールは東京五輪不参加決定 画像あり

    日本時間7月16日(現地15日)、USAバスケットボールは翌17日(同16日)に予定されていたオーストラリア代表とのエキシビションマッチがキャンセルになったと発表した。理由は健康・安全プロトコルによるものだとしている...

  17. 科学ニュース+ 54res 0.0res/h

    【インターネット】TCPに代わる次世代のインターネット通信プロトコル「QUIC」が正式スタート、RFC 9000の発表で

    TCPに代わる次世代のインターネット通信プロトコル「QUIC」が正式スタート、RFC 9000の発表でインターネット技術の標準化団体であるIETFが、TCPに代わるインターネット通信プロトコルとして注目を集めているQUICの技...

  18. ビジネスニュース+ 833res 0.0res/h

    【ESG】三井住友FG、取引先のCO2削減へ 目標設定は邦銀初

    三井住友フィナンシャルグループは12日、取引先の二酸化炭素(CO2)排出量を把握し、削減に向けた目標を定めると発表した。まず石油やガス、電力などCO2排出量の多い業種から始め順次、対象を広げる。取引先など事業に...

  19. 科学ニュース+ 13res 0.0res/h

    【ネット】オンラインの“言論の自由“を取り巻く問題を解決する「プロトコルに基づいた仕組み」とは? 画像あり

    言論の自由を取り巻く問題を解決する「プロトコルに基づいた仕組み」とは?近年ではオンラインのプラットフォームにおける差別的、あるいは過激な発言の規制が叫ばれていますが、その一方で人々の「言論の自由」をど...

  20. 芸能・スポーツ速報+ 31res 0.3res/h

    【NFL】チーフスQBパトリック・マホームズは脳しんとうプロトコル中とリードHC 画像あり

    現地17日(日)に臨んだクリーブランド・ブラウンズとのディビジョナルラウンドで、第3クオーターに途中離脱したカンザスシティ・チーフスのクオーターバック(QB)パトリック・マホームズは現在も脳しんとうプロトコル...

  21. 東アジアニュース速報+ 329res 0.6res/h

    【中央日報】新型コロナ、韓国で一度に10人の大量検査方法開発 プーリング検査法(Pooling)のプロトコルを構築

    ハイリスク集団の療養施設などを対象に、一度に最大10人の新型コロナウイルスへの感染の有無を確認するプーリング検査が開発された。短期間に大量の検体を診断し、集団感染の拡大を遮断するのに役立つものとみられる...

  22. ビジネスニュース+ 4res 0.0res/h

    【IT】CloudFlareがNetwork Time Securityプロトコルのオープンソース実装をリリース

    CloudFlareは、同社のNetwork Time Security(NTS)プロトコルの最初のメジャーリリースを発表した。同社が以前リリースした、Network Time Protocol(NTP)とNTSをサポートする無償のタイムサービズであるtime.cloudfla...

  23. ビジネスニュース+ 53res 0.0res/h

    【IT】AWS、言語やプロトコルに依存しないインターフェイス定義言語(IDL)「Smithy」をオープンソースで公開 画像あり

    クラウド時代のアプリケーションは、複数のソフトウェアがAPIを通じて連携するアーキテクチャが主流になると考えられています。そのため、さまざまなソフトウェアにおいて正確かつ確実にAPIを実装することの重要性が...

  24. ビジネスニュース+ 24res 0.0res/h

    【セキュリティー】3G、4Gだけでなく5Gネットワークにも影響--AKAプロトコルに脆弱性 画像あり

    2019年に本格的に提供が始まるとみられる5Gネットワークに、研究者らが脆弱性を発見した。...

  25. ビジネスニュース+ 115res 0.1res/h

    【PC】Windows 10でNASにつながらないトラブル続出、原因はついに無効化されたプロトコル 画像あり

    Windows 10を搭載したパソコンがネットワーク上のNAS(ネットワーク接続ハードディスク)につながらなくなるというトラブルが相次いでいる。引き金となったのは、Windows 10に半年に一度のペースで提供される「Future ...

▲ このページのトップへ

トップニュース

ホットキーワード

注目ニュース

【北海道】帯広市で来夏開設予定 「藤丸パーク」の概要発表

総合トップ10

  1. 芸能・スポーツ速報+ 844res 2219res/h

    【実況】M-1グランプリ2024 決勝★3

  2. 芸能・スポーツ速報+ 131res 388res/h

    【スクープ】中居正広が女性との間に重大トラブル、巨額の解決金を支払う 重病から復帰後の会食で深刻な問題が発生 ★26

  3. ニュース速報+ 411res 327res/h

    【医療】コンピューター苦手 説明書とか意味がわからない マイナ保険証巡り廃業する医師も…医師らが国を提訴

  4. ニュース速報+ 974res 589res/h

    178万円まで引き上げで、自民・小野寺氏「何で税源穴埋めするか提案して欲しい」国民民主に要請 ★6

  5. ニュース速報+ 535res 253res/h

    トランプ氏 「日米戦争は自分とシンゾーだったら起こらなかった」 ★2

  6. ニュース速報+ 149res 165res/h

    【兵庫県警】立花孝志氏を任意聴取、百条委員長名誉毀損疑い

  7. 東アジアニュース速報+ 735res 92res/h

    【韓国】軍事偵察衛星3号機の打ち上げ成功 地上と交信

  8. 芸能・スポーツ速報+ 877res 276res/h

    ラランド・サーヤ「“女芸人“のくくり気持ち悪い、死語になるべき。看護婦は“看護師”に変換されてるのに…」

  9. 芸能・スポーツ速報+ 199res 87res/h

    【アニメ】フジ『ONE PIECE』、来年4月から夜11時台放送で18年ぶり変更… フランキー役の後任は木村昴で4月から担当

  10. ニュース速報+ 594res 123res/h

    「100万円の価値が1円に」反米のベネズエラでハイパーインフレ、770万人が国から逃走、国民の75%が1日285円で生活 ★2

新着ニュース

  1. ニュース速報+ 5res

    日本の防衛力強化、米国人の72%賛成、反対20% 読売・米ギャラップ社世論調査 画像あり

  2. 芸能・スポーツ速報+ 2res

    【野球】巨人・大勢が自主トレで今永昇太に弟子入り 「『人生は最高の暇つぶしだ』に目からうろこです」 画像あり

  3. 芸能・スポーツ速報+ 3res

    【芸能】稲垣吾郎、自身のモノマネについて 「内心イラッとしている」と本音を吐露 画像あり

  4. 芸能・スポーツ速報+ 131res

    【スクープ】中居正広が女性との間に重大トラブル、巨額の解決金を支払う 重病から復帰後の会食で深刻な問題が発生 ★26 画像あり

  5. 芸能・スポーツ速報+ 844res

    【実況】M-1グランプリ2024 決勝★3

  6. 東アジアニュース速報+ 8res

    中国の男性、6000万円借金してクレヨンしんちゃん野原家を1分の1スケールで再現へ 夢は春日部市の街再現 画像あり

  7. ニュース速報+ 149res

    【兵庫県警】立花孝志氏を任意聴取、百条委員長名誉毀損疑い 画像あり

  8. 芸能・スポーツ速報+ 1002res

    【実況】M-1グランプリ2024 決勝★2

  9. ニュース速報+ 411res

    【医療】コンピューター苦手 説明書とか意味がわからない マイナ保険証巡り廃業する医師も…医師らが国を提訴 画像あり

  10. ニュース速報+ 193res

    【ホンダ・日産】「強み」重複、統合へ分担焦点 23for日にも協議開始 画像あり

PC版