写真ニュース(1/3): 暗号アルゴリズムの安全性検証技術の基礎研究で、世界に先駆けて「データの状態を保持したままの繰返し処理を形式化する技術の構築」 を実現