{"id":2399,"date":"2018-07-16T22:49:09","date_gmt":"2018-07-16T13:49:09","guid":{"rendered":"https:\/\/pandanote.info\/?p=2399"},"modified":"2022-08-07T00:26:43","modified_gmt":"2022-08-06T15:26:43","slug":"%e5%a4%8f%e3%81%8c%e6%9d%a5%e3%82%8c%e3%81%b0%e6%80%9d%e3%81%84%e5%87%ba%e3%81%99%e3%80%81euler%e8%a7%92%e3%80%81%e5%9b%9b%e5%85%83%e6%95%b02-scala%e3%81%a7%e5%ae%9f%e8%a3%85%e3%81%97%e3%81%a6","status":"publish","type":"post","link":"https:\/\/pandanote.info\/?p=2399","title":{"rendered":"\u590f\u304c\u6765\u308c\u3070\u601d\u3044\u51fa\u3059\u3001Euler\u89d2\u3001\u56db\u5143\u6570(2): Scala\u3067\u5b9f\u88c5\u3057\u3066\u307f\u305f\u3002"},"content":{"rendered":"<h2>\u306f\u3058\u3081\u306b<\/h2>\n<p><a href=\"https:\/\/pandanote.info\/?p=2282\">\u3061\u3087\u3063\u3068\u524d\u306b\u66f8\u3044\u305f\u8a18\u4e8b<\/a>\u3067\u56db\u5143\u6570\u306e\u4e57\u7b97\u3092\u7528\u3044\u3066\u4e09\u6b21\u5143\u7a7a\u9593\u306b\u304a\u3051\u308b\u56de\u8ee2\u5909\u63db\u3092\u8868\u73fe\u3067\u304d\u308b\u3053\u3068\u3092\u793a\u3057\u307e\u3057\u305f\u3002<\/p>\n<p>\u3053\u306e\u8a18\u4e8b\u3067\u306f\u305d\u308c\u3092\u53d7\u3051\u308b\u5f62\u3067\u3001\u56db\u5143\u6570\u306e\u6f14\u7b97\u3092\u884c\u3046Scala\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u53ca\u3073\u30b3\u30f3\u30d1\u30cb\u30aa\u30f3\u30af\u30e9\u30b9\u3092\u5b9f\u88c5\u3057\u3066\u3044\u304d\u307e\u3059\u3002<\/p>\n<h2>\u5b9f\u88c5\u306e\u65b9\u91dd\u3002<\/h2>\n<p>\u5b9f\u88c5\u306e\u3084\u308a\u65b9\u306b\u3064\u3044\u3066\u3082<a href=\"https:\/\/pandanote.info\/?p=1829\">\u304b\u306a\u308a\u524d\u306e\u8a18\u4e8b<\/a>\u3067\u66f8\u3044\u305f\u8907\u7d20\u6570\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u53ca\u3073\u30b3\u30f3\u30d1\u30cb\u30aa\u30f3\u30af\u30e9\u30b9\u306b\u6e96\u305a\u308b\u3053\u3068\u306b\u3057\u307e\u3059\u3002<\/p>\n<h2>\u5b9f\u88c5\u4f8b\u3002<\/h2>\n<p>\u5b9f\u88c5\u4f8b\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u611f\u3058\u306b\u306a\u308a\u307e\u3059\u3002\u5272\u3068\u9577\u3044\u3067\u3059\u3002<br \/>\n<script src=\"https:\/\/gist.github.com\/pandanote-info\/f529f0c7a5d653ae568b4f67dc71792b.js\"><\/script><\/p>\n<h3>\u8003\u616e\u304c\u5fc5\u8981\u3068\u601d\u308f\u308c\u308b\u70b9(\u305d\u306e1): \u9664\u7b97<\/h3>\n<p>\u56db\u5143\u6570$q$\u3092\u9664\u6570\u3068\u3059\u308b\u9664\u7b97$div(p,q), p, q \\in \\mathbb{H}$\u306f\u3001\u9006\u6570\u3092\u53f3\u304b\u3089\u304b\u3051\u308b\u6f14\u7b97\u3068\u3057\u3066\u4ee5\u4e0b\u306e\u5f0f\u3067\u5b9a\u7fa9\u3057\u307e\u3059\u3002<br \/>\n\\begin{eqnarray}<br \/>\ndiv(p,q) &#038;=&#038; p\\cdot q^{-1}<br \/>\n\\end{eqnarray}<\/p>\n<p>\u306a\u304a\u3001\u56db\u5143\u6570\u306e\u96c6\u5408$\\mathbb{H}$\u306e\u4efb\u610f\u306e2\u5143\u306e\u9593\u306b\u306f\u4e57\u6cd5\u306b\u95a2\u3059\u308b\u4ea4\u63db\u5247\u304c\u6210\u7acb\u3057\u306a\u3044\u305f\u3081\u3001\u9006\u6570\u3092\u5de6\u304b\u3089$q^{-1}\\cdot p$\u306e\u3088\u3046\u306b\u304b\u3051\u308b\u6f14\u7b97\u3082\u9664\u7b97\u3068\u8003\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u305d\u3046\u3067\u3059\u304c\u3001\u4e0a\u8a18\u306e\u30b3\u30fc\u30c9\u3067\u306f\u3053\u308c\u306b\u5bfe\u5fdc\u3059\u308b\u5b9f\u88c5\u3092\u884c\u3063\u3066\u3044\u307e\u305b\u3093\u3002<\/p>\n<h3>\u8003\u616e\u304c\u5fc5\u8981\u3068\u601d\u308f\u308c\u308b\u70b9(\u305d\u306e2): \u5270\u4f59<\/h3>\n<p>\u56db\u5143\u6570\u306e\u5270\u4f59\u3068\u3044\u3046\u3082\u306e\u304c\u5b9a\u7fa9\u3067\u304d\u308b\u304b\u3069\u3046\u304b\u308f\u304b\u308a\u307e\u305b\u3093\u304c\u3001\u8907\u7d20\u6570\u306e\u5834\u5408\u3068\u540c\u69d8\u306b\u4ee5\u4e0b\u306e\u624b\u9806\u3067\u8a08\u7b97\u3057\u3001\u305d\u306e\u7d50\u679c\u5f97\u3089\u308c\u305f\u6570\u3092\u5270\u4f59\u3068\u3059\u308b\u30b3\u30fc\u30c9\u3092\u5b9f\u88c5\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n<ol>\n<li>\u5270\u4f59\u6f14\u7b97\u5b50\u306e\u5de6\u8fba\u306e\u56db\u5143\u6570($p \\in \\mathbb{H}$\u3068\u7f6e\u304d\u307e\u3059\u3002)\u3092\u88ab\u9664\u6570\u3001\u5270\u4f59\u6f14\u7b97\u5b50\u306e\u53f3\u8fba\u306e\u56db\u5143\u6570($q \\in \\mathbb{H}$\u3068\u7f6e\u304d\u307e\u3059\u3002)\u3092\u9664\u6570\u3068\u3059\u308b\u9664\u7b97\u3092\u5b9f\u884c\u3057\u3001\u305d\u306e\u5546\u3092\u5f97\u307e\u3059\u3002\u4ee5\u4e0b\u3001\u5546\u306e\u5024\u3092$d \\in \\mathbb{H}$\u3068\u7f6e\u304d\u307e\u3059\u3002<\/li>\n<li>$d$\u306e\u5b9f\u90e8\u53ca\u3073\u865a\u90e8($i,j,k$)\u6210\u5206\u3092\u305d\u308c\u305e\u308c\u56db\u6368\u4e94\u5165\u3057\u305f\u5024\u3092\u6c42\u3081\u3001\u3053\u308c\u3092$d^{\\prime}$\u3068\u3057\u307e\u3059\u3002<\/li>\n<li>\u4ee5\u4e0b\u306e\u5f0f\u306b\u3088\u308a\u8a08\u7b97\u3055\u308c\u308b\u5024$m$\u3092\u5270\u4f59\u3068\u3057\u307e\u3059\u3002\u9664\u7b97\u3092$p\\cdot q^{-1}$\u3068\u5b9a\u7fa9\u3057\u3066\u3044\u308b\u305f\u3081\u3001$d^{\\prime}$\u306b\u5bfe\u3057\u3066$q$\u3092\u5de6\u304b\u3089\u304b\u3051\u3066\u3044\u307e\u3059\u3002<br \/>\n\\begin{eqnarray}<br \/>\nm &#038;=&#038; p-d^{\\prime}\\cdot q<br \/>\n\\end{eqnarray}\n<\/li>\n<\/ol>\n<h3>\u8003\u616e\u304c\u5fc5\u8981\u3068\u601d\u308f\u308c\u308b\u70b9(\u305d\u306e3): \u56db\u5143\u6570\u306e\u3079\u304d\u4e57<\/h3>\n<p>$p, q \\in \\mathbb{H}$\u3068\u3057\u305f\u3068\u304d\u306b\u56db\u5143\u6570\u306e\u3079\u304d\u4e57\u3092\u4ee5\u4e0b\u306e\u5f0f\u3067\u8a08\u7b97\u3057\u3066\u3044\u307e\u3059\u3002<br \/>\n\\begin{eqnarray}<br \/>\nq^p &#038;=&#038; \\exp(\\ln(q)\\cdot p)<br \/>\n\\end{eqnarray}<\/p>\n<h2>\u30c6\u30b9\u30c8\u3002<\/h2>\n<p>\u3068\u308a\u3042\u3048\u305a\u3001Eclipse\u3067\u5b9f\u884c\u3067\u304d\u308b\u3088\u3046\u306bmain\u30e1\u30bd\u30c3\u30c9\u5165\u308a\u306e\u30c6\u30b9\u30c8\u7528\u30aa\u30d6\u30b8\u30a7\u30af\u30c8(QuaternionTest\u30aa\u30d6\u30b8\u30a7\u30af\u30c8)\u3092\u66f8\u3044\u3066\u307f\u307e\u3057\u305f\u3002\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u611f\u3058\u306b\u306a\u308a\u307e\u3059\u3002<br \/>\n<script src=\"https:\/\/gist.github.com\/pandanote-info\/f73ca8cfcf8cc0f2da097cda741f94e8.js\"><\/script><br \/>\n\u30c6\u30b9\u30c8\u7d50\u679c\u306f\u9577\u304f\u306a\u308a\u307e\u3059\u306e\u3067\u63b2\u8f09\u3057\u306a\u3044\u3053\u3068\u306b\u3057\u307e\u3059\u304c\u3001\u7d50\u679c\u3092\u78ba\u8a8d\u3057\u305f\u611f\u3058\u3067\u306f\u554f\u984c\u306a\u3055\u305d\u3046\u306a\u611f\u3058\u306b\u898b\u3048\u307e\u3059\u3002<\/p>\n<h2>\u307e\u3068\u3081<\/h2>\n<p>\u3053\u3053\u307e\u3067\u3001Scala\u3067\u56db\u5143\u6570\u3092\u6271\u3046\u305f\u3081\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u53ca\u3073\u30af\u30e9\u30b9\u306e\u5b9f\u88c5\u306b\u3064\u3044\u3066\u66f8\u304d\u307e\u3057\u305f\u3002<\/p>\n<p>\u524d\u9805\u3067\u793a\u3057\u305f\u30c6\u30b9\u30c8\u7528\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u3082ScalaTest\u3067\u4f7f\u7528\u3067\u304d\u308b\u3088\u3046\u306b\u66f8\u304f\u3079\u304d\u3068\u3053\u308d\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u304c\u3001\u4eca\u56de\u306f\u3053\u3053\u3067\u529b\u5c3d\u304d\u3066\u3057\u307e\u3063\u305f\u306e\u3067\u3001\u5225\u306e\u6a5f\u4f1a\u306b\u66f8\u304d\u305f\u3044\u3068\u8003\u3048\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>(\u00b4\u30fb\u03c9\u30fb\uff40)<\/p>\n<p>\u3053\u306e\u8a18\u4e8b\u306f\u4ee5\u4e0a\u3067\u3059\u3002<\/p>\n<h2>\u53c2\u8003\u6587\u732e<\/h2>\n<ul>\n<li><a href=\"https:\/\/users.aalto.fi\/~ssarkka\/pub\/quat.pdf\">Notes on Quaternions<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>\u306f\u3058\u3081\u306b \u3061\u3087\u3063\u3068\u524d\u306b\u66f8\u3044\u305f\u8a18\u4e8b\u3067\u56db\u5143\u6570\u306e\u4e57\u7b97\u3092\u7528\u3044\u3066\u4e09\u6b21\u5143\u7a7a\u9593\u306b\u304a\u3051\u308b\u56de\u8ee2\u5909\u63db\u3092\u8868\u73fe\u3067\u304d\u308b\u3053\u3068\u3092\u793a\u3057\u307e\u3057\u305f\u3002 \u3053\u306e\u8a18\u4e8b\u3067\u306f\u305d\u308c\u3092\u53d7\u3051\u308b\u5f62\u3067\u3001\u56db\u5143\u6570\u306e\u6f14\u7b97\u3092\u884c\u3046Scala\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u53ca\u3073\u30b3\u30f3\u30d1\u30cb\u30aa\u30f3\u30af\u30e9\u30b9\u3092\u5b9f\u88c5\u3057\u3066\u3044\u304d\u307e\u3059\u3002 \u5b9f\u88c5\u306e\u65b9\u91dd\u3002 \u5b9f\u88c5\u306e\u3084\u308a\u65b9\u306b\u3064\u3044\u3066\u3082\u304b\u306a\u308a\u524d\u306e\u8a18\u4e8b\u3067\u66f8\u3044\u305f\u8907\u7d20\u6570\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u53ca\u3073\u30b3\u30f3\u30d1\u30cb\u30aa\u30f3\u30af\u30e9\u30b9\u306b\u6e96\u305a\u308b\u3053\u3068\u306b\u3057\u307e\u3059\u3002 \u5b9f\u88c5\u4f8b\u3002 \u5b9f\u88c5\u4f8b\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u611f\u3058\u306b\u306a\u308a\u307e\u3059\u3002\u5272\u2026 <span class=\"read-more\"><a href=\"https:\/\/pandanote.info\/?p=2399\">Read More &raquo;<\/a><\/span><\/p>\n","protected":false},"author":1,"featured_media":2535,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[19,13,17],"tags":[],"class_list":["post-2399","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-eclipse","category-13","category-scala"],"_links":{"self":[{"href":"https:\/\/pandanote.info\/index.php?rest_route=\/wp\/v2\/posts\/2399","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pandanote.info\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/pandanote.info\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/pandanote.info\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/pandanote.info\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2399"}],"version-history":[{"count":12,"href":"https:\/\/pandanote.info\/index.php?rest_route=\/wp\/v2\/posts\/2399\/revisions"}],"predecessor-version":[{"id":9342,"href":"https:\/\/pandanote.info\/index.php?rest_route=\/wp\/v2\/posts\/2399\/revisions\/9342"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/pandanote.info\/index.php?rest_route=\/wp\/v2\/media\/2535"}],"wp:attachment":[{"href":"https:\/\/pandanote.info\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2399"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/pandanote.info\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2399"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/pandanote.info\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2399"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}