数学的基礎を徹底解説！ ――近刊『コンピュータサイエンスにおける様相論理』まえがき公開