論理的な表現するためには型を使え！超カンタンロジカルシンキングの型