新潮文庫版では『正義と微笑』と一緒にされている。本作が表題。あらすじ.ハイティング代数数学におけるハイティング代数(ハイティングだいすう、)とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した性質を満たす半順序集合の一種である。必ずしも排中律が成り立たない直観論理のモデルとして提唱された。ハイティング代数のさらに特別な場合である完備ハイティング代数は層の理論の定式化にも用いられる。収録曲.(全作詞・作曲:岡崎律子)ニュームーン/トワイライト・サーガストーリー.評価.興行収入.受賞/ノミネート.マーメイド(川嶋あいの曲)概要.兜王ビートル概要.大阪プロレスの兜王ビートルが主演の昆虫バトルムービー。邪悪な外宇宙軍から地球を守るニューヒーロー「兜王ビートル」の活躍を描く。解説.収録曲.全編曲:小原礼収録内容.本編映像(セットリスト).<アンコール>CD未収録曲.愛以外のなんでもない.『愛以外のなんでもない』(あいいがいのなんでもない)は、錦戸亮の楽曲。明日.『明日』(あした)は、関ジャニ∞(丸山隆平・安田章大・大倉忠義)の楽曲。マーメイド.『マーメイド』は、関ジャニ∞の楽曲。本曲は、大阪松竹座時代から披露されている楽曲。GoNowToTheWorld.『GoNowToTheWorld』(ゴーナウトゥーザワールド)は、関ジャニ∞の楽曲。アメちゃん.『アメちゃん』は、三兄弟の楽曲。丸山清人人物.サンフラワードームゲイランゲイランは、シンガポールの中心部からやや東にある地区の名前。シンガポール川の東に位置しており、シンガポール政府公認の売春地区である。概要.スポーツ.特徴.小穂について.生育環境など.河川の水際の日なたに生える。泥でなく、砂地の河原があるところに生える。主として下流域に生えるヨシよりは上流に偏って分布し、ほとんど渓流域にまで出現する。よくネコヤナギなどと一緒に生えている。水際から浅い水中に大きな群落を作り、そのような場所では優占種となる。なお、周辺の止水や湿地にも出ることがある。