セッション

セッションについて調べるとクッキーが重要な役割を果たす。
スクリプトでセッションIDを破棄しても（$_SESSIONの初期化だけでなく、クッキーの削除を明示的に行っても）、
画面遷移の組み合わせで、クッキーが消えていない場合がある。
消去されていることもあるので、挙動がよく分からない。
セッションIDの有無による判定は、必要条件に止めて、
別の方法と組み合わせて行った方が良いかも知れない。