{"id":14691,"date":"2025-10-10T10:30:00","date_gmt":"2025-10-10T01:30:00","guid":{"rendered":"https:\/\/pr-app02.eng.hokudai.ac.jp\/newsfeed\/?p=14691"},"modified":"2026-07-02T11:55:50","modified_gmt":"2026-07-02T02:55:50","slug":"prize20251010","status":"publish","type":"topics","link":"https:\/\/pr.eng.hokudai.ac.jp\/top\/topics\/prize20251010\/","title":{"rendered":"\u60c5\u5831\u79d1\u5b66\u9662 \u5927\u5009 \u4f51\u6597\u3055\u3093(\u4fee\u58eb2\u5e74)\u304c\u4e00\u822c\u793e\u56e3\u6cd5\u4eba\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u306e2025\u5e74\u5ea6\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30b5\u30a4\u30a8\u30f3\u30b9\u9818\u57df\u5968\u52b1\u8cde\u3092\u53d7\u8cde\u3057\u307e\u3057\u305f\u3002"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">\u53d7\u8cde\u65e5\uff1a2025\u5e747\u670810\u65e5<br>\u6c0f\u540d\uff1a\u5927\u5009 \u4f51\u6597<br>\u5b66\u5e74\uff1a\u4fee\u58eb2\u5e74<br>\u6240\u5c5e\uff1a\u60c5\u5831\u79d1\u5b66\u9662 \u60c5\u5831\u79d1\u5b66\u5c02\u653b \u60c5\u5831\u7406\u5de5\u5b66\u30b3\u30fc\u30b9 <a href=\"https:\/\/art.ist.hokudai.ac.jp\/\">\u5927\u898f\u6a21\u77e5\u8b58\u51e6\u7406\u7814\u7a76\u5ba4<\/a><br>\u6388\u4e0e\u56e3\u4f53\uff1a\u4e00\u822c\u793e\u56e3\u6cd5\u4eba\u60c5\u5831\u51e6\u7406\u5b66\u4f1a<br>\u8cde\u540d\uff1a<a href=\"https:\/\/www.ipsj.or.jp\/award\/cs-awardee-2025.html\">2025\u5e74\u5ea6\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30b5\u30a4\u30a8\u30f3\u30b9\u9818\u57df\u5968\u52b1\u8cde<\/a><br>\u53d7\u8cde\u8ad6\u6587\u540d\uff0c\u7814\u7a76\u984c\u76ee\u540d\u307e\u305f\u306f\u53d7\u8cde\u7406\u7531\uff1aExact Algorithm for the Boolean Connectivity of k-Horn Formulas via Deterministic PPZ\uff08k\u30db\u30fc\u30f3\u5f0f\u306e\u89e3\u7a7a\u9593\u306e\u9023\u7d50\u6027\u5224\u5b9a\u554f\u984c\u306b\u5bfe\u3059\u308b\u6c7a\u5b9a\u6027 PPZ \u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u5229\u7528\u3057\u305f\u53b3\u5bc6\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\uff09<br>\u554f\u3044\u5408\u308f\u305b\u5148\uff1aTel 011-706-6470 \/ E-mail seto[a]ist.hokudai.ac.jp\uff08\u810a\u6238 \u548c\u5bff \u51c6\u6559\u6388\uff09<\/p>\n","protected":false},"featured_media":0,"template":"","topics_category":[7],"topics_tag":[11],"class_list":["post-14691","topics","type-topics","status-publish","hentry","topics_category-award","topics_tag-information_science"],"acf":[],"_links":{"self":[{"href":"https:\/\/pr.eng.hokudai.ac.jp\/top\/wp-json\/wp\/v2\/topics\/14691","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pr.eng.hokudai.ac.jp\/top\/wp-json\/wp\/v2\/topics"}],"about":[{"href":"https:\/\/pr.eng.hokudai.ac.jp\/top\/wp-json\/wp\/v2\/types\/topics"}],"wp:attachment":[{"href":"https:\/\/pr.eng.hokudai.ac.jp\/top\/wp-json\/wp\/v2\/media?parent=14691"}],"wp:term":[{"taxonomy":"topics_category","embeddable":true,"href":"https:\/\/pr.eng.hokudai.ac.jp\/top\/wp-json\/wp\/v2\/topics_category?post=14691"},{"taxonomy":"topics_tag","embeddable":true,"href":"https:\/\/pr.eng.hokudai.ac.jp\/top\/wp-json\/wp\/v2\/topics_tag?post=14691"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}