{"id":60,"date":"2007-09-02T20:15:49","date_gmt":"2007-09-02T11:15:49","guid":{"rendered":"https:\/\/onulab.net\/wp\/wordpress\/2007\/09\/02\/concertino\/"},"modified":"2007-09-02T20:15:49","modified_gmt":"2007-09-02T11:15:49","slug":"concertino","status":"publish","type":"post","link":"https:\/\/onulab.net\/blog\/?p=60","title":{"rendered":"\u30b2\u30fc\u30c7\u30eb\u306e\u305f\u3081\u306e\u5c0f\u5354\u594f\u66f2\u3000\uff5econcertino"},"content":{"rendered":"<p>\u304a\u306f\u30e9\u30c3\u30ad\u30fc\u2606<br \/>\n\u4f53\u80b2\u796d\u3084\u3089\u6587\u5316\u796d\u306e\u5b63\u7bc0\u306b\u306a\u308a\u307e\u3057\u305f\u30fc<br \/>\n\u6587\u5316\u796d\u306e\u5404\u51fa\u3057\u7269\u306e\u5ba3\u4f1d\u3092\u898b\u3066\u601d\u3044\u307e\u3057\u305f<br \/>\n\u5ba3\u4f1d\u6587\u53e5\u306e\u4e2d\u306b\u3059\u3054\u3044\u91cf\u306e\u30cd\u30bf\u304c\u2026<br \/>\n\u305d\u3057\u3066\u3001\u305d\u306e\u4e2d\u306b\u81ea\u5206\u306e\u6c17\u3065\u304b\u306a\u304b\u3063\u305f\u30cd\u30bf\u304c\u7d50\u69cb\u3042\u308a\u307e\u3057\u305f\u3002\u305d\u3053\u3067\u601d\u3063\u305f\u306e\u3067\u3059\u3002<br \/>\n\u5b9f\u306f\u3053\u306e\u30da\u30fc\u30b8\u306b\u66f8\u304b\u308c\u3066\u3044\u308b\u30cd\u30bf\u306e\u5927\u534a\u306f\u6c17\u3065\u304b\u308c\u3066\u3044\u306a\u3044\u306e\u3067\u306f\u306a\u3044\u304b\u3068<br \/>\n\u3068\u3044\u3046\u308f\u3051\u3067\u3053\u306e\u8a18\u4e8b\u306b\u95a2\u3057\u3066\u542b\u307e\u308c\u3066\u3044\u308b\u30cd\u30bf\u306e\u6570\u3092\u516c\u958b\u3057\u3066\u307f\u3088\u3046\u3068<br \/>\n\u30b2\u30fc\u30c7\u30eb\u30a8\u30c3\u30b7\u30e3\u30fc\u30d0\u30c3\u30cf\u3042\u308b\u3044\u306f\u4e0d\u601d\u8b70\u306e\u74b0\uff0850\uff5e140P\uff09<br \/>\n\u8457\u8005\u30c0\u30b0\u30e9\u30b9\u30fb\uff32\u30fb\u30db\u30d5\u30b9\u30bf\u30c3\u30bf\u30fc<br \/>\n\u8a33\uff1a\u91ce\u5d0e\u662d\u5f18\u3001\u306f\u3084\u3057\u306f\u3058\u3081\u3001\u67f3\u702c\u5c1a\u7d00<br \/>\n\u5206\u985e\u3000\u3000\u3000\uff1a\u4e0d\u660e<br \/>\n\u7dcf\u5408\u8a55\u4fa1\u3000\u3000\uff1a<font color=\"red\">\u2605\u2605\u2605\u2605\u2605<\/font><br \/>\n\u6587\u7ae0\u3000\u3000\u3000\u3000\uff1a<font color=\"red\">\u2605\u2605\u2605\u2605<\/font><br \/>\n\u5206\u304b\u308a\u3084\u3059\u3055\uff1a<font color=\"red\">\u2605<\/font><br \/>\n\u5185\u5bb9\u3000\u3000\u3000\u3000\uff1a<font color=\"red\">\u2605\u2605\u2605\u2605\u2605<\/font><br \/>\n\u30e4\u30d5\u30a5\u30fc\u30fc\u30fc\uff01<br \/>\n\u3053\u306e\u672c\u306e\u8a55\u4fa1\uff06\u89e3\u8aac\uff1f\u3082\u4e8c\u56de\u76ee\u306b\u306a\u308a\u307e\u3057\u305f\u3002\u3042\u3093\u307e\u308a\u9032\u3093\u3067\u3044\u308b\u6c17\u304c\u3057\u306a\u3044\u306e\u306f\u30da\u30fc\u30b8\u306e\u591a\u3055\u304b\u3089\u304b\u3001\u7406\u89e3\u3067\u304d\u3066\u3044\u306a\u3044\u304b\u3089\u304b\u2026<br \/>\n\u3055\u3042\uff16\uff10\u30da\u30fc\u30b8\u4ee5\u964d\u3050\u3089\u3044\u304b\u3089\u5ef6\u3005\u3068\u30b2\u30fc\u30c7\u30eb\u306e\u4e16\u754c\u3067\u3059\u3002\u305f\u307e\u306b\u30d0\u30c3\u30cf\u3084\u30a8\u30c3\u30b7\u30e3\u30fc\u3082\u9854\u3092\u51fa\u3057\u307e\u3059\u3002\u4e0d\u601d\u8b70\u306a\u306e\u306f\u3053\u306e\u4e09\u4eba\u304c\u7dba\u9e97\u306b\u7d50\u3073\u3064\u3044\u3066\u3044\u308b\u3068\u3053\u308d\u3067\u3059\u3002<br \/>\n\u4e16\u306e\u4e2d\u306f\u6182\u9b31\u306a\u3053\u3068\u304c\u591a\u3059\u304e\u308b<br \/>\n\u7d76\u671b\u3057\u305f\uff01\uff01\u3053\u306e\u4e16\u754c\u306e\u77db\u76fe\u306e\u591a\u3055\u306b\u7d76\u671b\u3057\u305f\uff01\uff01<br \/>\n\u4eba\u306e\u4e16\u754c\u306f\u77db\u76fe\u306b\u3042\u3075\u308c\u3066\u3044\u308b\u304c\u3001\u3053\u306e\u81ea\u7136\u754c\u306b\u306f\u77db\u76fe\u304c\u5b58\u5728\u3059\u308b\u306e\u3067\u3057\u3087\u3046\u304b\u3002<br \/>\n\u81ea\u7136\u754c\u306b\u77db\u76fe\u304c\u3042\u3063\u305f\u3089\u79d1\u5b66\u3068\u3044\u3046\u3082\u306e\u306f\u6210\u7acb\u3057\u306a\u3044\u3088\u3046\u306a\u6c17\u304c\u3057\u307e\u3059\u304c<br \/>\n\u300c\u7121\u77db\u76fe\u306a\u516c\u7406\u7cfb\u306f\u81ea\u5df1\u306e\u77db\u76fe\u6027\u3092\u8a3c\u660e\u3067\u304d\u306a\u3044\u300d\u3068\u5b87\u5b99\u4eba\u3082\u8a00\u3063\u3066\u3044\u307e\u3059\u3057<br \/>\n\u3082\u3057\u304b\u3057\u305f\u3089\u81ea\u7136\u754c\u304b\u3089\u306f\u306a\u308c\u305f\u6240\u304b\u3089\u898b\u305f\u3089\u77db\u76fe\u3060\u3089\u3051\u306a\u306e\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u3002<br \/>\n\u3067\u3082\u3001\u81ea\u7136\u754c\u304b\u3089\u96e2\u308c\u305f\u3068\u3053\u308d\u3063\u3066\u3001\u3053\u306e\u4e16\u754c\u3068\u9055\u3046\u4e16\u754c\u3068\u3044\u3046\u3053\u3068\u306a\u306e\u304b\u306a\uff1f<br \/>\n\u6b21\u56de\u304c\u3042\u308b\u304b\u3069\u3046\u304b\u5206\u304b\u3089\u306a\u3044\u3051\u3069\u304a\u697d\u3057\u307f\u306b\uff5e\u30d0\u30a4\u30cb\u30fc<br \/>\n\u30cd\u30bf\u6570\u5831\u544a<br \/>\n\u3089\u304d\u2606\u3059\u305f\u3000\u00d7\uff13<br \/>\nkanon       \u00d7\uff11<br \/>\n\u6dbc\u5bae\u30cf\u30eb\u30d2\u3000\u00d7\uff11<br \/>\n\u7d76\u671b\u5148\u751f\u3000\u3000\u00d7\uff11<br \/>\n\u87f2\u3068\u773c\u7403\u3000\u3000\u00d7\uff11<br \/>\n\uff0a\u4eca\u56de\u3060\u3051\u5206\u304b\u308a\u3084\u3059\u3044\u30cd\u30bf\u304c\u591a\u304b\u3063\u305f\u3088\u3046\u306a\u6c17\u304c\u3057\u307e\u3059\u304c\u6c17\u306e\u305b\u3044\u3067\u3059<\/p>\n<p><!--more--><br \/>\n\/\/\/\/\/\/\/\u5185\u5bb9\u30e1\u30e2\u306f\uff15\uff10\uff5e\uff11\uff12\uff10\uff30\u3042\u305f\u308a\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/<br \/>\n\u30b2\u30fc\u30c7\u30eb<br \/>\n\u300c\u30d7\u30ea\u30f3\u30ad\u30d4\u30a2\u30fb\u30de\u30c6\u30de\u30c6\u30a3\u30ab\u304a\u3088\u3073\u95a2\u9023\u3059\u308b\u4f53\u7cfb\u306b\u304a\u3051\u308b\u5f62\u5f0f\u7684\u306b\u6c7a\u5b9a\u4e0d\u80fd\u306a\u547d\u984c\u306b\u3064\u3044\u3066\u2160\u300d<br \/>\n\u547d\u984c\u2163<br \/>\n\u03c9\u7121\u77db\u76fe\u3067\u3057\u304b\u3082\u5e30\u7d0d\u7684\u3067\u3042\u308b\u3088\u3046\u306a\u8ad6\u7406\u5f0f\u306e\u3069\u3093\u306a\u96c6\u5408\u03c7\u3082\u306b\u5bfe\u3057\u3066\u3082\u3001\u3042\u308b\u5e30\u7d0d\u7684\u306a\u96c6\u5408\u03b3\u304c\u5bfe\u5fdc\u3057\u3066\u3044\u3066\u03bdGen\u03b3\u3082Neg(\u03bdGen\u03b3)\u3082Flg\u306b\u5c5e\u3057\u3066\u3044\u306a\u3044\uff08\u3053\u3053\u3067\u03b3\u306f\u03bd\u306e\u81ea\u7531\u5909\u6570\u3067\u3042\u308b\uff09<br \/>\n\u2192\u6570\u8ad6\u306e\u7121\u77db\u76fe\u306a\u516c\u7406\u7cfb\u306f\u3001\u5fc5\u305a\u6c7a\u5b9a\u4e0d\u80fd\u306a\u547d\u984c\u3092\u542b\u3080<br \/>\n\u30b2\u30fc\u30c6\u30eb\u306e\u4e0d\u5b8c\u5168\u6027\u5b9a\u7406\u3068\u547c\u3070\u308c\u308b<br \/>\n\u547d\u984c\u306b\u304a\u3051\u308b\u300c\u4e0d\u601d\u8b70\u306e\u74b0\u300d<br \/>\n\u81ea\u5206\u81ea\u8eab\u3092\u542b\u307e\u306a\u3044\u96c6\u5408\uff08\u5e73\u7a4f\u7121\u4e8b\uff09<br \/>\n\u81ea\u5206\u81ea\u8eab\u3092\u98f2\u307f\u8fbc\u3080\u96c6\u5408\uff08\u81ea\u5df1\u306e\u898b\u8fbc\u307f\uff09<br \/>\n\u6ce8\uff1a\u96c6\u5408\u5e73\u305d\u308c\u81ea\u4f53\u306f\u5e73\u7a4f\u7121\u4e8b\u3067\u3082\u81ea\u5df1\u306e\u898b\u8fbc\u307f\u3067\u3082\u306a\u3044\uff08\u305d\u308c\u305e\u308c\u4eee\u5b9a\u3059\u308b\u3068\u5206\u304b\u308b\uff09<br \/>\n\u6b21\u306e\u6587\u306f\u8aa4\u308a\u3067\u3042\u308b<br \/>\n\u524d\u306e\u6587\u306f\u6b63\u3057\u3044<br \/>\n\uff2d\uff35\u30d1\u30ba\u30eb<br \/>\n\u898f\u5247\uff11\u3000\u6700\u5f8c\u306e\u6587\u5b57\u304c\uff29\u3067\u3042\u308b\u6587\u5b57\u5217\u3092\u6301\u3063\u3066\u3044\u308b\u306a\u3089\u3001\u305d\u306e\u3042\u3068\u306b\uff35\u3092\u4ed8\u3051\u52a0\u3048\u3066\u3088\u3044\u3002<br \/>\n\u898f\u5247\uff12\u3000\u6587\u5b57\u5217\uff2d\uff58\u3092\u6301\u3063\u3066\u3044\u308b\u3068\u304d\u306f\u3001\u6587\u5b57\u5217\uff2d\uff58\uff58\u3092\u6301\u3061\u3082\u306e\u306b\u52a0\u3048\u3066\u3088\u3044\u3002<br \/>\n\uff2d\uff29\uff35\u304b\u3089\uff2d\uff29\uff35\uff29\uff35<br \/>\n\uff2d\uff35\uff2d\u304b\u3089\uff2d\uff35\uff2d\uff35\uff2d<br \/>\n\u898f\u5247\uff13\u3000\u3082\u3057\u6240\u6709\u3057\u3066\u3044\u308b\u3042\u308b\u6587\u5b57\u5217\u306e\u4e2d\u306b\uff29\uff29\uff29\u304c\u73fe\u308c\u308b\u306a\u3089\u3001\u305d\u306e\uff29\uff29\uff29\u3092\uff35\u3067\u7f6e\u304d\u63db\u3048\u3066\u3088\u3044\u3002<br \/>\n\uff2d\uff29\uff29\uff29\uff29\u304b\u3089\u3001\uff2d\uff29\uff35\uff08\u307e\u305f\uff2d\uff35\uff29\u3082\uff09\u4f5c\u3063\u3066\u3088\u3044\u3002<br \/>\n\uff2d\uff29\uff29\uff29\u304b\u3089\uff2d\uff35\u304c\u4f5c\u308c\u308b\u3002<br \/>\n\u898f\u5247\uff14\u3000\u3082\u3057\u6240\u6709\u3059\u308b\u6587\u5b57\u5217\u306e\u3042\u308b\u3082\u306e\u304c\uff35\uff35\u3092\u542b\u3080\u306a\u3089\u3001\u305d\u306e\uff35\uff35\u3092\u7701\u7565\u3057\u3066\u3088\u3044\u3002<br \/>\n\u4f8b<br \/>\n\uff35\uff35\uff35\u304b\u3089\u3001\uff35\u3092\u5f97\u308b\u3002<br \/>\n\uff2d\uff35\uff35\uff35\uff29\uff29\uff29\u304b\u3089\uff2d\uff35\uff29\uff29\uff29\u3092\u5f97\u308b\u3002<br \/>\n\u5b9a\u7406\u6027\u691c\u5b9a\u6cd5<br \/>\n\u4f55\u5ea6\u3082\u7e70\u308a\u8fd4\u3057\u7121\u9650\u56de\u7e70\u308a\u8fd4\u3057\u3066\u3082\u7d50\u679c\u304c\u51fa\u306a\u3051\u308c\u3070\u3001\u305d\u308c\u306f\u5b9a\u7406\u3067\u306f\u306a\u3044<br \/>\n\u7121\u9650\u56de\u3068\u3044\u3046\u90e8\u5206\u3067\u3088\u3044\u691c\u5b9a\u6cd5\u3067\u306f\u306a\u3044<br \/>\n\u3044\u3064\u3067\u3082\u6709\u9650\u6642\u9593\u5185\u3067\u7d42\u308f\u308b\u3053\u3068\u304c\u4fdd\u8a3c\u3055\u308c\u3066\u3044\u308b\u3068\u304d\u3001\u305d\u306e\u65b9\u6cd5\u3092\u6c7a\u5b9a\u624b\u7d9a\u304d\u3068\u3044\u3046<br \/>\n\u2460\uff21\uff1d\uff22\u3001\uff22\uff1d\uff23<br \/>\n\u2461\uff21\uff1d\uff23<br \/>\n\u2462\u2460\u304c\u771f\u306a\u3089\u2461\u3082\u771f<br \/>\n\u2460\u3092\u8a8d\u3081\u3066\u3082\u2462\u3092\u8a8d\u3081\u306a\u3051\u308c\u3070\u2461\u3068\u306f\u3044\u3048\u306a\u3044<br \/>\n\u2463\u2460\u2462\u304c\u771f\u306a\u3089\u3070\u2461\u3082\u771f<br \/>\n\u2460\u2462\u3092\u8a8d\u3081\u3066\u3082\u2463\u3092\u8a8d\u3081\u306a\u3051\u308c\u3070\u2461\u3068\u306f\u3044\u3048\u306a\u3044<br \/>\nPQ\u30b7\u30b9\u30c6\u30e0<br \/>\n\u5b9a\u7fa9\uff1ax\u304c\u30cf\u30a4\u30d5\u30f3\u3060\u3051\u306e\u5217\u3067\u3042\u308b\u3068\u304d\u3001xp-qx-\u306f\u516c\u7406\u3067\u3042\u308b\u3002<br \/>\n\u898f\u5247\uff1ax,y,z\u306f\u3069\u308c\u3082\u30cf\u30a4\u30d5\u30f3\u306e\u307f\u304b\u3089\u306a\u308b\u7279\u5b9a\u306e\u5217\u3092\u8868\u3059\u3068\u3059\u308b\u3002\u3082\u3057\u3001xpyqz\u304c\u5b9a\u7406\u3067\u3042\u308c\u3070xpy-qz-\u3082\u5b9a\u7406\u3067\u3042\u308b\u3002<br \/>\n\u610f\u5473\u2026p=\u305f\u3059\u3001q=\u306f\u3001-=\uff11\u3001&#8211;=\uff12\u3001&#8212;=\uff13\u3001\u2026<br \/>\n\u3000\u3000\u3000p=\u308a\u3093\u3054\u3001q=\u99ac\u3001-=\uff11\u3001&#8211;=\uff12\u3001&#8212;=\uff13\u3001\u2026<br \/>\n\u89e3\u91c8\u2026\u610f\u5473\u306e\u3068\u308a\u65b9\u306b\u3088\u3063\u3066\u3001\u305d\u306e\u6709\u610f\u5473\u6027\u3082\u5909\u308f\u3063\u3066\u304f\u308b<br \/>\n\u6c7a\u5b9a\u624b\u7d9a\u304d\u306e\u30a2\u30d7\u30ed\u30fc\u30c1<br \/>\n\u3000\uff11\uff0e\u30c8\u30c3\u30d7\u30fb\u30c0\u30a6\u30f3\uff08\u4e0a\u304b\u3089\u4e0b\uff1a\u516c\u7406\u306b\u9060\u3044\u3068\u3053\u308d\u304b\u3089\uff09<br \/>\n\u3000\uff12\uff0e\u30dc\u30c8\u30e0\u30fb\u30a2\u30c3\u30d7\uff08\u4e0b\u304b\u3089\u4e0a\uff1a\u516c\u7406\u306b\u8fd1\u3044\u3068\u3053\u308d\u304b\u3089\uff09<br \/>\n\u56f3\u3068\u5730<br \/>\n\u8a8d\u8b58\u53ef\u80fd\u306a\u5f62\u3067\u3042\u3063\u3066\u3001\u305d\u306e\u6d88\u6975\u7684\u306a\u90e8\u5206\u306f\u8a8d\u8b58\u53ef\u80fd\u3067\u306a\u3044\u90e8\u5206\u304c\u5b58\u5728\u3059\u308b<br \/>\n\uff1d\uff08\u7b46\u8a18\u7684\u306b\u63cf\u3051\u308b\u56f3\u3067\u3042\u3063\u3066\u3001\u518d\u5e30\u7684\u3067\u306a\u3044\u3082\u306e\u304c\u5b58\u5728\u3059\u308b\uff09<br \/>\n\uff1d\u518d\u5e30\u7684\u306b\u53ef\u7b97\u3067\u3042\u308b\u304c\u3001\u518d\u5e30\u7684\u3067\u306f\u306a\u3044\u96c6\u5408\u304c\u5b58\u5728\u3059\u308b<br \/>\n\uff0a\u518d\u5e30\u7684\u306b\u53ef\u7b97\uff08recursively enumerable\uff1aeq\uff09<br \/>\n\u2192\u3042\u308b\u5b9a\u7406\u306e\u96c6\u5408\u306e\u88dc\u96c6\u5408\u306f\u3001\u3042\u308b\u5b9a\u7406\u3092\u5426\u5b9a\u3057\u3066\u3082\u5f97\u3089\u308c\u308b\u3068\u306f\u9650\u3089\u306a\u3044<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u304a\u306f\u30e9\u30c3\u30ad\u30fc\u2606 \u4f53\u80b2\u796d\u3084\u3089\u6587\u5316\u796d\u306e\u5b63\u7bc0\u306b\u306a\u308a\u307e\u3057\u305f\u30fc \u6587\u5316\u796d\u306e\u5404\u51fa\u3057\u7269\u306e\u5ba3\u4f1d\u3092\u898b\u3066\u601d\u3044\u307e\u3057\u305f \u5ba3\u4f1d\u6587\u53e5\u306e\u4e2d\u306b\u3059\u3054\u3044\u91cf\u306e\u30cd\u30bf\u304c\u2026 \u305d\u3057\u3066\u3001\u305d\u306e\u4e2d\u306b\u81ea\u5206\u306e\u6c17\u3065\u304b\u306a\u304b\u3063\u305f\u30cd\u30bf\u304c\u7d50\u69cb\u3042\u308a\u307e\u3057\u305f\u3002\u305d\u3053\u3067\u601d\u3063\u305f\u306e\u3067\u3059\u3002 \u5b9f\u306f\u3053\u306e\u30da\u30fc\u2026 <span class=\"read-more\"><a href=\"https:\/\/onulab.net\/blog\/?p=60\">\u7d9a\u304d\u3092\u8aad\u3080 &raquo;<\/a><\/span><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8],"tags":[],"class_list":["post-60","post","type-post","status-publish","format-standard","hentry","category-8"],"_links":{"self":[{"href":"https:\/\/onulab.net\/blog\/index.php?rest_route=\/wp\/v2\/posts\/60","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/onulab.net\/blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/onulab.net\/blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/onulab.net\/blog\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/onulab.net\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=60"}],"version-history":[{"count":0,"href":"https:\/\/onulab.net\/blog\/index.php?rest_route=\/wp\/v2\/posts\/60\/revisions"}],"wp:attachment":[{"href":"https:\/\/onulab.net\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=60"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/onulab.net\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=60"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/onulab.net\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=60"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}