アサーション
アサーション（）とは、