このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2013-07-11から1日間の記事一覧

ガンソ・キムラヤ

銀座のパン屋さん木村屋總本店は有名ですが、それとは別に、確か「ガンソ・キムラヤ」とかいうパン屋さんが築地にあったような気がするんだけど。いやっ、むかーしむかしの話なので、今はどうなっているか分からないけど。場所的には、木村家ペストリーショ…

トポスとHoTTと象の絵

The nCategory Cafe の記事 "Synthetic ∞-Groupoid Theory" 経由で知ったマイク・シュルマン(Mike Shulman)のスライド "Homotopy type theory: towards Grothendieck's dream"。 http://home.sandiego.edu/~shulman/papers/hott-grothendieck.pdf スライド…