Q.E.D. 証明終了
歴史的に重要な場面に干渉したとき、別の歴史が生まれるという理論を説明する際に使われるSF用語。ジョンバール分岐点とは、その別世界が生まれる分岐となる瞬間のことで、出典(元ネタ)はジャック・ウィリアムスンのSF小説『航時軍団』。関連項目に、タイムパラドックスや平行世界など。
日本某所にある、私立咲坂高校に通っている少年。
MITの数学科をわずか15歳で首席卒業しながら、大学の所有する研究機関への道を自ら辞した過去を持つ。MIT在学時の研究テーマはゼータ関数、およびその周辺領域の証明である。その才能ゆえに、人と違った生き方をしてしまったため、自らの人生に疑問を抱いて大学卒業後、現在の学校に再編入した。
完璧主義者であり、「(論理的な)理不尽」を見過ごすことは決してなく、厳しく指摘を入れていく。基本的に人間の感情の機微には疎く、加えて善意でしたことが周囲から曲解され悪意になって自分に跳ね返ってきたために、人との付き合い方に難点を持ち、それがコンプレックスとなっている一面を持つ。高校へ編入してからもその経歴や性格から変人扱いされることもあった。反面、人の思考・心理を「論理的」に追求することには長けている。
普段は何事にも冷静で理性的な性格。基本的に様々な事件や物事には無関心な態度を取るが、自身の意思に関わらず幾度も事件に関わっていき、揉め事が起きたときはそれを解決するトラブルシューター的な役割を担っている。また自身が事件の当事者である場合は時に一人で抱えこんで行動をすることもある。他人への感情はドライに見えるが、可奈の父親の幸太郎からお年玉をもらったりした際には、困惑したような表情を浮かべたのちに恩返しのような形で事件解決に協力するなど、本質的には人嫌いではない様子である。
ソフトウェア関連会社へクラッキングできる程の高度なプログラミング技術を有している。
これらの2人のキャラクターは、ストーリーの途中で高校2年生になるが、どのエピソードの時点で2年生になるのかは不明。『Q.E.D. iff ―証明終了―』では学年が上がり、高校三年生となった。
想のMIT時代の友人であり、優秀な数学者。金髪ストレートの白人種。
北欧神話における「悪戯の神」の「ロキ」というあだ名を持つ無類のいたずら好きで、CIAすら煙に捲くほど。
多趣味で明るい性格をしており、想と違ってかなり社交的なタイプであるが、彼もまた才能故の孤独を持ち、想に出会うまで自分の発見や理論が常人から理解されない悩みを抱えていた。想にとっては兄のような人であり、良き友であり、相互的な理解者である。想が唯一あだ名で呼ぶ存在。
想がMITの研究機関を辞めた際、想が来るまでトップであったロキが、想を追い出したという噂を流されたが、その疑惑は3巻収録「ブレイク・スルー」にて解決した。