ノリの悪い日記

古今東西の映画、ポピュラー音楽、その他をいまここに交錯させながら随想します。

論理

量化条件の処理

与えられた複雑な条件よりもより簡単な同値条件を求めるという問題は数学では非常に多くあるが, 最初に理解しておかないといけないのは, 一般的に「すべての」とか「存在する」とかの修飾を受け量化された変数 (束縛変数) は消去され, 自由変数のみの同値条…

陥没地帯 (112)

藪柑子が出てくる俳句をいろいろと見ていると、岡田史乃という方の 日没は四時三十二分薮柑子 という句もとても面白いなあと思って、日の出、日の入りの時刻をネットで調べていたら、中学の理科とかでは太陽の南中する時刻は (同じ経度で) 一定と習うけれど…