量子ウォークの新展開　数理構造の深化と応用