HOMELv015 排中律とはどのような法則か。 2026年4月7日 ある命題はその否定とあわせて全体を覆うという論理原則。 ナップサック問題は何の代表的な問題か。 EBITDAマージンの算出で分子に来るものは。