証券コードの話。特にオプションについての話。上場オプションには証券コードが割り当てられていて、例えば日経平均2015年6月限9500円プットというのは130069518になる。このコードの付け方は証券コード協議会というところが定めていて、以下の文書に記載さ…