简单易懂的现代魔法的用语解说

寄宿于电子机器或物体里的精灵存在，藉通过魔法，被赋予假想性质后的人格产物，经常是不稳定的。魔法师召唤出异世界的魔物时，并不代表能够与那些魔物互相沟通，只是利用程序代码强行奴役魔物。
异世界的魔物并不会以自身意志袭击人类，它们会根据未知的原理而采取行动，那些被召唤出来的魔物甚至无法确定是否为生物，其中有类似动物需要呼吸而袭击人类的魔物，也有完全对人类不感兴趣的魔物。赶走异世界魔物的方法共有三种——在掌管世界的物理法则自动修复世界的扭曲前不断逃跑；或是使用魔法将魔物送回原来的世界；不然就是使用更强大的程序代码让对手屈服，但是临时编组的魔法程序代码并无法打倒异世界魔物，需要花费相当的时间才能完成一击将目标击倒的复杂程序代码。 由蒂吉塔里丝穷毕生心力记录而成的程序代码集合体，透过使用适当程序代码的方式，魔法师得以将蒂吉塔里丝的睿智以外部函数的方式叫出，因此那个集合体才被特别称为图书馆，得到魔女图书馆的人就能任意使用大魔女曾经使用过的数万种程序代码。