jyukutyo https://blog.hatena.ne.jp/jyukutyo/ Fight the Future https://www.sakatakoichi.com/ programming 変数を束縛？ ちょっとモナドから逸れるけど。 「変数を束縛する」って言葉づかいがよく出てくる。 束縛するってどういうこと？ 束縛変数 bound variable とは、別の変数で置きかえても式の意味が変わらないような変数のことである。 束縛変数の名前を変更する処理を、α変換 alpha-conversion という。 fsfstuwhv - 束縛変数 変数 x は、例えば次のように書くと 束縛変数または束縛変項（英: Bound variable）になる。 全ての x について、 (x + 1)2 = x2 + 2x + 1 が成り立つ。あるいは x2 = 2 となるような x が存在する。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.sakatakoichi.com%2Fentry%2F20081104%2F1225776401" title="モナドについて調べていく(2) - Fight the Future" 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 2008-11-05 07:26:41 rich https://www.sakatakoichi.com/entry/20081104/1225776401 1.0 100%