エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
linear lambda calculus -
未だに、線形論理の何が凄いのかよく分からないけど、そもそも、logicsの素養がないし、sequent calculu... 未だに、線形論理の何が凄いのかよく分からないけど、そもそも、logicsの素養がないし、sequent calculusとかキライなので、そっち方面から理解しようとするのは間違いだと気付いた。というか、昨日まで、Curry-Howard同形で、対応するラムダ計算があることすら理解してなかったので、何で関数型言語方面でまで、線形論理の話を見かけるか分かってなかった。 圏論モデルがあるようなので、そっち方面を眺めて見る http://www.cs.bham.ac.uk/~vdp/publications/NDpaiva.pdf http://citeseer.ist.psu.edu/9733.html 私に理解できたのは、 単純型付きラムダ計算<->cartesian closed category 線形ラムダ計算<->symmetric monoidal category + ある種のcom