{"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnuhsnuh.hatenablog.jp%2Fentry%2F20150103%2Fp1\" title=\"\u3000Why Does Le\u015bniewski Use the Equivalence Sign Instead of the Definitional Equality Sign for Definitions? Part 1 - nuhsnuh\u2019s blog\" 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","blog_title":"nuhsnuh\u2019s blog","blog_url":"https://nuhsnuh.hatenablog.jp/","title":"\u3000Why Does Le\u015bniewski Use the Equivalence Sign Instead of the Definitional Equality Sign for Definitions? Part 1","categories":["Lesniewski"],"height":"190","author_name":"nuhsnuh","published":"2015-01-03 00:00:00","version":"1.0","url":"https://nuhsnuh.hatenablog.jp/entry/20150103/p1","width":"100%","provider_name":"Hatena Blog","image_url":null,"author_url":"https://blog.hatena.ne.jp/nuhsnuh/","type":"rich","description":"(\u672c\u65e5\u306e\u65e5\u8a18\u306f\u3082\u306e\u3059\u3054\u304f\u9577\u3044\u3067\u3059\u3002\u9577\u3059\u304e\u3066\u3001\u5b57\u6570\u5236\u9650\u306b\u5f15\u3063\u304b\u304b\u308a\u3001\u4e00\u65e5\u3067\u306f\u65e5\u8a18\u306b\u53ce\u307e\u308a\u307e\u305b\u3093\u306e\u3067\u3001\u4eca\u65e5\u3068\u660e\u65e5\u306b\u5206\u3051\u3066\u8a18\u3057\u307e\u3059\u3002\u672c\u65e5\u306f\u305d\u306e\u7b2c\u4e00\u65e5\u76ee\u3067\u3059\u3002)\u4eca\u56de\u306f\u3001Le\u015bniewski \u306e\u5b9a\u7fa9\u306e\u3084\u308a\u65b9\u306b\u3064\u3044\u3066\u3001\u8a18\u3057\u307e\u3059\u3002\u73fe\u5728\u3001\u79c1\u305f\u3061\u304c\u8ad6\u7406\u5b66\u3084\u6570\u5b66\u306b\u304a\u3044\u3066\u5b9a\u7fa9\u3092\u884c\u306a\u3046\u969b\u306b\u306f\u3001\u5b9a\u7fa9\u306e\u305f\u3081\u306e\u7279\u5225\u306a\u8a18\u53f7\u3092\u4f7f\u3063\u3066\u884c\u3063\u3066\u3044\u307e\u3059\u3002\u4f8b\u3048\u3070 '\u21d4' \u3068\u3044\u3046\u8a18\u53f7\u306e\u4e0a\u3001\u307e\u305f\u306f\u4e0b\u306b 'def' \u3068\u3044\u3046\u8a18\u53f7\u3092\u6dfb\u3048\u308b\u3053\u3068\u3067\u5b9a\u7fa9\u8a18\u53f7\u3068\u3057\u305f\u308a\u3001':=' \u3092\u5b9a\u7fa9\u8a18\u53f7\u3068\u3057\u305f\u308a\u3001\u8457\u8005\u306e\u597d\u307f\u306b\u5fdc\u3058\u3066\u305d\u306e\u4ed6\u3044\u304f\u3064\u304b\u306e\u5f62\u3092\u3057\u305f\u8a18\u53f7\u3092\u3001\u305d\u306e\u90fd\u5ea6\u3001\u5b9a\u7fa9\u8a18\u53f7\u3068\u3057\u3066\u63a1\u7528\u3057\u3066\u5229\u7528\u3057\u3066\u3044\u308b\u3068\u601d\u3044\u307e\u3059\u3002\u305d\u306e\u969b\u306b\u306f\u3001\u305d\u308c\u3089\u306e\u5b9a\u7fa9\u8a18\u53f7\u306f\u3001\u6587\u3084\u5f0f\u304c\u4e92\u3044\u306b\u540c\u5024\u3067\u2026"}