※追記F# Advent Calendar 2014 - connpassの26日目の記事になりました。今年は一切アドベントカレンダー参加してなかったのに25日越えてほとんど縁遠かった分野のアドカレに参加することになるとは…。 GoでHelloWorld出来たのでGo完全にマスターした2014-01-…
引き続き圏論で足し算 圏論縛りプレイルール 使っていい言葉とかが制限されてる 名詞 射 対象 図式 述語 射の合成 射が恒等 射が存在する 射が一意 図式が可換 *1 圏論では具体的な値に言及できないので、気軽に「何かと何かが等しい」とは言えない縛りプレ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。