ミューテックスとカウンタ初期値1のセマフォは
機能的にほぼ同一なものと言って良いですか?