1. No category

プロセスを値として持つ論理 2ITL