オペレーター付きBoole代数