for.loop

まずは数式が何を表しているかを読み解く必要がある。

一つ目はfの式。
∈は｢集合に含まれる｣というような意味であるため、xはvsに含まれていることになる。
また∧は論理積=AND、￢は否定の意味であるため、xは上記かつndnx_origではないということになる。
ここでvsをvivid/stasis、ndnx_origをNEODITRONIXオリジナルと考えると、f式は｢xはvivid/stasisに収録されている*1がNEODITRONIXオリジナルでない｣と解釈することができる。

二つ目はgの式。
これは単純にxのバージョンを表していると考えられるが、ここでf式の内容からxが楽曲のことであると推測すると、g式はxの楽曲が追加されたバージョンであると推測できる。

三つ目は{}に囲まれた式。
この記法では、|の右側がxの満たす条件を表している。*2
∀は｢任意の｣というような意味であるため、"任意のf式に該当するxについて、i番目のxにおけるgはi+1番目のxにおけるgより小さい"、つまり
NDNXオリジナル曲を除いたv/sとの共通収録曲で、v/sへの実装バージョンがだんだん大きくなるように楽曲をプレイするということになる。

これに従いCredits、WATAGASHI RUSH、:3c、the more i carry on...、τ (tau)、Stellar Sky?の計六曲*3をこの順番でプレイすると解禁できた。