外部記憶

整礎順序集合

五十嵐淳『プログラミング言語の基礎概念』を読んでいます。 整礎順序集合 集合とその上の順序が整礎であるとは、(真の)無限降下列が存在しないことを

Learning Rust - Lifetime

Syntax and Semantics Lifetimes ずっと後回しにしてきましたが、今回はlifetimeを扱います。 Rustのlifetimeは、リソースの寿命に名前をつけて明確にし、