コンピュータサイエンスにおける様相論理 - メルカリ