電子情報通信学会 基礎・境界ソサイエティ システム数理と応用研究専門委員会: