時間に依存しない関数ではNTP TimeとUTCの1対1対応は無理というだけで、
NTP Timeの進みとLIを認識できる関数ならNTP TimeからUTCへの機械的変換は可能。
時刻扱うシステムが、時間依存しない関数しか使えないという仮定はさすがに
無理があるだろう。