タグ

contに関するkiyo_hikoのブックマーク (3)

  • Scheme 入門 A-3. 継続についてもう少し

    Appendix 3. 継続についてもう少し 以下の文章は、以前継続について書いたものです。 皆様の継続の理解に役立てば幸いです。 1. はじめに Scheme の継続は大変強力だそうです。ただ、理解するのは大変難しく、実は紫藤もよくは理解していません。 ここでは備忘録を兼ねて継続について詳しく説明しようと思います。 Scheme は言語体系は小さいのですが、それによってほとんどのプログラミング技法が表現できるように 設計されています。他の言語に見られるような便利な機能は無いのですが、その分アルゴリズムを直接 記述できるので主に教育用言語として使われています。有名な 計算機プログラムの構造と解釈に記載されている プログラムは Scheme を用いて書かれています。なお、 実用的には全く用いられないということは無く、 Practical Scheme に事例があります。 継続を除いて、Sch

  • ベータ簡約 ‐ 通信用語の基礎知識

    ラムダ計算においても関数の適用という概念がある。 つまり式を書き換えて簡単にする規則を定めたものがベータ簡約である。 (λx.M) は、写像x→Mを表わす。つまり入力xに対しMを返すとことを表現するラムダ項とされる。 (MN) は、ラムダ項Mにラムダ項Nを渡す、あるいはMにNを適用するということを表現するラムダ項である。このMやNは具体的には(λx.K)や(x+1)などのラムダ項となることもある。 また括弧は適宜省かれる。

    kiyo_hiko
    kiyo_hiko 2013/09/26
    ((λx.M)N)の形をβ-redexといい、Nをxに適用して式を簡単にすることをβ簡約という。β-redexが含まれないλ式を正規形という。例えば(λx.xPb)(λk.Pak)をβ簡約すると、(λk.Pak)Pb、PaPb
  • 継続とは (ケイゾクとは) [単語記事] - ニコニコ大百科

    継続単語 93件 ケイゾク 1.2千文字の記事 7 0pt ほめる 掲示板へ 記事編集 概要関連動画関連項目掲示板継続、コンティニュエーションとは 既にある状態・行為を続ける、続いていくものを指す。 (例:試合を継続する、継続的に観察する) サービス・契約・イベント企画・販売内容に対して用いられる場合もある。 曖昧さ回避 ケイゾク - TBS系列のテレビドラマ。 継続高校 - テレビアニメ「ガールズ&パンツァー」に登場する架空の学校。 プログラムフローのある時点における実行文脈に対してその未来図全体のことをいう。要は「to be continued(続く)……」で表される全部。 類語として 現状維持 がある。(項目参照) 概要 「俺、この戦いが終ったら結婚するんだ」 といった場合、「この戦い」というのが目下進行中の現在の文脈であり、その終了を待つ「継続」は 郷里で彼女と結婚し 薔薇色の新婚

    継続とは (ケイゾクとは) [単語記事] - ニコニコ大百科
    kiyo_hiko
    kiyo_hiko 2013/09/25
    まずは1引数クロージャーの連なりに分解する
  • 1