{"id":481,"date":"2012-09-03T09:29:56","date_gmt":"2012-09-03T00:29:56","guid":{"rendered":"http:\/\/www.eng.yamanashi.ac.jp\/researchers\/?p=481"},"modified":"2012-10-05T09:11:43","modified_gmt":"2012-10-05T00:11:43","slug":"%e9%8d%8b%e5%b3%b6%e8%8b%b1%e7%9f%a5%e5%87%86%e6%95%99%e6%8e%88%e3%80%80%e6%97%a5%e6%9c%ac%e3%82%bd%e3%83%95%e3%83%88%e3%82%a6%e3%82%a7%e3%82%a2%e7%a7%91%e5%ad%a6%e4%bc%9a%e7%ac%ac28%e5%9b%9e%e5%a4%a7","status":"publish","type":"post","link":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/result\/481\/","title":{"rendered":"\u934b\u5cf6\u82f1\u77e5\u51c6\u6559\u6388\u3000\u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u7b2c28\u56de\u5927\u4f1a\u9ad8\u6a4b\u5968\u52b1\u8cde\u3092\u53d7\u8cde"},"content":{"rendered":"<p>\u3000\u934b\u5cf6\u82f1\u77e5\u51c6\u6559\u6388\uff08\u5927\u5b66\u9662\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fb\u30e1\u30c7\u30a3\u30a2\u5de5\u5b66\u5c02\u653b\uff09\u304c\uff0c2012\u5e748\u670822\uff5e24\u65e5\u306b\u958b\u50ac\u3055\u308c\u305f\u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u7b2c29\u56de\u5927\u4f1a\u306b\u3066\uff0c\u300c\u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u7b2c28\u56de\u5927\u4f1a\u9ad8\u6a4b\u5968\u52b1\u8cde\u300d\u3092\u53d7\u8cde\u3057\u307e\u3057\u305f\uff0e\u3053\u306e\u8cde\u306f\u6545\u9ad8\u6a4b\u79c0\u4fca\u5148\u751f\u306b\u3061\u306a\u3093\u3067\u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u306b\u3088\u3063\u3066\u5275\u8a2d\u3055\u308c\u305f\u8cde\u3067\u3059\uff0e\u4e00\u822c\u30bb\u30c3\u30b7\u30e7\u30f3\uff0c\u7814\u7a76\u4f1a\u30bb\u30c3\u30b7\u30e7\u30f3\uff0c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u8ad6\u6587\u30bb\u30c3\u30b7\u30e7\u30f3\u306b\u304a\u3051\u308b\u7279\u306b\u512a\u79c0\u306a\u767b\u58c7\u767a\u8868\u80052\u540d\u7a0b\u5ea6\u306b\u5bfe\u3057\u3066\u4e0e\u3048\u3089\u308c\u308b\u3082\u306e\u3067\u3059\uff0e<br \/>\n\u3000\u53d7\u8cde\u306e\u5bfe\u8c61\u3068\u306a\u3063\u305f\u7814\u7a76\u767a\u8868\u306f\u300cGlueMiniSat2.2.5: \u5358\u4f4d\u4f1d\u642c\u3092\u4fc3\u3059\u5b66\u7fd2\u7bc0\u306e\u7a4d\u6975\u7684\u7372\u5f97\u6226\u7565\u306b\u57fa\u3065\u304f\u9ad8\u901fSAT\u30bd\u30eb\u30d0\u30fc\u300d\u3067\u3042\u308a\uff0c\u60c5\u5831\u79d1\u5b66\u3067\u6700\u3082\u57fa\u672c\u7684\u3067\u672c\u8cea\u7684\u306a\u7d44\u5408\u305b\u554f\u984c\u3067\u3042\u308b\u547d\u984c\u8ad6\u7406\u306e\u5145\u8db3\u53ef\u80fd\u6027\u5224\u5b9a\u554f\u984c (SAT\u554f\u984c) \u3092\u9ad8\u901f\u306b\u89e3\u304f\u30bd\u30eb\u30d0\u30fc\u3092\u958b\u767a\u3057\u305f\u3053\u3068\u304c\u9855\u8457\u306a\u6210\u679c\u3068\u3057\u3066\u8a8d\u3081\u3089\u308c\u305f\u3082\u306e\u3067\u3059\uff0e\u934b\u5cf6\u51c6\u6559\u6388\u3089\u304c\u958b\u767a\u3057\u305f\u30bd\u30eb\u30d0\u30fc\u306f\uff0c2011\u5e74\u306b\u958b\u50ac\u3055\u308c\u305f\u4e16\u754c\u30b3\u30f3\u30da\u30c6\u30a3\u30b7\u30e7\u30f3 SATCompetition 2011\u306e\u7523\u696d\u5fdc\u7528\u30ab\u30c6\u30b4\u30ea\u306b\u304a\u3044\u3066\u3001\u90e8\u9580\u5225\u512a\u52dd\u304a\u3088\u3073\u7dcf\u54082\u4f4d\u306b\u5165\u308b\u306a\u3069\u306e\u5feb\u6319\u3092\u6210\u3057\u9042\u3052\u3066\u3044\u307e\u3059\uff0e<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u3000\u934b\u5cf6\u82f1\u77e5\u51c6\u6559\u6388\uff08\u5927\u5b66\u9662\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fb\u30e1\u30c7\u30a3\u30a2\u5de5\u5b66\u5c02\u653b\uff09\u304c\uff0c2012\u5e748\u670822\uff5e24\u65e5\u306b\u958b\u50ac\u3055\u308c\u305f\u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u7b2c29\u56de\u5927\u4f1a\u306b\u3066\uff0c\u300c\u2026 <span class=\"tsuduki\"><a href=\"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/result\/481\/\" class=\"more\">\uff3b\u7d9a\u304d\u3092\u8aad\u3080\uff3d<\/a><\/span><\/p>\n","protected":false},"author":1,"featured_media":482,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[7,11],"class_list":["post-481","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-result","tag-sat","tag-11"],"_links":{"self":[{"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/posts\/481","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/comments?post=481"}],"version-history":[{"count":11,"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/posts\/481\/revisions"}],"predecessor-version":[{"id":525,"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/posts\/481\/revisions\/525"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/media\/482"}],"wp:attachment":[{"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/media?parent=481"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/categories?post=481"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/tags?post=481"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}