ソフトウェアの検証 ソフトウェアの検証によって確かめる事項– ソフトウェアの「正しさ」– 「正しさ」を妨げるような欠陥があれば，その箇所と原因を指摘 ・ソフトウェアの正しさとは– ソフトウェアが求められる機能を実行できる– ソフトウェアが求められる…

前回 issunno-koin.hateblo.jp 量子暗号ー量子系（quantum system）を用いて構築される暗号。 Quantum key discribution (QKD) 量子学が正しい限り完全にセキュアな暗号で、量子コンピュータでなくても動く。 秘密鍵の必要な状況 花子から太郎へメッセージを…