yaneurao https://blog.hatena.ne.jp/yaneurao/ やねうらおブログ(移転しました) https://yaneurao.hatenadiary.com/ programming yaneudoujou 「プログラマは自分で好きなようにルールを作ることが出来る」とは言っても最低限守らなければいけないことはある。ゲーデルの不完全性定理を持ち出すまでもなく、ルールは無矛盾(consistent)でなければならない。(これについての哲学的な問題は、柄谷 行人の『隠喩としての建築』が参考になると思う。) 例えば、文字列長をLengthという変数に持たせるとルールを定めたならば、 void Clear() { Length = 0; } bool IsEmpty() { return Length==0; }という二つのメソッドを提供することが出来る。このとき二つのメソッド(「クリアする」と「クリアされ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyaneurao.hatenadiary.com%2Fentry%2F20061011%2Fp1" title=" Part 13.メモリレイアウト(6) - やねうらおブログ(移転しました)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/41P0Q28CNZL._SL160_.jpg Hatena Blog https://hatena.blog 2006-10-11 00:00:00 rich https://yaneurao.hatenadiary.com/entry/20061011/p1 1.0 100%