フォン・ノイマンの『量子力学の数学的基礎』により、量子力学のいわゆる「波束の収縮」は、可分複素ヒルベルト空間の線形部分空間への射影と形式化された。そこで、論理における命題を量子力学における観測に対応させる、すなわち、命題を射影と同一視することを考えてみる。
古典力学では、観測可能な物理量は状態の関数であり、状態により一意的に決まる。しかし量子力学では、物理量（オブザーバブル）の決定には相互作用が必ずともなう。特に不確定性原理によりトレードオフの関係にあるものがあり、これは論理において古典論理の一部の法則に従わないものとなることを意味する。
が必ずしも成り立たない点である。例えば一直線上を動く粒子を考え、次のようにおく。
となって、分配律は成り立たないことになる。
津山市警察
津山市警察（つやましけいさつ）は、かつて存在した岡山県津山市の自治体警察である。
概要.
宇部市警察
宇部市警察（うべしけいさつ）は、かつて存在した山口県宇部市の自治体警察。
萩市警察
萩市警察（はぎしけいさつ）は、かつて存在した山口県萩市の自治体警察である。
概要.
徳山市警察
徳山市警察（とくやましけいさつ）は、かつて存在した山口県徳山市（現周南市）の自治体警察。
概要.
あらすじ.
主題歌.
防府市警察
防府市警察（ほうふしけいさつ）は、かつて存在した山口県防府市の自治体警察である。
概要.
概要.
なお、機番と製造年は以下の通りであるが、本形式には機体名はつかない。
エキソンパイ
エキソンパイは、福島県郡山市の三万石が販売している洋菓子。
概要.
くるみ入りの餡をパイ皮で包んだ、欧風の饅頭菓子。「エキソン」はフランス語の「盾」をイメージしている。
土産菓子の定番でもあり、ままどおるとセットで販売されることも多い。
今治市警察
今治市警察（いまばりしけいさつ）は、かつて存在した愛媛県今治市の自治体警察である。
概要.
結果.
プレーオフ.
セミファイナル
ファイナル
リーダーズ
リーダーズ
八幡浜市警察
八幡浜市警察（やわたはましけいさつ）は、かつて存在した愛媛県八幡浜市の自治体警察である。
概要.
新居浜市警察
新居浜市警察（にいはましけいさつ）は、かつて存在した愛媛県新居浜市の自治体警察である。
概要.
Night Food
解説.