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

ご連絡は上記 X アカウントに DM にてお願いします。

[参照用 記事]

2010-02-04から1日間の記事一覧

圏論とはいわず、数理論理学の切り口でいってみようか>郡司ペギオ-幸夫さん

ペギオさんは「もういいや」。あの当時は弊害が気になっていたけど、心配する気力も萎えた感じ。 と言いながら、よくやるわ>自分。ふとしたキッカケで、最近また蒸し返し気味の「余極限の定義とか性質とか、ペギオ版を修正」 のことなんだけど、どうも「郡…