コンビネータ

Yコンビネーター PythonによるＹコンビネータの仕組みの(多分)わかりやすい説明より。 F = lambda f: lambda n: n if n < 2 else f(n - 1) * n Y = lambda f: (lambda x: lambda m: f(x(x))(m))(lambda x: lambda m: f(x(x))(m)) print(Y(F)(5)) カリー化 Pythonでカリー化を書いてみるより def add_curried(x): def _add(y): return x+y return _add print(add_curried(2)(3)) d…

PythonによるＹコンビネータの仕組みの(多分)わかりやすい説明より。 F = lambda f: lambda n: n if n < 2 else f(n - 1) * n Y = lambda f: (lambda x: lambda m: f(x(x))(m))(lambda x: lambda m: f(x(x))(m)) print(Y(F)(5)) Pythonでカリー化を書いてみるより def add_curried(x): def _add(y): return x+y return _add print(add_curried(2)(3)) def add_curried…

PythonによるＹコンビネータの仕組みの(多分)わかりやすい説明より。 F = lambda f: lambda n: n if n < 2 else f(n - 1) * n Y = lambda f: (lambda x: lambda m: f(x(x))(m))(lambda x: lambda m: f(x(x))(m)) print(Y(F)(5)) Pythonでカリー化を書いてみるより def add_curried(x): def _add(y): return x+y return _add print(add_curried(2)(3)) def add_curried…

PythonによるＹコンビネータの仕組みの(多分)わかりやすい説明より。 F = lambda f: lambda n: n if n < 2 else f(n - 1) * n Y = lambda f: (lambda x: lambda m: f(x(x))(m))(lambda x: lambda m: f(x(x))(m)) print(Y(F)(5)) Pythonでカリー化を書いてみるより def add_curried(x): def _add(y): return x+y return _add print(add_curried(2)(3)) def add_curried…

PythonによるＹコンビネータの仕組みの(多分)わかりやすい説明より。 F = lambda f: lambda n: n if n < 2 else f(n - 1) * n Y = lambda f: (lambda x: lambda m: f(x(x))(m))(lambda x: lambda m: f(x(x))(m)) print(Y(F)(5)) Pythonでカリー化を書いてみるより def add_curried(x): def _add(y): return x+y return _add print(add_curried(2)(3)) def add_curried…

PythonによるＹコンビネータの仕組みの(多分)わかりやすい説明より。 F = lambda f: lambda n: n if n < 2 else f(n - 1) * n Y = lambda f: (lambda x: lambda m: f(x(x))(m))(lambda x: lambda m: f(x(x))(m)) print(Y(F)(5))

注意事項 同時分布＝2階以上の分布≒多次元分布 だが、次元概念は曖昧（主観的）だから、階数で定義する。(0, n) （n ≧ 2）の階数を持つマルコフ・テンソルを同時分布と呼ぶ。「同時」に意味はない。 同時化は、ベイズペアに対する演算で、二項演算と考えることができる。圏論的コンビネータ。 周辺化は、アレンジメントの二部構造に基づく演算。 フォング記法の解説。 伝統的変数名記法の解説。変数名にプロファイル情報を入れる。 伝統的関数測度混同記法の解説。関数に点を入れてもいいし、部分集合〈事象〉を入れてもいい。関数を測度とも解釈し、測度を関数とも解釈する。 周辺分布は、周辺化の値と、単純分布＝1階分…

をモノイド圏とする。デカルト性も対称性も仮定しない。モノイド閉構造が次のようにして与えられているとする。 右掛け算関手 の右随伴パートナーが右指数関手 （対象部分だけでも十分） 左掛け算関手 の右随伴パートナーが左指数関手 （対象部分だけでも十分） 右掛け算・右指数-随伴に伴う右カリー化が 左掛け算・左指数-随伴に伴う左カリー化が 右カリー化の逆を与える右エバル 左カリー化の逆を与える左エバル 右エバルに関するベータ変換等式は： 略記と省略を使えば： これを強化（ストロング化）した等式が得られる。 上の等式に出現した について説明する。 は関手（モノイド構造に対する挙動は特に仮定しない）、添字…

TaPLの5，6章を読み，7章をHaskellで 今回もTaPLの内容を実装ベースで理解します． 前回の記事はこちら． drumato.hatenablog.com 今回は5, 6章で解説されている"単純型なしラムダ計算"を理解し， 7章のOCaml実装をHaskellに移植してみようと思います． この記事はあくまでも 言語処理系の"理論"に疎い人間が実装ベースで理解する という趣旨なので， その点注意してご覧いただければと思います． コード全体はこちらに． github.com TaPLの5，6章を読み，7章をHaskellで 前提知識 ラムダ計算の基礎 意味論 項の名無し表現 Haskel…

Leanの推論規則 - (新) 檜山正幸のキマイラ飼育記 メモ編 の続き。https://leanprover.github.io/logic_and_proof/nd_quickref.html に自然演繹のまとめがある。それに従うが、双含意〈bi-inplication〉は除く。 論理記号 導入 消去 Implication ラムダ抽象、assume 空白右引数エバル Conjunction and.intro and.left, and.right Negation ラムダ抽象 空白右引数エバル Disjunction or.inl, or.inr or.elim（コペア構成高階関数） …

年末だしPocketでクリップした記事の中で面白かったものを見返した。あと今年聴いた曲も振り返った。 invenia.github.io scheme手習いを読んでいてYコンビネータで詰まったので読んだ。 arxiv.org JAXを使った分子動力学法のナウい実装。JAXを使うために粒子の隣接リストも関数型っぽく書かなきゃいけないのがしんどそうだった。 www.youtube.com www.youtube.com Lex Fridmanのポッドキャストは胡散臭い回もあるけど↑の2つは面白かった。 yksn25.hatenablog.com nomolk.hatenablog.com dtdw…