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

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

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

参照用 記事

2018-10-04から1日間の記事一覧

チャーチ/チューリングの提唱とバーウィック/ショマー=プリの定理

妄想かも知れない、トンチンカンかも知れない、雑感。内容: チャーチ/チューリングの提唱 高次圏論 バーウィック/ショマー=プリの唯一性定理 もう一度チャーチ/チューリングの提唱 チャーチ/チューリングの提唱チャーチ/チューリングの提唱〈Church-Tu…