異世界CPU

コンピュータの仕組みに取り憑かれた大学生、山崎和也は今日もサークルで論理回路の研究に勤しんでいた。

夏休み、実家へ向かうためのトンネルを抜けると、そこは異世界…

何？
魔法は術式で発動する？
ならば命題論理で表現できる！

理論的に可能なことは現実にも可能だ！

案件。
プログラム可能な魔法陣で、8本の腕と88の魔道具を持つ悪魔、ハーヴァー将軍を迎え撃て！