List of ∃fork
Name<>Explanation<>note
DMA<>Direct Memory Access<br>16bit-target 48bit-address<br>succeeded by content
MSI<>順序に依存しないことが要請される<>不可
MSI-X<>同上
PnP<>Plug and Play could<br>not be resolved<br>without weighted graph<>
UEFI<>byte code interpretor
VM<>could not be mapped
Functional<br>Languages
Until<>時相論理
Weak until<>時相論理
∧<>時相論理と述語論理
∨<>時相論理と述語論理
Y<>時相論理の「直前の過去」の意味。<br>Yは「直後の未来」Xの逆である。<br>Yは全二重通信に不可欠である。<>不可