リスト内包表記
Axiom stream examples