サンプルの三角形判定プログラムの仕様を整理