{"categories":["\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0"],"title":"\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e Proxima","author_url":"https://blog.hatena.ne.jp/mandel59/","url":"https://mandel59.hateblo.jp/entry/2013/04/01/000002","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmandel59.hateblo.jp%2Fentry%2F2013%2F04%2F01%2F000002\" title=\"\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e Proxima - Ryusei\u2019s Notes (a.k.a. M59\u306e\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>","type":"rich","blog_url":"https://mandel59.hateblo.jp/","author_name":"mandel59","version":"1.0","image_url":null,"blog_title":"Ryusei\u2019s Notes (a.k.a. M59\u306e\u30d6\u30ed\u30b0)","width":"100%","provider_name":"Hatena Blog","height":"190","description":"id ::= \\x -> x pred ::= succ \\x -> x Nat ::= zero | succ Nat nat \\z \\s ::= zero -> z | succ \\n -> s (nat z s n) Nat + Nat :: Nat \\x + \\y = nat x succ y Nat - Nat :: Nat \\x - \\y = nat x (pred | id) y","published":"2013-04-01 00:00:02","provider_url":"https://hatena.blog"}