{"id":4151,"date":"2016-02-26T09:13:42","date_gmt":"2016-02-26T00:13:42","guid":{"rendered":"https:\/\/pr-app02.eng.hokudai.ac.jp\/others\/newsfeed\/?p=4151"},"modified":"2026-07-03T08:14:48","modified_gmt":"2026-07-02T23:14:48","slug":"prize20160226_15","status":"publish","type":"topics","link":"https:\/\/pr.eng.hokudai.ac.jp\/top\/topics\/prize20160226_15\/","title":{"rendered":"\u5b63\u627f\u6210\u3055\u3093(\u535a\u58eb2\u5e74)\uff0c\u6817\u539f \u6b63\u4ec1\u6559\u6388\u304cInternational Association of Engineers (IAENG)\u306eBest Student Paper Award of International Conference on Computer Science and Applications 2015\u3092\u53d7\u8cde\u3057\u307e\u3057\u305f\u3002"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">\u53d7\u8cde\u65e5\uff1a\u30002015\u5e7412\u67089\u65e5<br>\u6c0f\u540d \u8077\u540d\/\u5b66\u5e74\uff1a\u3000\u5b63 \u627f\u6210 \u535a\u58eb2\u5e74\u3000\u3000\u6817\u539f \u6b63\u4ec1 \u6559\u6388<br>\u6240\u5c5e\uff1a\u3000\u60c5\u5831\u79d1\u5b66\u7814\u7a76\u79d1 \u60c5\u5831\u7406\u5de5\u5b66\u5c02\u653b \u8907\u5408\u60c5\u5831\u5de5\u5b66\u8b1b\u5ea7 <a href=\"http:\/\/kussharo.complex.eng.hokudai.ac.jp\/\">\u77e5\u80fd\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u7814\u7a76\u5ba4<\/a><br>\u6388\u4e0e\u56e3\u4f53\uff1a\u3000International Association of Engineers (IAENG)<br>\u8cde\u540d\uff1a\u3000Best Student Paper Award of International Conference on Computer Science and Applications 2015<br>\u53d7\u8cde\u8ad6\u6587\u540d\uff0c\u7814\u7a76\u984c\u76ee\u540d\u307e\u305f\u306f\u53d7\u8cde\u7406\u7531\uff1a<br>\uff62A New Implementation of Multi-Context Algebraic Inductive Theorem Prover (\u591a\u91cd\u6587\u8108\u306b\u57fa\u3065\u304f\u4ee3\u6570\u5411\u3051\u5e30\u7d0d\u7684\u5b9a\u7406\u8a3c\u660e\u5668\u306e\u65b0\u3057\u3044\u5b9f\u88c5)\uff63<br>\u554f\u3044\u5408\u308f\u305b\u5148\uff1a\u3000Tel 011-706-6812, E-mail haru[a]complex.ist.hokudai.ac.jp (\u4f50\u85e4\u6674\u5f66)<\/p>\n","protected":false},"featured_media":0,"template":"","topics_category":[7],"topics_tag":[9,11],"class_list":["post-4151","topics","type-topics","status-publish","hentry","topics_category-award","topics_tag-engineering","topics_tag-information_science"],"acf":[],"_links":{"self":[{"href":"https:\/\/pr.eng.hokudai.ac.jp\/top\/wp-json\/wp\/v2\/topics\/4151","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=4151"}],"wp:term":[{"taxonomy":"topics_category","embeddable":true,"href":"https:\/\/pr.eng.hokudai.ac.jp\/top\/wp-json\/wp\/v2\/topics_category?post=4151"},{"taxonomy":"topics_tag","embeddable":true,"href":"https:\/\/pr.eng.hokudai.ac.jp\/top\/wp-json\/wp\/v2\/topics_tag?post=4151"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}