記号と再帰

田中久美子先生。大学院の後輩だ いや、でも、最近やりまくってたのは、Agda と、Intro. to Higher order categorical logic でしょ 比べるものではないわけだが、いまさら 　シニフィアンとシニフィエですか? 本気か!? まぁ、一応、モナドは出てきました。2010だからなぁ いや、もっと、ヴィドゲンシュタインとかクワインとか、出てこないのかよ。いや、まったく出ませんでした いや、高階直観論理、一階述語論理は触れるべきだろ? というわけで、割とがっかりなまま、一応、読み終わり いや、久しぶりに紙の本、読んだかも 今の話は、記号で作る構造の詳細に集中していると思われる。圏論とかは、そっちの方ね 再帰の構造は、圏のCCCとトポスなわけで、その辺を追求しないのは、はっきり物足りない感じね Agda で表している数学はいったいなんなのか。その辺を「他の人を通じる」形で読みたいかも https://www.utp.or.jp/book/b307458.html