m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 今日もちょっとAlloyで遊んでみます。ある目的から、自然数の区間 {0, 1, 2, ..., n} の性質の一部を抽象した構造が欲しくなりました。その構造とは次のものです。 サクセッサ（後者関数）に基づく全順序（線形順序） 2点間の距離 2点間の距離とは、x, y∈{0, 1, 2, ..., n} として、次のように定義されます。 δ(x, y) = |x - y| ここでは便宜上引き算と絶対値で表現してますが、事前に引き算や絶対値を要求しているわけではありません。とりあえず、サクセッサ（名前はnextにします）と順序＜（名前はlt）、それと定数ゼロ（zero）、最後の数（last）を定… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20110720%2F1311129932" title="自然数の区間をAlloyで書いてみる - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-07-20 11:45:32 rich https://m-hiyama.hatenablog.com/entry/20110720/1311129932 1.0 100%