鉄道や車や音楽や数学など。∅は空集合。
序文 普通列車といえば、終点まで全ての駅に停車する列車だとまず想像する。 ところが全国版の時刻表を繰ってみると、普通列車でありながら途中駅を通過するという列車というのは意外と多く存在する。 通過駅がある列車なら、特急列車だとか急行列車だとか、あるいは快速列車として案内するのが筋ではないだろうか?しかしそういう普通列車は実際に存在し、しかも特定の路線に限った話ではなく、日本各地に意外なほ...
世界の標準時と地球の自転に基づく時刻のずれの修正に、1時間までのずれを許容する「うるう時間」の導入が議論されている。1秒ずれるごとに修正する「うるう秒」よりも調整の頻度が大幅に少ない。修正でシステム障害を引き起こすリスクを減らす。時間の単位などを決めるルールを作る国際度量衡委員会が「うるう時間」の導入案を公開した。10月にフランスで開催される総会に向けた決議案に盛り込んだ。導入が決まれば、20