ソフトウェア開発を要件から実装への変換系列と捉え、Persistent Homologyを用いて意味構造の保存性を評価する手法を提案。要件定義から検証まで、制約や設計意図がどの程度維持されているかを定量化する試み。