修士の研究の合間に SATISFIES を訳しました 気分転換♪
merge: guicho271828さんの satisfies項をマージ