ある種の錘線形システムに関する二者択一の定理の構成的証明 (情報科学と函数解析の接点 : これまでとこれから)

References