https://123deta.com/jp/docs/1章形式論理集合写像Keio.11767324