じゅうそく中文什么意思

例句与用法

1. 上縦束(じょうじゅうそく、英:superior longitudinal fasciculusまたはsuperior longitudinal fascicle、SLF) は一組の双方向性の神経束で大脳の前部と後部を結んでいる。
2. 充足可能性問題（じゅうそくかのうせいもんだい、satisfiability problem, SAT）は、一つの乗法標準形 (CNF) が与えられたとき、それに含まれるすべての変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。