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

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

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

2012-01-13から1日間の記事一覧

似てる?

[追記]このエントリー、間違って消してしまったから、再現。[/追記]長男から電話がかかってきて、質問をされた。 防衛相退任が決まった一川保夫氏と、俳優の蟹江敬三さんは似てると思うか? 元画像:http://img.blogs.yahoo.co.jp/ybi/1/f3/c6/yoshimizushri…

シーケント計算と圏論(続きみたいな)

うううう、今日も寒い。昨日、シーケント計算の話をしました。ここ最近、プログラムの解析にシーケント計算が使えるんじゃないかと思っているんですよ。シーケント計算の背景には、単なる圏よりはむしろ複圏/多圏(multicategory/polycateogry)があるので…