先行公開中:2026年11月から一部が有料になります(無料プランはそのまま使えます)。詳しく ›
読み込み中...
論理型プログラミングにおいて,命題の証明を行うための基本的な機能はどれか。
出典:システムアーキテクト試験 午前Ⅱ