bonotake https://blog.hatena.ne.jp/bonotake/ bonotakeの日記 https://bonotake.hatenablog.com/ 圏論 メモ 算譜 量子 参考：http://show.zoho.com/public/takeo.bono/lambda%20calculus%20and%20CCC このスライドは、「ラムダ計算と圏論を学びたがっている量子物理学研究者」という、超偏ったターゲット層を狙って書かれているため、あんまり一般向けの説明とはいえません。あと、狙いが外れたところもあったんで。以下、思っていたことなどを箇条書き。自分用メモも兼ねてるので、後で編集するかもです。 一番の狙いはラムダ計算と量子情報との接点。 ポイントは monoidal product と currying です。 でも途中のストーリーが、物理屋さんにはちょっと回り… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbonotake.hatenablog.com%2Fentry%2F20090309%2F1236612642" title="Tokyo Quantum Meeting: 発表内容の補足（というかメモ書き） - bonotakeの日記" 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 2009-03-09 00:30:42 rich https://bonotake.hatenablog.com/entry/20090309/1236612642 1.0 100%