>>293
そうだと思います。
結局普通に学習した方が早いんでしょうが...。
何というか理解よりもカッコイイタームに引きずられている自分が恥ずかしいです。
特に多いんですよねコンピュータサイエンスってこんな用語が...。
さすがに本場の数学系論理学にはついていけないし。