じゃ質問、様相理論がコンピュータプログラムに役立っているそうだけど
どいうこと？バグ対策？教えてエロい人