{"categories":["Ken Nakashima\u7406\u8ad6"],"version":"1.0","url":"https://kmdbn347.com/entry/2026/05/08/124359","title":"\u5883\u754c\u611f\u53d7\u7684\u5b9f\u5728\u6027\u306e\u305f\u3081\u306e\u5b9f\u884c\u4ee3\u6570\uff1a\u6b8b\u5dee\u99c6\u52d5\u306e\u8a31\u5bb9\u6027\u518d\u7de8\u3001\u591a\u91cd\u9589\u5305\u76f8\u4e92\u4f5c\u7528\u3001\u975e\u9010\u6b21\u7684\u5b9f\u884c\u306e\u69cb\u9020","blog_title":"\u8a00\u3044\u5c3d\u304f\u305b\u306a\u3044\u611f\u8b1d\uff1aWords Cannot Fully Express Our Gratitude","description":"\u6771\u4eac\uff08\u65e5\u672c\uff09\u2014 2026\u5e745\u67088\u65e5\uff08JST\uff09 Ken Nakashima\uff08\u4e3b\u4efb\u7406\u8ad6\u5bb6\uff09\u304c\u7387\u3044\u308bKen\u7406\u8ad6\u2122 \u30c1\u30fc\u30e0\u306f\u3001 \u201cExecution Algebra for Boundary-Sensitive Realizability: Residual-Triggered Admissibility, Multi-Closure Interaction, and Non-Sequential Execution \u201d \u3068\u984c\u3059\u308b\u8ad6\u6587\u3092\u516c\u958b\u3044\u305f\u3057\u307e\u3057\u305f\u3002 \u91cf\u5b50\u7cfb\u3001\u8d85\u9ad8\u901f\u5206\u5b50\u518d\u7de8\u6210\u3001\u751f\u7269\u5b66\u7684\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30fc\u30b9\u3001\u767a\u751f\u69cb\u9020\u3001\u76f8\u95a2\u6750\u6599\u3001\u96c6\u56e3\u540c\u671f\u7cfb\u3001\u6c17\u5019\u30c0\u30a4\u30ca\u30df\u30af\u30b9\u3068\u3044\u3063\u305f\u591a\u69d8\u306a\u9818\u57df\u306b\u304a\u3051\u308b\u8fd1\u5e74\u306e\u9032\u5c55\u306f\u3001\u9023\u7d9a\u6027\u4e92\u2026","type":"rich","provider_name":"Hatena Blog","published":"2026-05-08 12:43:59","author_url":"https://blog.hatena.ne.jp/kmdbn347/","image_url":"https://ken-theory.org/wp-content/uploads/2026/05/image-67.png","blog_url":"https://kmdbn347.com/","height":"190","author_name":"kmdbn347","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkmdbn347.com%2Fentry%2F2026%2F05%2F08%2F124359\" title=\"\u5883\u754c\u611f\u53d7\u7684\u5b9f\u5728\u6027\u306e\u305f\u3081\u306e\u5b9f\u884c\u4ee3\u6570\uff1a\u6b8b\u5dee\u99c6\u52d5\u306e\u8a31\u5bb9\u6027\u518d\u7de8\u3001\u591a\u91cd\u9589\u5305\u76f8\u4e92\u4f5c\u7528\u3001\u975e\u9010\u6b21\u7684\u5b9f\u884c\u306e\u69cb\u9020 - \u8a00\u3044\u5c3d\u304f\u305b\u306a\u3044\u611f\u8b1d\uff1aWords Cannot Fully Express Our Gratitude\" 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","width":"100%"}