僕も「インタプリタ＝コンパイラ」はさすがに言明自体が型エラーだと思いますが（終域が一致していない）、「インタプリタ≒コンパイラ＋実行系」ならまあOKかも…？より正確には、「言語Xで記述されたプログラムPを実行した結果」をrun_X(P)と書くことにする…

国税庁のWebベース確定申告計算ページが（この種の日本国政府関係のシステムとしては）まあまあよくできていると思うのですが（ローカルのファイルにエクスポートしてセーブもできる）、年末調整のときと同一の数字を入力しても、なぜか還付が発生します。大…