2013-04-13から1日間の記事一覧
「カンシュチュウケン(関手柱圏)」って口頭で言いにくい、シリンダー圏にした。んで、次のように考えている; 関手 F:C→D を記述するのはどうも難しい、つうか煩雑。そこで、Fのシリンダー圏を定義することによって関手の記述に代える。関手とそのシリンダ…
/* 一時的 */ module t;command count-mos [string app] :: void -> object { %1 > app; sreif:list-modules %app | mpl:fullnames > mods | {"mods": list:length} > c1; %mods | each { pass > mod; do { sreif:list-types %mod | list:length >: "types",…