⊥ではない無限ループ

• 現実的な「while文の意味」は？ - 檜山正幸のキマイラ飼育記 (はてなBlog)

いまいち不明確だな。⊥ ではない無限ループの話らしいが、はっきりしない。