373 followers 初夏の夜風の涼しさ @u58a8 様相述語体系の一階述語論理への埋め込みについて https://t.co/dlyFHH668X 28 Nov 2017 Reply Repost Favourite