简介作者：叶村哲
天川天音的否定公式
发行：台湾东立（已经出版到第四卷）
类型：奇幻轻小说
故事概述——「我是来狩猎那个的。你就一个人逃走吧。」——
有一天，高中生雪道突然被完美无缺的转学生?天川天音攻击。救了不知道该如何是好的雪道的，竟是天川天音本人。举著大刀『风鸣』的天音击退了长得和她一模一样的敌人【分身】。她说：因为雪道变成了敌人的目标，之后就由我来保护你吧。
世上存在著两万零四个『否定公式』，它们是被称为超自然现象、不符合这个世界常理的人造公式。操纵否定公式『镰鼬』的天音和雪道相遇，继而开启了『原本不应该存在』的故事门扉。学园战斗动作片始动!!
人物介绍芦原雪道
长月学园高中二年级三班的学生。在某个初夏的夜晚，雪道去学校拿忘记的东西，却遭遇与当天转到他的班级的神秘美少女天川天音外貌酷似的少女的攻击，被真正的天川天音救下后，雪道被无可避免地卷入了超自然现象的世界。生性温柔，总是不假思索地体贴异性，国中一年级时便用一只猫抢走了长月学园的大小姐长月瑛子的心，但在感情方面却出乎意料的迟钝，以至于让瑛子单恋他五年还浑然不觉。
其真实身份暂时未知，不过可以确定的是，他并不是人类，是【怪物】，被称为【等待者】，一旦暴走实力惊人，不过雪道自己似乎根本不记得自己的身份。
长月瑛子
长月学园理事长的孙女，雪道的同班同学。双眼如猫般细长，头上如羽毛般亮丽的黑色长发用发饰束成了一条马尾，看起来像个精致的人偶，但同时也如人偶般缺乏表情。她从小接受精英教育，虽是大小姐但自身并不以之为荣，对千篇一律的生活感到厌恶。直到国中一年级时遇到雪道，才被雪道从冰冷的生活中拯救，明白了这世上并不是全是敌人，还有温柔的人对自己施以援手。自此倾心于雪道，单恋他五年，还告白过一次，不过迟钝的雪道没有意识到那是“告白”。
天川天音
第一女主角，有着在初夏阳光中闪烁的淡粉红色头发，以及让人联想到将近黎明时分的金色双眸，可爱的脸蛋同时带了点虚幻，让人联想到飞散的樱花。身份是【领域】序列第二域第四位，天川博士的秘密武器，【风鸣】的天川天音。掌握有【否定公式一一〇八二】，【切断现象——镰鼬】，似乎是目不可视的风刃攻击，即使切断人体也不会流血。因不明原因叛逃【领域】，在同伴沼鹿的帮助下定居在雪道家隔壁，并转到长月学园上学，与雪道同班。
平时总是一副优雅端庄的样子，实际上是个性格糟糕、家务无能、自大又傲娇的笨蛋美少女，雪道第一次打开她家的门时也立刻被内部垃圾的海洋震撼了，不过也因此担下了照顾她的责任。喜欢雪道又不敢承认，见到雪道有危险会不顾一切。
浅暗白子
小说第二卷初次登场。纤瘦的身躯，纯白的头发，左右虹膜颜色相异的双眼，头上长着一对猫耳，表情丰富，看起来就像小猫一样可爱。喜欢在语句后加上“喵”（にゃ），食量十分大，喜欢抹茶口味的东西。转学到长月学园二年三班，成为雪道的同班同学，并住在“茜堂”雪道对面的房间。
与御堂姊妹联手，并利用“全自动交响乐团”共七十三只机械猫演奏出超越人类可听音域的声音，操控“妖精”入侵雪道体内，意图进行灵魂的连接，却因为不明的原因而失败。实际上是雪道小时候曾经饲养的白色小猫[3]，十分感激雪道的救助，之所以离家是因为希望能得到力量帮助主人。为了救助雪道避免悲伤的未来，曾利用虚构式碎片．境界现象“泰坦妮亚”创造出来的“妖精之国”将雪道与外世隔离，但计划被伊皮米修斯与天音破坏，在“妖精”失控时反过来被雪道保护，现时回到雪道身边。
在“领域”中，三贤者末席“全自动交响乐团”，使用的“式”为否定公式零一一二六．回归现象“狼男”。
其他
伊皮米修斯
称号包括名字已被遗忘者、受祈祷引诱者、见证人世终焉者、最初的病痛、虚伪与真实的仲介者、在王身后吹喇叭者等。穿着一套完美燕尾服，手杖跟大礼帽，全身上下都被绷带包住，隐藏起所有皮肤，会夸张地像小丑般行礼。指使“分身”袭击雪道，貌似认识并称雪道为“老朋友”。曾引诱瑛子但被瑛子坚决的拒绝，并曾协助天音分别破坏了白子和叶流的计划。
“分身”
小说第一卷登场。发型、声音、体型与天音完全一样，除了头发是灰银色和有如深海般的青色双眼，并能使用和天音一样的“式”。
在长月学园出现的“虚构式”的碎片，听从伊皮米修斯的指使，试图吃掉雪道而成为完整的存在，曾一度被叶流封印，但依靠自身的力量打破封印，击倒御堂姊妹，并绑架瑛子作为诱饵。被天音与雪道联手击败后，因为不想被消灭而暴走，演化成为外形是龙，本质是黑泥的存在，被觉醒的雪道以黑风撕裂身体并被吸收。
“妖精”
小说第二卷登场，在长月学园出现，外表看来是一个身高约三十厘米，长着羽翼的金发少女，飞舞时会挥洒闪烁的光粒，唱出如谜题的话语，借由幻觉或预知未来以魅惑人类。被魅惑的人大部分永远不会醒过来，即使醒过来，脑袋也只会变得一片空白[5]。白子利用“全自动交响乐团”操控称为仙铃的“妖精”。
柯贝莉亚
小说第三卷登场，雪道在瑛子的别墅遇上的无名字少女，目无表情，有着长发及深珐琅色眼睛，如陶器般冰冷的雪白肌肤，雪道以刻在她手上的英文识别编号“Coppelia”作为对她的称呼。使用奇怪的语法，常以“Yes”“No”回应别人的提问，实际上是自动学习型机器人．α类型，能从一般食物中获取能量（即可以进食），虽然能分辨味道，但不懂分辨喜恶[4]，为了理解“什么是恋爱”而要求雪道担当“恋人”，并以少女小说作为谈恋爱的蓝本。
以否定公式将时间倒流，令本应死去的兔子复活、已经结束的烟火大会重复举行，但由于能力失控而堕进时间迷宫．“时间回廊”。实际上是御堂叶流以被破坏的“全自动交响乐团”按瑛子的外表制成的机器人[1]，别号“疯狂时钟”，本作为“原始式”的媒介，被叶流操控以图夺取“原始式”，最终被天音的“终焉之炎”所吞噬，在被消灭前以自身的意志及最后的力量救助雪道。
“终焉”
在雪道进入“时间回廊”寻找柯贝莉亚时遇上与天音外表完全一样的存在，中途曾一度变为瑛子与雪道对话，并指引雪道前往柯贝莉亚的所在。在与天音对话时表示“变成了‘式’这种现象，代价是失去了主体的意识跟意义”，并称天音为她的伙伴。
“等待者”
雪道体内的“另一个人”，使用“原始式”的“最初之人”，被御堂叶流以柯贝莉亚强行呼唤出来，有着宛如燃烧般的赤红眼睛，对叶流表示“名字已经被遗忘，只剩下尚未完成的‘式’跟其现象。因此，我的名字是‘等待者’。” 。创造了被“领域”称为“原始式”的否定公式○○○○一．矛盾领域“未完全永远式”，在二千多年来一直寻求完成“永远式”。
用语否定公式
一般称为“式”，能重现无法用科学解释的超自然现象，目前总共有两万零四道。
否定公式○○○○一．矛盾领域“未完全永远式”，“式”的起源
否定公式○○○○二．纯粹否定“终焉式”
否定公式○○○○三．因果操作“愿望式”
否定公式○○○○四．完全幻想“虚构式”
否定公式○○三七七．消失现象“神隐”
否定公式○一一二六．回归现象“狼男”
否定公式一一○八二．切断现象“镰鼬”，青色的魔方阵
否定公式一四二九七亚种．幻惑现象“圣．爱尔摩”，黑色的魔方阵
否定领域
从千年以前就暗地进行着研究“式”的机关，一般称为“领域”。目前因为“原始式”的出现，本不甚团结的组织在短时间内组成调查队，针对雪道展开攻击。
虚构式
可以随使用者的意志创造出虚拟世界。
虚构式碎片．“分身”
虚构式碎片．境界现象“泰坦妮亚”
演算装置
领域制作来专门行使“式”的装置，原始的演算装置称为“银天使”，小型的演算装置包括“风鸣”、“恶意的向导”、“全自动交响乐团”等。
