> 日付から曜日を導く有名な計算式って
> なんていう名前だっけ(;´Д`)

カレンダー

参考：2007/07/13(金)01時59分34秒