主人公叫天川,御堂葉,瑛子的小說叫《天川天音的否定公式》，它的作者是葉村哲創作的現代修仙、二次元、文學小說，內容主要講述：簡介：

「我是來狩獵那個的。你就一個人逃走吧。」——

有一天，高中生雪道突然被完美無缺的轉學生·天川天音攻擊。救了不知道該如何是好的的雪道的，是天川天音本人。舉著大刀『風鳴』的天音擊退了長得和她一模一樣的敵人【分身】。她說：因為雪道變成了敵人的目標，之後就由我來保護你吧。

世上存在著兩萬零四個『否定公式』。它們是被成為超自然現象，不符合這個世界常理的人造公式。操縱否定公式『鐮鼬』的天音和雪道相遇，繼而開啟了『原本不應該存在』的故事門扉。學院戰鬥動作片始動。