「晩に渋谷でパスタの会：双対編」アジェンダ＆資料 - (保存用) 檜山正幸のキマイラ飼育記 メモ編
イントロはマジメに（＝ツマラナイ）予習復習だ 記号に慣れてね。 A×B A + B 1と0 idA = A （よく使う、特に僕は） f×K （idA = A の応用） f×g f + K f + g <f, g> と Δ [f, g] と ∇ （ただし、∇は“足し算”の意味でも使う） π1, π2 （ただし、下添字も使うときは π1A, B など） ι1, ι2 参考： 圏論のお勉強なら、Catyスクリプトでやってミソ - 檜山正幸のキマイラ飼育記 メモ編 計算（コンピューティング）の話をするとき、多くの場合： 射は計算行為のなんらかの単位 域は計算開始前の資源状況の型（つまり制約だ！） 余域は計算開始終了後の資源状況の型（ホーアトリプルを思い出せ） 射の方向は時間方向（過去から未来）と一致する。 くれぐれも、特定プログラミング言語や常識的な計算機構に捕らわれないこと。 例：f:int→i
Practical Foundations for Programming Languages
Practical Foundations for Programming Languages Robert Harper Carnegie Mellon University Spring, 2011 [Version 1.8 of 07.22.2011.] Copyright c 2010 by Robert Harper. All Rights Reserved. The electronic version of this work is licensed under the Cre- ative Commons Attribution-Noncommercial-No Derivative Works 3.0 United States License. To view a copy of this license, visit http://creativecommons.o
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Contrasting Exceptions and Continuations
8.4 対応関係の拡張