{"title":"\u30d8\u30eb\u30de\u30f3\u30fb\u30ef\u30a4\u30eb\u306e\u7406\u8ad6\u3068\u30b8\u30e9\u30fc\u30eb\u5b66\u6d3e\u306e\u300c\u578b\u300d\u6982\u5ff5","blog_url":"https://cut-elimination.hatenablog.com/","description":"\u3055\u3089\u306b\u52e2\u3044\u3067\u2193\u3053\u308c\u306e\u7d9a\u304d\u3002 cut-elimination.hatenablog.com \u4eca\u56de\u306fJean-Baptiste Joinet, Thomas Seiller \"From abstraction and indiscernibility to classification and types: revisiting Hermann Weyl\u2019s theory of ideal elements\"\u3068\u3044\u3046\u8ad6\u6587\u3092\u3061\u3087\u3063\u3068\u7d39\u4ecb\u3002 www.jstage.jst.go.jp Joinet\u5148\u751f\u306f\u7dda\u5f62\u8ad6\u7406\u306e\u4e16\u754c\u3067\u306f\u6614\u304b\u3089\u6709\u540d\u306a\u30d9\u30c6\u30e9\u30f3\u3067\u3042\u308b\u3002Seiller\u5148\u751f\u306f\u524d\u306b\u3082\u8ad6\u6587\u3092\u7d39\u4ecb\u3057\u305f\u304c\u3001GoI(\u76f8\u4e92\u4f5c\u2026","type":"rich","provider_name":"Hatena Blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcut-elimination.hatenablog.com%2Fentry%2F2025%2F02%2F08%2F223907\" title=\"\u30d8\u30eb\u30de\u30f3\u30fb\u30ef\u30a4\u30eb\u306e\u7406\u8ad6\u3068\u30b8\u30e9\u30fc\u30eb\u5b66\u6d3e\u306e\u300c\u578b\u300d\u6982\u5ff5 - \u66c7\u308a\u306a\u304d\u773c\u3067\u898b\u5b9a\u3081\u30d6\u30ed\u30b0\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_url":"https://hatena.blog","url":"https://cut-elimination.hatenablog.com/entry/2025/02/08/223907","height":"190","author_url":"https://blog.hatena.ne.jp/cut_elimination/","width":"100%","blog_title":"\u66c7\u308a\u306a\u304d\u773c\u3067\u898b\u5b9a\u3081\u30d6\u30ed\u30b0","published":"2025-02-08 22:39:07","version":"1.0","categories":["\u7dda\u5f62\u8ad6\u7406\uff08\u30b8\u30e9\u30fc\u30eb\uff09"],"image_url":null,"author_name":"cut_elimination"}