1. No category

非明示的型付き デッドロックフリー プロセス計算