2013-07-11から1日間の記事一覧
銀座のパン屋さん木村屋總本店は有名ですが、それとは別に、確か「ガンソ・キムラヤ」とかいうパン屋さんが築地にあったような気がするんだけど。いやっ、むかーしむかしの話なので、今はどうなっているか分からないけど。場所的には、木村家ペストリーショ…
The nCategory Cafe の記事 "Synthetic ∞-Groupoid Theory" 経由で知ったマイク・シュルマン(Mike Shulman)のスライド "Homotopy type theory: towards Grothendieck's dream"。 http://home.sandiego.edu/~shulman/papers/hott-grothendieck.pdf スライド…