高校生の暮里阿梨は、科学者で唯一の肉親である祖父（秋津島）が危篤との知らせを受け、秋津島家に駆けつける。ところが家の中は空間が歪み、幽霊になった秋津島教授と、異世界から飛ばされてきたライムがいた。秋津島の教え子・海堂、阿梨の同級生・桃太郎の二人の居候に加え、秋津島の研究を探る名目で左遷された隣人の調査機関職員、松23号らも巻き込んで、不思議な日常が始まる。
作者の代表的長編作品。さまざまなSF的モチーフを取り入れながらも、そのすべてを何気ない日常の生活の一部として展開する独特の手法を用い、時間の流れの中で少しずつ成長する人々の姿を描いた。第21回星雲賞(1990年)コミック部門を受賞した。
バイエルン公ベルトルト（Berthold von Bayern, 900年頃 - 947年11月23日）は、ルイトポルト家出身のバイエルン大公（在位：938年 - 947年）。ベルトルトはバイエルン辺境伯ルイトポルトの息子で、バイエルン公アルヌルフの弟にあたる。926年にはケルンテンの伯として記録されている。938年に甥エーバーハルトが皇帝オットー1世によりバイエルン公位を剥奪された後、ベルトルトはバイエルン公位を与えられたが、その際に聖職叙任権などの権利を放棄することとなった。ベルトルトは、オットー1世の妹ゲルベルガかヘートヴィヒとの結婚が計画されていたものの叶わず、バイエルン貴族の娘ビルトルートと結婚した。ビルトルートはのちにノイブルク・アン・デア・ドナウのベルゲン修道院を創設した。943年、ベルトルトはヴェルスでハンガリー軍を破りハンガリーの侵略を防いだ。カランタニア（現シュタイアーマルク州）のキリスト教化はベルトルトによるところが大きい。ベルトルトはオットー1世の治世を支えたものの、947年のベルトルトの死後、息子のハインリヒはバイエルン公位を継承することができず、兄アルヌルフの娘ユーディトと結婚していたオットー1世の弟ハインリヒ1世がバイエルン公となった。息子ハインリヒは皇帝オットー2世の治世下でケルンテン公（ハインリヒ1世）およびバイエルン公（ハインリヒ3世）となった。
一般に、有限桁数の減算は「補数」を用いることで加算に置き換えて計算する事が出来る。まずは理解しやすいように10進数で考えてみよう。例として4桁同士の「5714 - 2840」という計算を考える。この減算を直接計算する代わりに、この式を次のように変形してみよう。5714 - 2840= 5714 + 10000 - 2840 - 10000= 5714 + 1 + 9999 - 2840 - 10000「9999-2840」の部分は「7159」であるが、9999から4桁以内の数字を引く場合には桁借りが発生する事は無いため、他の桁の事を考慮する事無く各桁毎に「9-2」「9-8」「9-4」「9-0」を行なえばよい。つまり「足すと9になる数」に各桁を置き換えるだけで「9999-2840」の計算ができることになる。この「足すと9になる数」のことを、「9の補数」と呼ぶ。つまり、上記の減算は、次の手順で計算できる事になる。1: 引く数 2840の各桁を9の補数化する。→ 71592: それに1を加える。→ 71603: それに引かれる数 5714を加える。→ 128744: 最後に10000を引く。→ 2874解説の最後に減算が出てきたが、手順3:の計算結果は10000以下の数+4桁の数の加算であるから19999が最大となるため、この計算は常に5桁目を無視するだけで済む。さて、2進数で同様の手法を考えると、9の補数の代わりに1の補数が計算できれば、減算を加算器を用いて計算できる事がわかる。1の補数とは「足して1になる数」であるので、2進数なら「0→1」「1→0」ということになり、これはNOTに他ならない。例として「100101-010110」という計算は次の手順で計算できる事になる。1: 引く数010110の各桁を反転(NOT)する。→ 1010012: それに1を加える。→ 1010103: それに引かれる数100101を加える。→ 10011114: 最上位桁を無視する。→ 001111これを回路にすると、次のようになる。この図では、外部から最下位への桁上げ X への入力を 1 に固定しているが、もしこれが 0 だったとしたら、出力される結果が 1 だけ小さいものになる、ということに注意する。多倍長の計算中だったとしたら、より下の桁の計算において上の桁からの借り（ボロー）があったとしたらこの X への入力を 0 にして計算すれば良い、ということが了解されるだろう。また同様にして、最上位桁の全加算器からのキャリー出力 C は、この計算全体においてボローがなければ 1、ボローがあったら 0 になる。プロセッサの演算装置では、キャリーやボローの状態について、フラグレジスタを通して、連続する計算の間を引き回すようにする、という設計がよくある。この時、減算時のボローフラグを、加算用のキャリーフラグと兼用し、さらにハードウェアを単純にする目的から、ボローのありなしについては、ボロー有→キャリーフラグは 0、ボロー無→キャリーフラグは 1、とした設計が見られる（6502・POWER・ARM・PICなど）。