https://myblog.050626.xyz/ja/tags/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%A4%E3%83%AB%E6%8A%80%E8%A1%93/Recent content in コンパイル技術 on ICE345のBLOGHugo -- gohugo.ioja© 2026 ICE345Sat, 07 Sep 2024 11:25:58 +0000https://myblog.050626.xyz/ja/notes/system/%E4%BA%8C%E6%9D%91%E6%98%A0%E5%B0%84/Sat, 07 Sep 2024 11:25:58 +0000https://myblog.050626.xyz/ja/notes/system/%E4%BA%8C%E6%9D%91%E6%98%A0%E5%B0%84/<div class="theme-alert flex px-4 py-3 rounded-md shadow bg-primary-100 dark:bg-primary-900" > <span class="text-primary-400 pe-3 flex items-center" > <span class="relative block icon"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M256 0C114.6 0 0 114.6 0 256s114.6 256 256 256s256-114.6 256-256S397.4 0 256 0zM256 128c17.67 0 32 14.33 32 32c0 17.67-14.33 32-32 32S224 177.7 224 160C224 142.3 238.3 128 256 128zM296 384h-80C202.8 384 192 373.3 192 360s10.75-24 24-24h16v-64H224c-13.25 0-24-10.75-24-24S210.8 224 224 224h32c13.25 0 24 10.75 24 24v88h16c13.25 0 24 10.75 24 24S309.3 384 296 384z"/></svg> </span> </span> <span class="dark:text-neutral-300" >これは個人的な理解と思考をまとめた記事です。Futamura projection は理論的な概念なので、厳密な定義や実装については、プログラミング言語処理系の専門書も参照してください。</span> </div> <h2 class="relative group">1. 背景となる三つの概念 <div id="1-背景となる三つの概念" class="anchor"></div> <span class="absolute top-0 w-6 transition-opacity opacity-0 -start-6 not-prose group-hover:opacity-100 select-none"> <a class="text-primary-300 dark:text-neutral-700 !no-underline" href="#1-%e8%83%8c%e6%99%af%e3%81%a8%e3%81%aa%e3%82%8b%e4%b8%89%e3%81%a4%e3%81%ae%e6%a6%82%e5%bf%b5" aria-label="アンカー">#</a> </span> </h2> <h3 class="relative group">インタプリタ <div id="インタプリタ" class="anchor"></div> <span class="absolute top-0 w-6 transition-opacity opacity-0 -start-6 not-prose group-hover:opacity-100 select-none"> <a class="text-primary-300 dark:text-neutral-700 !no-underline" href="#%e3%82%a4%e3%83%b3%e3%82%bf%e3%83%97%e3%83%aa%e3%82%bf" aria-label="アンカー">#</a> </span> </h3> <p>インタプリタ（interpreter）は、あるプログラムを読み取り、その動作を実行するプログラムです。入力としてソースプログラムとその入力データを受け取り、結果を直接生成します。</p>