{"id":4199,"date":"2022-11-17T12:48:56","date_gmt":"2022-11-17T03:48:56","guid":{"rendered":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/?p=4199"},"modified":"2023-03-14T16:22:55","modified_gmt":"2023-03-14T07:22:55","slug":"maxima-%e3%81%a7%e9%a0%98%e5%9f%9f%e3%81%ae%e5%a1%97%e3%82%8a%e3%81%a4%e3%81%b6%e3%81%97%e3%81%ae%e8%bf%bd%e8%a8%98","status":"publish","type":"post","link":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/","title":{"rendered":"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u306e\u8ffd\u8a18"},"content":{"rendered":"<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p><a href=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/3279\/\">Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u3068\u56de\u8ee2\u4f53\u306e\u8868\u793a<\/a> \u306b\u66f8\u3044\u305f Maxima \u3067\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b\u306e\u8ffd\u8a18\u3002<\/p>\n<p>\u5f53\u6642\u306f\uff0c\u5857\u308a\u3064\u3076\u3057\u305f\u5f8c\u306b <code>explicit(f(x), x, x0, x1)<\/code> \u304c\u3067\u304d\u306a\u304f\u3066\uff0c<code>\u8ffd\u52a0\u306e\u7dda\u306f parametric \u3067\u63cf\u304f<\/code> \u306a\u3069\u3068\u562f\u3044\u3066\u3044\u305f\u304c\uff0c\u4ee5\u4e0b\u306e\u3088\u3046\u306b <code>filled_func = false<\/code> \u3068\u3059\u308c\u3070\u5857\u308a\u3064\u3076\u3057\u7d42\u4e86\u3067\u305d\u306e\u5f8c\u306f <code>explicit(f(x), x, x0, x1)<\/code> \u3067\u304d\u307e\u3059\u3002<br \/>\n<!--more--><\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h3 id=\"\u967d\u95a2\u6570\u3067\u8868\u3055\u308c\u308b\u66f2\u7dda\u3067\u56f2\u307e\u308c\u305f\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b\">\u967d\u95a2\u6570\u3067\u8868\u3055\u308c\u308b\u66f2\u7dda\u3067\u56f2\u307e\u308c\u305f\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b<\/h3>\n<p>$\\ \\ $\u653e\u7269\u7dda $y = (x-2)^2$ \u3068\uff0c$x$ \u8ef8 ($y = 0$)\uff0c$y$ \u8ef8\u3068\u3067\u56f2\u307e\u308c\u305f\u9818\u57df\u3092 Maxima \u306e <code>draw2d()<\/code> \u3067\u5857\u308a\u3064\u3076\u3059\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>\u307e\u305a\uff0c\u9818\u57df\u306e\u4e0a\u9650\u3068\u4e0b\u9650\u3092\u8868\u3059\u967d\u95a2\u6570\u3092\u5b9a\u7fa9\u3059\u308b\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[1]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"p\">(<\/span><span class=\"nv\">x<\/span> <span class=\"o\">-<\/span> <span class=\"mi\">2<\/span><span class=\"p\">)<\/span><span class=\"o\">**<\/span>2$\r\n<span class=\"nf\">g<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> 0$\r\n\r\n<span class=\"nf\">draw2d<\/span><span class=\"p\">(<\/span>\r\n  <span class=\"nv\">font<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"Arial\"<\/span>, <span class=\"nv\">font_size<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">18<\/span>,\r\n  <span class=\"cm\">\/* \u967d\u95a2\u6570\u306e\u66f2\u7dda\u3092\u6ed1\u3089\u304b\u306b\u3059\u308b\u305f\u3081\u306b\u306f\u3053\u306e\u6570\u5024\u3092\u5927\u304d\u3081\u306b *\/<\/span>\r\n  <span class=\"nv\">nticks<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">30<\/span>, \r\n  <span class=\"cm\">\/* x \u8ef8 y \u8ef8\u306e\u8868\u793a\u7bc4\u56f2\u306e\u8a2d\u5b9a\u3002*\/<\/span> \r\n  <span class=\"nv\">xrange<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"o\">-<\/span><span class=\"mf\">0.5<\/span>, 2<span class=\"o\">.<\/span>5<span class=\"p\">]<\/span>, <span class=\"nv\">xaxis<\/span><span class=\"o\">=<\/span><span class=\"no\">true<\/span>,\r\n  <span class=\"nv\">yrange<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"o\">-<\/span><span class=\"mf\">0.5<\/span>, 4<span class=\"o\">.<\/span>5<span class=\"p\">]<\/span>, <span class=\"nv\">yaxis<\/span><span class=\"o\">=<\/span><span class=\"no\">true<\/span>,\r\n\r\n  <span class=\"cm\">\/* \u5857\u308a\u3064\u3076\u3059\u8272\u306e\u6307\u5b9a\u3002*\/<\/span>\r\n  <span class=\"nv\">fill_color<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">yellow<\/span>, \r\n       \r\n  <span class=\"cm\">\/* \u4e0a\u306e\u7dda\u3002y = f(x) \u3092 filled_func \u306b\u4ee3\u5165\u3002*\/<\/span>\r\n  <span class=\"nv\">filled_func<\/span> <span class=\"o\">=<\/span> <span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span>, \r\n       \r\n  <span class=\"cm\">\/* \u4e0b\u306e\u7dda\u3002y = g(x) \u3092 0 &lt; x &lt; 2 \u306e\u7bc4\u56f2\u3067\u63cf\u304f\u3002*\/<\/span>\r\n  <span class=\"nf\">explicit<\/span><span class=\"p\">(<\/span><span class=\"nf\">g<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"mi\">0<\/span>, <span class=\"mi\">2<\/span><span class=\"p\">)<\/span>,  \r\n\r\n  <span class=\"cm\">\/* \u5857\u308a\u3064\u3076\u3057\u7d42\u4e86 *\/<\/span>\r\n  <span class=\"nv\">filled_func<\/span> <span class=\"o\">=<\/span> <span class=\"no\">false<\/span>, \r\n  \r\n  <span class=\"cm\">\/* \u7dda\u306e\u592a\u3055\u3092 2 \u306b\u3057\u3066\u30e1\u30ea\u30cf\u30ea\u3092\u3064\u3051\u3066 *\/<\/span>\r\n  <span class=\"nv\">line_width<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">2<\/span>, \r\n       \r\n  <span class=\"cm\">\/* \u4e0a\u306e\u7dda\u3002y = f(x) *\/<\/span>\r\n  <span class=\"nv\">color<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">blue<\/span>, <span class=\"nv\">key<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"(x-2)^2\"<\/span>,\r\n  <span class=\"nf\">explicit<\/span><span class=\"p\">(<\/span><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"mi\">0<\/span>, <span class=\"mi\">2<\/span><span class=\"p\">)<\/span>,\r\n\r\n  <span class=\"cm\">\/* \u4e0b\u306e\u7dda\u3002y = g(x) *\/<\/span>\r\n  <span class=\"nv\">color<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">black<\/span>, <span class=\"nv\">key<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"\"<\/span>,\r\n  <span class=\"nf\">explicit<\/span><span class=\"p\">(<\/span><span class=\"nf\">g<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"mi\">0<\/span>, <span class=\"mi\">2<\/span><span class=\"p\">)<\/span>, \r\n       \r\n  <span class=\"cm\">\/* x = 0 (y \u8ef8) *\/<\/span>\r\n  <span class=\"nv\">color<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">black<\/span>, <span class=\"nv\">key<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"\"<\/span>,\r\n  <span class=\"nf\">parametric<\/span><span class=\"p\">(<\/span><span class=\"mi\">0<\/span>, <span class=\"nv\">t<\/span>, <span class=\"nv\">t<\/span>, <span class=\"mi\">0<\/span>, <span class=\"mi\">4<\/span><span class=\"p\">)<\/span>, \r\n  \r\n  <span class=\"nv\">file_name<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">region<\/span><span class=\"o\">-<\/span><span class=\"nv\">fig1<\/span>, \r\n  <span class=\"nv\">dimensions<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"mi\">1280<\/span>,960<span class=\"p\">]<\/span>,\r\n  <span class=\"nv\">terminal<\/span> <span class=\"o\">=<\/span> <span class=\"o\">'<\/span><span class=\"nv\">png<\/span> \r\n<span class=\"p\">)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt\"><\/div>\n<div class=\"output_png output_subarea \"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-large wp-image-4205\" src=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig1-640x480.png\" alt=\"\" width=\"640\" height=\"480\" srcset=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig1-640x480.png 640w, https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig1-300x225.png 300w, https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig1-750x563.png 750w, https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig1.png 1280w\" sizes=\"auto, (max-width: 640px) 100vw, 640px\" \/><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h3 id=\"region-\u3092\u6307\u5b9a\u3057\u3066\u5857\u308a\u3064\u3076\u3059\u4f8b\uff08\u967d\u95a2\u6570\u3092\u4f7f\u3063\u3066\uff09\"><code>region<\/code> \u3092\u6307\u5b9a\u3057\u3066\u5857\u308a\u3064\u3076\u3059\u4f8b\uff08\u967d\u95a2\u6570\u3092\u4f7f\u3063\u3066\uff09<\/h3>\n<p><code>region()<\/code> \u3092\u4f7f\u3046\u3068\uff0c\u967d\u95a2\u6570\u3060\u3051\u3067\u306a\u304f\u9670\u95a2\u6570\u3082\u4f7f\u3063\u305f\u4e0d\u7b49\u5f0f\u3067\u9818\u57df\u3092\u6307\u5b9a\u3057\u3066\u5857\u308a\u3064\u3076\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n<p>\u305f\u3068\u3048\u3070\uff0c\u4e0a\u306e\u4f8b\u306e\u9ec4\u8272\u3067\u5857\u308a\u3064\u3076\u3055\u308c\u305f\u9818\u57df\u306f\uff0c$ 0 &lt; x &lt; 2$\uff08\u5f93\u3063\u3066 $g(0) &lt; y &lt; f(0)$\uff09\u306e\u7bc4\u56f2\u3067 $y &lt; f(x)$ \u306e\u9818\u57df\u3067\u3042\u308b\u3068\u3042\u3089\u308f\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3053\u308c\u3092\u30b0\u30e9\u30d5\u30a3\u30c3\u30af\u30aa\u30d6\u30b8\u30a7\u30af\u30c8 <code>region()<\/code> \u3092\u4f7f\u3063\u3066\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u8868\u3057\u307e\u3059\u3002<\/p>\n<div class=\"highlight\">\n<pre><span class=\"nf\">region<\/span><span class=\"p\">(<\/span><span class=\"nv\">y<\/span> <span class=\"o\">&lt;<\/span> <span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"mi\">0<\/span>, <span class=\"mi\">2<\/span>, <span class=\"nv\">y<\/span>, <span class=\"nf\">g<\/span><span class=\"p\">(<\/span><span class=\"mi\">0<\/span><span class=\"p\">)<\/span>, <span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"mi\">0<\/span><span class=\"p\">))<\/span>\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[2]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"p\">(<\/span><span class=\"nv\">x<\/span> <span class=\"o\">-<\/span> <span class=\"mi\">2<\/span><span class=\"p\">)<\/span><span class=\"o\">**<\/span>2$\r\n<span class=\"nf\">g<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> 0$\r\n\r\n<span class=\"nf\">draw2d<\/span><span class=\"p\">(<\/span>\r\n  <span class=\"nv\">font<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"Arial\"<\/span>, <span class=\"nv\">font_size<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">18<\/span>,\r\n  <span class=\"cm\">\/* \u967d\u95a2\u6570\u306e\u66f2\u7dda\u3092\u6ed1\u3089\u304b\u306b\u3059\u308b\u305f\u3081\u306b\u306f\u3053\u306e\u6570\u5024\u3092\u5927\u304d\u3081\u306b *\/<\/span>\r\n  <span class=\"nv\">nticks<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">30<\/span>, \r\n  <span class=\"cm\">\/* x \u8ef8 y \u8ef8\u306e\u8868\u793a\u7bc4\u56f2\u306e\u8a2d\u5b9a\u3002*\/<\/span> \r\n  <span class=\"nv\">xrange<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"o\">-<\/span><span class=\"mf\">0.5<\/span>, 2<span class=\"o\">.<\/span>5<span class=\"p\">]<\/span>, <span class=\"nv\">xaxis<\/span><span class=\"o\">=<\/span><span class=\"no\">true<\/span>,\r\n  <span class=\"nv\">yrange<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"o\">-<\/span><span class=\"mf\">0.5<\/span>, 4<span class=\"o\">.<\/span>5<span class=\"p\">]<\/span>, <span class=\"nv\">yaxis<\/span><span class=\"o\">=<\/span><span class=\"no\">true<\/span>,\r\n\r\n  <span class=\"cm\">\/* \u5857\u308a\u6b8b\u3057\u304c\u3042\u308b\u3088\u3046\u306a\u3089\u5024\u3092\u5927\u304d\u304f\u3059\u308b *\/<\/span>\r\n  <span class=\"nv\">x_voxel<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">30<\/span>, <span class=\"nv\">y_voxel<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">30<\/span>,  \r\n\r\n  <span class=\"cm\">\/* \u5857\u308a\u3064\u3076\u3059\u8272\u306e\u6307\u5b9a *\/<\/span>\r\n  <span class=\"nv\">fill_color<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">yellow<\/span>,    \r\n\r\n  <span class=\"cm\">\/* \u5857\u308a\u3064\u3076\u3059\u9818\u57df\u306e\u6307\u5b9a *\/<\/span>\r\n  <span class=\"nf\">region<\/span><span class=\"p\">(<\/span><span class=\"nv\">y<\/span> <span class=\"o\">&lt;<\/span> <span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"mi\">0<\/span>, <span class=\"mi\">2<\/span>, <span class=\"nv\">y<\/span>, <span class=\"nf\">g<\/span><span class=\"p\">(<\/span><span class=\"mi\">0<\/span><span class=\"p\">)<\/span>, <span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"mi\">0<\/span><span class=\"p\">))<\/span>, \r\n  \r\n  <span class=\"cm\">\/* \u7dda\u306e\u592a\u3055\u3092 2 \u306b\u3057\u3066\u30e1\u30ea\u30cf\u30ea\u3092\u3064\u3051\u3066 *\/<\/span>\r\n  <span class=\"nv\">line_width<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">2<\/span>, \r\n       \r\n  <span class=\"cm\">\/* \u4e0a\u306e\u7dda\u3002y = f(x) *\/<\/span>\r\n  <span class=\"nv\">color<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">blue<\/span>, <span class=\"nv\">key<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"(x-2)^2\"<\/span>,\r\n  <span class=\"nf\">explicit<\/span><span class=\"p\">(<\/span><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"mi\">0<\/span>, <span class=\"mi\">2<\/span><span class=\"p\">)<\/span>, \r\n\r\n  <span class=\"nv\">file_name<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">region<\/span><span class=\"o\">-<\/span><span class=\"nv\">fig2<\/span>, \r\n  <span class=\"nv\">dimensions<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"mi\">1280<\/span>,960<span class=\"p\">]<\/span>,\r\n  <span class=\"nv\">terminal<\/span> <span class=\"o\">=<\/span> <span class=\"o\">'<\/span><span class=\"nv\">png<\/span>\r\n<span class=\"p\">)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt\"><\/div>\n<div class=\"output_png output_subarea \"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-large wp-image-4206\" src=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig2-640x480.png\" alt=\"\" width=\"640\" height=\"480\" srcset=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig2-640x480.png 640w, https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig2-300x225.png 300w, https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig2-750x563.png 750w, https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig2.png 1280w\" sizes=\"auto, (max-width: 640px) 100vw, 640px\" \/><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h3 id=\"region-\u3092\u6307\u5b9a\u3057\u3066\u5857\u308a\u3064\u3076\u3059\u4f8b\uff08\u9670\u95a2\u6570\u3082\u4f7f\u3063\u3066\uff09\"><code>region<\/code> \u3092\u6307\u5b9a\u3057\u3066\u5857\u308a\u3064\u3076\u3059\u4f8b\uff08\u9670\u95a2\u6570\u3082\u4f7f\u3063\u3066\uff09<\/h3>\n<p>$y &lt; f(x) \\equiv -x + 1$ \u304b\u3064 $g(x, y) \\equiv x^2 + y^2 &gt; 4$\uff0c\u307e\u305f\u306f $y &gt; f(x)$ \u304b\u3064 $g(x, y) &lt; 4$ \u306e\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b\u3002<\/p>\n<ul>\n<li>\u53c2\u8003\uff1a<a href=\"https:\/\/oshiete.goo.ne.jp\/qa\/9523621.html\">maxima\u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u3092\u3057\u305f\u3044\u3002<\/a><\/li>\n<\/ul>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[3]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"o\">-<\/span><span class=\"nv\">x<\/span> <span class=\"o\">+<\/span> 1$\r\n<span class=\"nf\">g<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span> <span class=\"o\">+<\/span> <span class=\"nv\">y<\/span><span class=\"o\">**<\/span>2$\r\n\r\n<span class=\"nf\">draw2d<\/span><span class=\"p\">(<\/span>\r\n  <span class=\"nv\">font<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"Arial\"<\/span>, <span class=\"nv\">font_size<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">18<\/span>,\r\n  <span class=\"cm\">\/* \u30b0\u30ea\u30c3\u30c9\u3084\u5ea7\u6a19\u8ef8\u304c\u5857\u308a\u3064\u3076\u3055\u308c\u306a\u3044\u3088\u3046\u306b *\/<\/span>\r\n  <span class=\"nv\">user_preamble<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"set grid front;\"<\/span>,\r\n  <span class=\"cm\">\/* \u7e26\u6a2a\u6bd4\u3002*\/<\/span>\r\n  <span class=\"nv\">proportional_axes<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">xy<\/span>,\r\n  <span class=\"cm\">\/* x \u8ef8 y \u8ef8\u306e\u8868\u793a *\/<\/span>\r\n  <span class=\"nv\">xaxis<\/span> <span class=\"o\">=<\/span> <span class=\"no\">true<\/span>, <span class=\"nv\">yaxis<\/span> <span class=\"o\">=<\/span> <span class=\"no\">true<\/span>, \r\n\r\n  <span class=\"cm\">\/* \u967d\u95a2\u6570\u306e\u66f2\u7dda\u3092\u6ed1\u3089\u304b\u306b\u3059\u308b\u305f\u3081\u306b\u306f\u3053\u306e\u6570\u5024\u3092\u5927\u304d\u3081\u306b *\/<\/span>\r\n  <span class=\"nv\">nticks<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">50<\/span>,\r\n  \r\n  <span class=\"cm\">\/* \u9670\u95a2\u6570\u306e\u66f2\u7dda\u3092\u6ed1\u3089\u304b\u306b\u3059\u308b\u305f\u3081\u306b\u306f\u3053\u306e\u6570\u5024\u3092\u5927\u304d\u3081\u306b *\/<\/span>\r\n  <span class=\"nv\">ip_grid<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"mi\">200<\/span>, 200<span class=\"p\">]<\/span>, \r\n\r\n  <span class=\"cm\">\/* \u9818\u57df\u306e\u5857\u308a\u6b8b\u3057\u304c\u3042\u308b\u3088\u3046\u306a\u3089\u3053\u306e\u6570\u5024\u3092\u5927\u304d\u3081\u306b *\/<\/span>\r\n  <span class=\"cm\">\/* \u305f\u3060\u3057\u3051\u3063\u3053\u3046\u6642\u9593\u304c\u304b\u304b\u308b\u3088\u3046\u306b\u306a\u308b\u3088 *\/<\/span>\r\n  <span class=\"nv\">x_voxel<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">100<\/span>, <span class=\"nv\">y_voxel<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">100<\/span>,\r\n  \r\n  <span class=\"nf\">region<\/span><span class=\"p\">((<\/span><span class=\"nf\">g<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">)<\/span> <span class=\"o\">-<\/span> <span class=\"mi\">4<\/span><span class=\"p\">)<\/span><span class=\"o\">*<\/span><span class=\"p\">(<\/span><span class=\"nv\">y<\/span> <span class=\"o\">-<\/span> <span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">))<\/span> <span class=\"o\">&lt;=<\/span> <span class=\"mi\">0<\/span>, <span class=\"nv\">x<\/span>, <span class=\"o\">-<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">4<\/span>, <span class=\"nv\">y<\/span>, <span class=\"o\">-<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">5<\/span><span class=\"p\">)<\/span>,\r\n  \r\n  <span class=\"cm\">\/* \u9670\u95a2\u6570\u8868\u793a\u306e\u5186 *\/<\/span>\r\n  <span class=\"nv\">key<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"x^2 + y^2 = 4\"<\/span>, <span class=\"nv\">color<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">2<\/span>,\r\n  <span class=\"nf\">implicit<\/span><span class=\"p\">(<\/span><span class=\"nf\">g<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">)<\/span> <span class=\"o\">-<\/span> <span class=\"mi\">4<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">0<\/span>, <span class=\"nv\">x<\/span>, <span class=\"o\">-<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">4<\/span>, <span class=\"nv\">y<\/span>, <span class=\"o\">-<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">4<\/span><span class=\"p\">)<\/span>,\r\n  \r\n  <span class=\"cm\">\/* \u967d\u95a2\u6570\u8868\u793a\u306e\u76f4\u7dda *\/<\/span>\r\n  <span class=\"nv\">key<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"y = -x + 1\"<\/span>, <span class=\"nv\">color<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">3<\/span>,\r\n  <span class=\"nf\">explicit<\/span><span class=\"p\">(<\/span><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"o\">-<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">4<\/span><span class=\"p\">)<\/span>, \r\n\r\n  <span class=\"cm\">\/* region \u3092 svg \u306b\u3059\u308b\u3068\u30d5\u30a1\u30a4\u30eb\u30b5\u30a4\u30ba\u304c\u5de8\u5927\u306b\u306a\u308b\u306e\u3067 *\/<\/span>\r\n  <span class=\"nv\">file_name<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">region<\/span><span class=\"o\">-<\/span><span class=\"nv\">fig3<\/span>, \r\n  <span class=\"nv\">dimensions<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"mi\">1280<\/span>,960<span class=\"p\">]<\/span>,\r\n  <span class=\"nv\">terminal<\/span> <span class=\"o\">=<\/span> <span class=\"o\">'<\/span><span class=\"nv\">png<\/span> \r\n<span class=\"p\">)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt\"><\/div>\n<div class=\"output_png output_subarea \"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-large wp-image-4207\" src=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig3-640x480.png\" alt=\"\" width=\"640\" height=\"480\" srcset=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig3-640x480.png 640w, https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig3-300x225.png 300w, https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig3-750x563.png 750w, https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig3.png 1280w\" sizes=\"auto, (max-width: 640px) 100vw, 640px\" \/><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>$y &lt; f(x) \\equiv -x + 1$ \u304b\u3064 $g(x, y) \\equiv x^2 + y^2 &gt; 4$\uff0c\u3064\u307e\u308a\u300c\u76f4\u7dda\u306e\u4e0b\u3067\u5186\u306e\u5916\u90e8\u300d\u306e\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[4]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"o\">-<\/span><span class=\"nv\">x<\/span> <span class=\"o\">+<\/span> 1$\r\n<span class=\"nf\">g<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span> <span class=\"o\">+<\/span> <span class=\"nv\">y<\/span><span class=\"o\">**<\/span>2$\r\n\r\n<span class=\"nf\">draw2d<\/span><span class=\"p\">(<\/span>\r\n  <span class=\"nv\">font<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"Arial\"<\/span>, <span class=\"nv\">font_size<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">18<\/span>,\r\n  <span class=\"cm\">\/* \u30b0\u30ea\u30c3\u30c9\u3084\u5ea7\u6a19\u8ef8\u304c\u5857\u308a\u3064\u3076\u3055\u308c\u306a\u3044\u3088\u3046\u306b *\/<\/span>\r\n  <span class=\"nv\">user_preamble<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"set grid front;\"<\/span>,\r\n  <span class=\"cm\">\/* \u7e26\u6a2a\u6bd4\u3002*\/<\/span>\r\n  <span class=\"nv\">proportional_axes<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">xy<\/span>,\r\n  <span class=\"cm\">\/* x \u8ef8 y \u8ef8\u306e\u8868\u793a *\/<\/span>\r\n  <span class=\"nv\">xaxis<\/span> <span class=\"o\">=<\/span> <span class=\"no\">true<\/span>, <span class=\"nv\">yaxis<\/span> <span class=\"o\">=<\/span> <span class=\"no\">true<\/span>, \r\n\r\n  <span class=\"cm\">\/* \u967d\u95a2\u6570\u306e\u66f2\u7dda\u3092\u6ed1\u3089\u304b\u306b\u3059\u308b\u305f\u3081\u306b\u306f\u3053\u306e\u6570\u5024\u3092\u5927\u304d\u3081\u306b *\/<\/span>\r\n  <span class=\"nv\">nticks<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">50<\/span>,\r\n  \r\n  <span class=\"cm\">\/* \u9670\u95a2\u6570\u306e\u66f2\u7dda\u3092\u6ed1\u3089\u304b\u306b\u3059\u308b\u305f\u3081\u306b\u306f\u3053\u306e\u6570\u5024\u3092\u5927\u304d\u3081\u306b *\/<\/span>\r\n  <span class=\"nv\">ip_grid<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"mi\">200<\/span>, 200<span class=\"p\">]<\/span>, \r\n\r\n  <span class=\"cm\">\/* \u9818\u57df\u306e\u5857\u308a\u6b8b\u3057\u304c\u3042\u308b\u3088\u3046\u306a\u3089\u3053\u306e\u6570\u5024\u3092\u5927\u304d\u3081\u306b *\/<\/span>\r\n  <span class=\"cm\">\/* \u305f\u3060\u3057\u3051\u3063\u3053\u3046\u6642\u9593\u304c\u304b\u304b\u308b\u3088\u3046\u306b\u306a\u308b\u3088 *\/<\/span>\r\n  <span class=\"nv\">x_voxel<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">50<\/span>, <span class=\"nv\">y_voxel<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">50<\/span>,\r\n  \r\n  <span class=\"nf\">region<\/span><span class=\"p\">(<\/span><span class=\"nv\">y<\/span> <span class=\"o\">-<\/span> <span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span> <span class=\"o\">&lt;=<\/span> <span class=\"mi\">0<\/span>, <span class=\"nv\">x<\/span>, <span class=\"o\">-<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">4<\/span>, <span class=\"nv\">y<\/span>, <span class=\"o\">-<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">5<\/span><span class=\"p\">)<\/span>,\r\n  \r\n  <span class=\"cm\">\/* \u967d\u95a2\u6570\u8868\u793a\u306e\u76f4\u7dda *\/<\/span>\r\n  <span class=\"nv\">key<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"y = -x + 1\"<\/span>, <span class=\"nv\">color<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">3<\/span>,\r\n  <span class=\"nf\">explicit<\/span><span class=\"p\">(<\/span><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"o\">-<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">4<\/span><span class=\"p\">)<\/span>, \r\n  \r\n  <span class=\"cm\">\/* \u9762\u5012\u306a\u306e\u3067\u5186\u306e\u5185\u90e8\u3092\u767d\u3067\u5857\u308a\u3064\u3076\u3059 *\/<\/span>\r\n  <span class=\"cm\">\/* \u5186\u306e\u5185\u90e8\u306e\u76f4\u7dda\u3082\u5857\u308a\u3064\u3076\u3055\u308c\u3066\u898b\u3048\u306a\u3044 *\/<\/span>\r\n  <span class=\"nv\">key<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"\"<\/span>,\r\n  <span class=\"nv\">fill_color<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">white<\/span>,  \r\n  <span class=\"nf\">region<\/span><span class=\"p\">(<\/span><span class=\"nf\">g<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">)<\/span><span class=\"o\">-<\/span><span class=\"mi\">4<\/span> <span class=\"o\">&lt;=<\/span> <span class=\"mi\">0<\/span>, <span class=\"nv\">x<\/span>, <span class=\"o\">-<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">4<\/span>, <span class=\"nv\">y<\/span>, <span class=\"o\">-<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">5<\/span><span class=\"p\">)<\/span>,\r\n  \r\n  <span class=\"cm\">\/* \u9670\u95a2\u6570\u8868\u793a\u306e\u5186 *\/<\/span>\r\n  <span class=\"nv\">key<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"x^2 + y^2 = 4\"<\/span>, <span class=\"nv\">color<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">2<\/span>,\r\n  <span class=\"nf\">implicit<\/span><span class=\"p\">(<\/span><span class=\"nf\">g<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">)<\/span> <span class=\"o\">-<\/span> <span class=\"mi\">4<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">0<\/span>, <span class=\"nv\">x<\/span>, <span class=\"o\">-<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">4<\/span>, <span class=\"nv\">y<\/span>, <span class=\"o\">-<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">4<\/span><span class=\"p\">)<\/span>,  \r\n\r\n  <span class=\"cm\">\/* region \u3092 svg \u306b\u3059\u308b\u3068\u30d5\u30a1\u30a4\u30eb\u30b5\u30a4\u30ba\u304c\u5de8\u5927\u306b\u306a\u308b\u306e\u3067 *\/<\/span>\r\n  <span class=\"nv\">file_name<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">region<\/span><span class=\"o\">-<\/span><span class=\"nv\">fig4<\/span>, \r\n  <span class=\"nv\">dimensions<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"mi\">1280<\/span>,960<span class=\"p\">]<\/span>,\r\n  <span class=\"nv\">terminal<\/span> <span class=\"o\">=<\/span> <span class=\"o\">'<\/span><span class=\"nv\">png<\/span> \r\n<span class=\"p\">)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt\"><\/div>\n<div class=\"output_png output_subarea \"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-large wp-image-4208\" src=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig4-640x480.png\" alt=\"\" width=\"640\" height=\"480\" srcset=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig4-640x480.png 640w, https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig4-300x225.png 300w, https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig4-750x563.png 750w, https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig4.png 1280w\" sizes=\"auto, (max-width: 640px) 100vw, 640px\" \/><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u3068\u56de\u8ee2\u4f53\u306e\u8868\u793a \u306b\u66f8\u3044\u305f Maxima \u3067\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b\u306e\u8ffd\u8a18\u3002<\/p>\n<p>\u5f53\u6642\u306f\uff0c\u5857\u308a\u3064\u3076\u3057\u305f\u5f8c\u306b explicit(f(x), x, x0, x1) \u304c\u3067\u304d\u306a\u304f\u3066\uff0c\u8ffd\u52a0\u306e\u7dda\u306f parametric \u3067\u63cf\u304f \u306a\u3069\u3068\u562f\u3044\u3066\u3044\u305f\u304c\uff0c\u4ee5\u4e0b\u306e\u3088\u3046\u306b filled_func = false \u3068\u3059\u308c\u3070\u5857\u308a\u3064\u3076\u3057\u7d42\u4e86\u3067\u305d\u306e\u5f8c\u306f explicit(f(x), x, x0, x1) \u3067\u304d\u307e\u3059\u3002<\/p><p><a class=\"more-link btn\" href=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/\">\u7d9a\u304d\u3092\u8aad\u3080<\/a><\/p>\n","protected":false},"author":33,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"inline_featured_image":false,"footnotes":""},"categories":[14],"tags":[],"class_list":["post-4199","post","type-post","status-publish","format-standard","hentry","category-maxima","nodate","item-wrap"],"aioseo_notices":[],"aioseo_head":"\n\t\t<!-- All in One SEO 5.0.0.1 - aioseo.com -->\n\t<meta name=\"description\" content=\"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u3068\u56de\u8ee2\u4f53\u306e\u8868\u793a \u306b\u66f8\u3044\u305f Maxima \u3067\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b\u306e\u8ffd\u8a18\u3002 \u5f53\u6642\u306f\uff0c\" \/>\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<meta name=\"author\" content=\"kasai\"\/>\n\t<link rel=\"canonical\" href=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/\" \/>\n\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.0.1\" \/>\n\t\t<meta property=\"og:locale\" content=\"ja_JP\" \/>\n\t\t<meta property=\"og:site_name\" content=\"\u76f8\u5bfe\u8ad6\u306e\u7406\u89e3\u3068\u305d\u306e\u5468\u8fba -\" \/>\n\t\t<meta property=\"og:type\" content=\"article\" \/>\n\t\t<meta property=\"og:title\" content=\"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u306e\u8ffd\u8a18 - \u76f8\u5bfe\u8ad6\u306e\u7406\u89e3\u3068\u305d\u306e\u5468\u8fba\" \/>\n\t\t<meta property=\"og:description\" content=\"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u3068\u56de\u8ee2\u4f53\u306e\u8868\u793a \u306b\u66f8\u3044\u305f Maxima \u3067\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b\u306e\u8ffd\u8a18\u3002 \u5f53\u6642\u306f\uff0c\" \/>\n\t\t<meta property=\"og:url\" content=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/\" \/>\n\t\t<meta property=\"article:published_time\" content=\"2022-11-17T03:48:56+00:00\" \/>\n\t\t<meta property=\"article:modified_time\" content=\"2023-03-14T07:22:55+00:00\" \/>\n\t\t<meta name=\"twitter:card\" content=\"summary\" \/>\n\t\t<meta name=\"twitter:title\" content=\"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u306e\u8ffd\u8a18 - \u76f8\u5bfe\u8ad6\u306e\u7406\u89e3\u3068\u305d\u306e\u5468\u8fba\" \/>\n\t\t<meta name=\"twitter:description\" content=\"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u3068\u56de\u8ee2\u4f53\u306e\u8868\u793a \u306b\u66f8\u3044\u305f Maxima \u3067\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b\u306e\u8ffd\u8a18\u3002 \u5f53\u6642\u306f\uff0c\" \/>\n\t\t<script type=\"application\/ld+json\" class=\"aioseo-schema\">\n\t\t\t{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"BlogPosting\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/4199\\\/#blogposting\",\"name\":\"Maxima \\u3067\\u9818\\u57df\\u306e\\u5857\\u308a\\u3064\\u3076\\u3057\\u306e\\u8ffd\\u8a18 - \\u76f8\\u5bfe\\u8ad6\\u306e\\u7406\\u89e3\\u3068\\u305d\\u306e\\u5468\\u8fba\",\"headline\":\"Maxima \\u3067\\u9818\\u57df\\u306e\\u5857\\u308a\\u3064\\u3076\\u3057\\u306e\\u8ffd\\u8a18\",\"author\":{\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/author\\\/kasai\\\/#author\"},\"publisher\":{\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/#organization\"},\"image\":{\"@type\":\"ImageObject\",\"url\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/wp-content\\\/uploads\\\/sites\\\/76\\\/region-fig1.png\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/4199\\\/#articleImage\",\"width\":1280,\"height\":960},\"datePublished\":\"2022-11-17T12:48:56+09:00\",\"dateModified\":\"2023-03-14T16:22:55+09:00\",\"inLanguage\":\"ja\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/4199\\\/#webpage\"},\"isPartOf\":{\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/4199\\\/#webpage\"},\"articleSection\":\"Maxima\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/4199\\\/#breadcrumblist\",\"itemListElement\":[{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity#listItem\",\"position\":1,\"name\":\"\\u30db\\u30fc\\u30e0\",\"item\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\",\"nextItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/category\\\/maxima\\\/#listItem\",\"name\":\"Maxima\"}},{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/category\\\/maxima\\\/#listItem\",\"position\":2,\"name\":\"Maxima\",\"item\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/category\\\/maxima\\\/\",\"nextItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/4199\\\/#listItem\",\"name\":\"Maxima \\u3067\\u9818\\u57df\\u306e\\u5857\\u308a\\u3064\\u3076\\u3057\\u306e\\u8ffd\\u8a18\"},\"previousItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity#listItem\",\"name\":\"\\u30db\\u30fc\\u30e0\"}},{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/4199\\\/#listItem\",\"position\":3,\"name\":\"Maxima \\u3067\\u9818\\u57df\\u306e\\u5857\\u308a\\u3064\\u3076\\u3057\\u306e\\u8ffd\\u8a18\",\"previousItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/category\\\/maxima\\\/#listItem\",\"name\":\"Maxima\"}}]},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/#organization\",\"name\":\"Understanding Theory of Relativity\",\"url\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/author\\\/kasai\\\/#author\",\"url\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/author\\\/kasai\\\/\",\"name\":\"kasai\",\"image\":{\"@type\":\"ImageObject\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/4199\\\/#authorImage\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/ffe4e9dacb5afd407e0f828ebef108080a5caedc052005aa63b5b233cd260f49?s=96&d=mm&r=g\",\"width\":96,\"height\":96,\"caption\":\"kasai\"}},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/4199\\\/#webpage\",\"url\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/4199\\\/\",\"name\":\"Maxima \\u3067\\u9818\\u57df\\u306e\\u5857\\u308a\\u3064\\u3076\\u3057\\u306e\\u8ffd\\u8a18 - \\u76f8\\u5bfe\\u8ad6\\u306e\\u7406\\u89e3\\u3068\\u305d\\u306e\\u5468\\u8fba\",\"description\":\"Maxima \\u3067\\u9818\\u57df\\u306e\\u5857\\u308a\\u3064\\u3076\\u3057\\u3068\\u56de\\u8ee2\\u4f53\\u306e\\u8868\\u793a \\u306b\\u66f8\\u3044\\u305f Maxima \\u3067\\u9818\\u57df\\u3092\\u5857\\u308a\\u3064\\u3076\\u3059\\u4f8b\\u306e\\u8ffd\\u8a18\\u3002 \\u5f53\\u6642\\u306f\\uff0c\",\"inLanguage\":\"ja\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/#website\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/4199\\\/#breadcrumblist\"},\"author\":{\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/author\\\/kasai\\\/#author\"},\"creator\":{\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/author\\\/kasai\\\/#author\"},\"datePublished\":\"2022-11-17T12:48:56+09:00\",\"dateModified\":\"2023-03-14T16:22:55+09:00\"},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/#website\",\"url\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/\",\"name\":\"\\u76f8\\u5bfe\\u8ad6\\u306e\\u7406\\u89e3\\u3068\\u305d\\u306e\\u5468\\u8fba\",\"inLanguage\":\"ja\",\"publisher\":{\"@id\":\"https:\\\/\\\/home.hirosaki-u.ac.jp\\\/relativity\\\/#organization\"}}]}\n\t\t<\/script>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u306e\u8ffd\u8a18 - \u76f8\u5bfe\u8ad6\u306e\u7406\u89e3\u3068\u305d\u306e\u5468\u8fba","description":"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u3068\u56de\u8ee2\u4f53\u306e\u8868\u793a \u306b\u66f8\u3044\u305f Maxima \u3067\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b\u306e\u8ffd\u8a18\u3002 \u5f53\u6642\u306f\uff0c","canonical_url":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"BlogPosting","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/#blogposting","name":"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u306e\u8ffd\u8a18 - \u76f8\u5bfe\u8ad6\u306e\u7406\u89e3\u3068\u305d\u306e\u5468\u8fba","headline":"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u306e\u8ffd\u8a18","author":{"@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/author\/kasai\/#author"},"publisher":{"@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/#organization"},"image":{"@type":"ImageObject","url":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/region-fig1.png","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/#articleImage","width":1280,"height":960},"datePublished":"2022-11-17T12:48:56+09:00","dateModified":"2023-03-14T16:22:55+09:00","inLanguage":"ja","mainEntityOfPage":{"@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/#webpage"},"isPartOf":{"@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/#webpage"},"articleSection":"Maxima"},{"@type":"BreadcrumbList","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/#breadcrumblist","itemListElement":[{"@type":"ListItem","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity#listItem","position":1,"name":"\u30db\u30fc\u30e0","item":"https:\/\/home.hirosaki-u.ac.jp\/relativity","nextItem":{"@type":"ListItem","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/category\/maxima\/#listItem","name":"Maxima"}},{"@type":"ListItem","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/category\/maxima\/#listItem","position":2,"name":"Maxima","item":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/category\/maxima\/","nextItem":{"@type":"ListItem","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/#listItem","name":"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u306e\u8ffd\u8a18"},"previousItem":{"@type":"ListItem","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity#listItem","name":"\u30db\u30fc\u30e0"}},{"@type":"ListItem","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/#listItem","position":3,"name":"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u306e\u8ffd\u8a18","previousItem":{"@type":"ListItem","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/category\/maxima\/#listItem","name":"Maxima"}}]},{"@type":"Organization","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/#organization","name":"Understanding Theory of Relativity","url":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/"},{"@type":"Person","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/author\/kasai\/#author","url":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/author\/kasai\/","name":"kasai","image":{"@type":"ImageObject","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/#authorImage","url":"https:\/\/secure.gravatar.com\/avatar\/ffe4e9dacb5afd407e0f828ebef108080a5caedc052005aa63b5b233cd260f49?s=96&d=mm&r=g","width":96,"height":96,"caption":"kasai"}},{"@type":"WebPage","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/#webpage","url":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/","name":"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u306e\u8ffd\u8a18 - \u76f8\u5bfe\u8ad6\u306e\u7406\u89e3\u3068\u305d\u306e\u5468\u8fba","description":"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u3068\u56de\u8ee2\u4f53\u306e\u8868\u793a \u306b\u66f8\u3044\u305f Maxima \u3067\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b\u306e\u8ffd\u8a18\u3002 \u5f53\u6642\u306f\uff0c","inLanguage":"ja","isPartOf":{"@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/#website"},"breadcrumb":{"@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/#breadcrumblist"},"author":{"@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/author\/kasai\/#author"},"creator":{"@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/author\/kasai\/#author"},"datePublished":"2022-11-17T12:48:56+09:00","dateModified":"2023-03-14T16:22:55+09:00"},{"@type":"WebSite","@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/#website","url":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/","name":"\u76f8\u5bfe\u8ad6\u306e\u7406\u89e3\u3068\u305d\u306e\u5468\u8fba","inLanguage":"ja","publisher":{"@id":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/#organization"}}]},"og:locale":"ja_JP","og:site_name":"\u76f8\u5bfe\u8ad6\u306e\u7406\u89e3\u3068\u305d\u306e\u5468\u8fba -","og:type":"article","og:title":"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u306e\u8ffd\u8a18 - \u76f8\u5bfe\u8ad6\u306e\u7406\u89e3\u3068\u305d\u306e\u5468\u8fba","og:description":"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u3068\u56de\u8ee2\u4f53\u306e\u8868\u793a \u306b\u66f8\u3044\u305f Maxima \u3067\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b\u306e\u8ffd\u8a18\u3002 \u5f53\u6642\u306f\uff0c","og:url":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/4199\/","article:published_time":"2022-11-17T03:48:56+00:00","article:modified_time":"2023-03-14T07:22:55+00:00","twitter:card":"summary","twitter:title":"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u306e\u8ffd\u8a18 - \u76f8\u5bfe\u8ad6\u306e\u7406\u89e3\u3068\u305d\u306e\u5468\u8fba","twitter:description":"Maxima \u3067\u9818\u57df\u306e\u5857\u308a\u3064\u3076\u3057\u3068\u56de\u8ee2\u4f53\u306e\u8868\u793a \u306b\u66f8\u3044\u305f Maxima \u3067\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b\u306e\u8ffd\u8a18\u3002 \u5f53\u6642\u306f\uff0c"},"aioseo_meta_data":{"post_id":"4199","title":null,"description":null,"keywords":[],"keyphrases":{"focus":{"keyphrase":"","score":0,"analysis":{"keyphraseInTitle":{"score":0,"maxScore":9,"error":1}}},"additional":[]},"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":"","og_custom_url":null,"og_article_section":null,"og_article_tags":[],"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":null,"isEnabled":true},"graphs":[]},"schema_type":"default","schema_type_options":"{\"article\":{\"articleType\":\"BlogPosting\"},\"course\":{\"name\":\"\",\"description\":\"\",\"provider\":\"\"},\"faq\":{\"pages\":[]},\"product\":{\"reviews\":[]},\"recipe\":{\"ingredients\":[],\"instructions\":[],\"keywords\":[]},\"software\":{\"reviews\":[],\"operatingSystems\":[]},\"webPage\":{\"webPageType\":\"WebPage\"}}","pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":"-1","robots_max_videopreview":"-1","robots_max_imagepreview":"large","priority":null,"frequency":"default","local_seo":null,"breadcrumb_settings":null,"limit_modified_date":false,"ai":null,"created":"2022-11-17 03:47:55","updated":"2023-04-13 11:31:07","seo_analyzer_scan_date":null,"focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"_links":{"self":[{"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/posts\/4199","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/users\/33"}],"replies":[{"embeddable":true,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/comments?post=4199"}],"version-history":[{"count":7,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/posts\/4199\/revisions"}],"predecessor-version":[{"id":4210,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/posts\/4199\/revisions\/4210"}],"wp:attachment":[{"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/media?parent=4199"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/categories?post=4199"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/tags?post=4199"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}