タイトルは大げさです。そんな大したものではありません。
仕事関係の集まりで聞いた話。
彼らは3人で一つのWebページを管理しています。同時にULしてしまったり、編集したつもりだったのに他の人が変更前の状態を編集してULして自分の編集が無駄になったりしない工夫を考え出したそうです。
日付を3で割って、その余りが0だったらAさん、1だったらBさん、2だったらCさんがUPする日と決めたとのことです。自分の担当日には他の2人が変更していないので、最新の状態をDLしてから編集し、その日の内にULすれば事故は起きないとのこと。
3の剰余系を使うなんて流石数学の人。
Nと〜は数学の人だけど天文趣味の人。
24時制ではなくて30時制の採用を提案しました。だってこの手の仕事は夜間の仕事になることが多そう。一生懸命仕事をしている内に日付が変わったら悲しくありませんか?朝6時で切り替えることにすれば多分大丈夫。
天文では、未明・早朝の天文現象を見落とすことの無いように、30日の朝3時の現象だったらカレンダーに29日の27時といった具合に書きます。便利そうでしょ。
でも、シビアな問題でなかったので、3人の担当者にはあっさり却下されてしまいました。残念。(T_T)