{"author_name":"phi16_ind","title":"\u96d1\u8a18 250207","height":"190","description":"\u6700\u8fd1\u306e\u3082\u3084\u3082\u3084\u3092\u3064\u3089\u3064\u3089\u66f8\u304d\u307e\u3059\u3002\u30d7\u30ed\u30b0\u30e9\u30e0\u95a2\u9023\u306e\u8a71\u3002 \u306a\u3093\u3066\u3044\u3046\u306e\u304b\u306a\u3002\u300c\u3082\u3063\u3068\u826f\u3044\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u4f53\u9a13\u304c\u3067\u304d\u308b\u306f\u305a\u306a\u306e\u306b\u3001\u73fe\u4ee3\u306b\u306f\u307e\u3060\u306a\u3044\u300d\u3068\u3044\u3046\u611f\u899a\u3001\u591a\u5c11 type theory \u3068\u304b\u3092\u6398\u3063\u305f\u4eba\u306a\u3089\u307f\u3093\u306a\u611f\u3058\u3089\u308c\u308b\u3068\u601d\u3046\u2026\u3093\u3067\u3059\u3088\u306d\u3002 \u4f8b\u3048\u3070 C/C++ \u3067\u66f8\u3044\u3066\u3044\u308b\u300c\u30d7\u30ed\u30b0\u30e9\u30e0\u300d\u3068\u3001Haskell/Rust \u3067\u66f8\u3044\u3066\u3044\u308b\u300c\u30d7\u30ed\u30b0\u30e9\u30e0\u300d\u3063\u3066\u304b\u306a\u308a\u6839\u5e95\u304c\u9055\u3063\u3066\u3044\u3066\u3002\u305d\u308c\u306f\u521d\u5fc3\u8005\u304c\u66f8\u304f\u300c\u30d7\u30ed\u30b0\u30e9\u30e0\u300d\u3068\u3001\u5916\u90e8\u9023\u643a\u3084\u5c06\u6765\u7684\u30e1\u30f3\u30c6\u30b3\u30b9\u30c8\u3092\u898b\u636e\u3048\u3066\u66f8\u304b\u308c\u305f\u300c\u30d7\u30ed\u30b0\u30e9\u30e0\u300d\u306e\u9055\u3044\u3068\u4f3c\u305f\u3088\u3046\u306a\u8a71\u3067\u3002\u624b\u7d9a\u304d\u578b\u3068\u5ba3\u8a00\u578b\u306e\u9055\u3044\u3068\u4f3c\u305f\u3088\u3046\u306a\u8a71\u3067\u3002 \u3064\u307e\u308a how \u3067\u306f\u306a\u304f what \u3092\u66f8\u3044\u3066\u3044\u308b\u3002\u6319\u52d5\u3067\u306f\u306a\u304f\u4fdd\u8a3c\u3092\u2026","version":"1.0","image_url":null,"provider_url":"https://hatena.blog","published":"2025-02-07 19:07:11","url":"https://phi16.hatenablog.com/entry/2025/02/07/190711","provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/phi16_ind/","width":"100%","blog_url":"https://phi16.hatenablog.com/","categories":[],"type":"rich","blog_title":"Imaginantia","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fphi16.hatenablog.com%2Fentry%2F2025%2F02%2F07%2F190711\" title=\"\u96d1\u8a18 250207 - Imaginantia\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>"}