2014-12-04から1日間の記事一覧
引き続き圏論で足し算 圏論縛りプレイルール 使っていい言葉とかが制限されてる 名詞 射 対象 図式 述語 射の合成 射が恒等 射が存在する 射が一意 図式が可換 *1 圏論では具体的な値に言及できないので、気軽に「何かと何かが等しい」とは言えない縛りプレ…
引き続き圏論で足し算 圏論縛りプレイルール 使っていい言葉とかが制限されてる 名詞 射 対象 図式 述語 射の合成 射が恒等 射が存在する 射が一意 図式が可換 *1 圏論では具体的な値に言及できないので、気軽に「何かと何かが等しい」とは言えない縛りプレ…