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

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

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

参照用 記事

2011-03-25から1日間の記事一覧

ホモトピー・ラムダ計算とホモトピー型理論

計算科学やソフトウェア工学で次に流行るもの、それはホモトピーでしょう。そのキザシがありましたよ、先日。id:ranhaさんと僕(檜山)が、同時刻に別な文脈で偶然にもホモトピーの話をしていた、と。ranhaさんにいたっては、なんだかワケワカンナイ挿絵いっ…