二 前条第一項第二号から第四号までに該当するとき。
三 保険料を納付することが著しく困難である場合として天災その他の厚生労働省令で定める事由 があるとき。
４ 前条第三項の規定は、前三項の規定による処分を受けた被保険者から当該処分の取消しの申請 があつたときに準用する。
５ 第一項第一号、第二項第一号及び第三項第一号に規定する所得の範囲及びその額の計算方法 は、政令で定める。
６ 第一項から第三項までの規定により納付することを要しないものとされたその一部の額以外の 残余の額に五円未満の端数が生じたときは、これを切り捨て、五円以上十円未満の端数が生じたと きは、これを十円に切り上げるものとする。
7.15.2 論理式
# f90_2 第九十条の二 保険料免除(一部,申請免除) from essentials import *
保険料四分の三免除要件=(lambda m:
And(Not(Or(保険料全額免除(m), 保険料半額免除(m), 保険料四分の一免除(m), 保険料納付済み(m), 学生等(m))),
本人世帯主配偶者が経済的困窮1(m)))
保険料半額免除要件=(lambda m:
And(Not(Or(保険料全額免除(m), 保険料四分の三免除(m), 保険料四分の一免除(m), 保険料納付済み(m), 学生等(m))),
本人世帯主配偶者が経済的困窮1(m)))
保険料四分の一免除要件=(lambda m:
And(Not(Or(保険料全額免除(m), 保険料四分の三免除(m), 保険料半額免除(m), 保険料納付済み(m),
学生等(m))),
本人世帯主配偶者が経済的困窮2(m)))
経済的困窮1=(lambda p:lambda m:
Or(p.前年の所得が政令_施行令第六条の八で定める額以下(m), p.生活保護以外の厚生労働省令で定める援助を受給(m), p.障害者であり前年の所得が政令で定める額以下(m), p.寡婦であり前年の所得が政令で定める額以下(m), p.天災などにより保険料納付が著しく困難(m)))
本人世帯主配偶者が経済的困窮1=(lambda m:
And(経済的困窮1(本人)(m),
Implies(世帯主が本人以外(m),経済的困窮1(世帯主)(m)), Implies(配偶者がいる(m),経済的困窮1(配偶者)(m))))
経済的困窮2=(lambda p:lambda m:
Or(p.前年の所得が政令_施行令第六条の九で定める額以下(m), p.生活保護以外の厚生労働省令で定める援助を受給(m), p.障害者であり前年の所得が政令で定める額以下(m), p.寡婦であり前年の所得が政令で定める額以下(m), p.天災などにより保険料納付が著しく困難(m)))
本人世帯主配偶者が経済的困窮2=(lambda m:
And(経済的困窮2(本人)(m),
Implies(世帯主が本人以外(m),経済的困窮2(世帯主)(m)), Implies(配偶者がいる(m),経済的困窮2(配偶者)(m))))
7.15.3 検証
# v90_2
# 異なる種別の免除要件と免除が同じ月に関しては両立しないことを
# 年金原簿honnin_ladyAについて確認したものである．
from essentials import * # honnin_ladyA,haiguusha_ladyA,setainushi_ladyA from f90_2 import *
m=Int(’m’)
p=And(保険料四分の一免除要件(m),保険料半額免除(m)) s.add(p)
print(s.check())
# unsat
# 以下は，特定の年金原簿とは無関係に，異なる種別の免除要件と免除が両立しないことを検証 m=Int(’m’)
保険料全額申請免除=Function(’f1’,IntSort(),BoolSort()) 保険料四分の三免除=Function(’f2’,IntSort(),BoolSort()) 保険料半額免除=Function(’f3’,IntSort(),BoolSort()) 保険料納付=Function(’f4’,IntSort(),BoolSort()) 学生等=Function(’f5’,IntSort(),BoolSort())
本人世帯主配偶者が経済的困窮2=Function(’f6’,IntSort(),BoolSort())
保険料四分の一免除要件=(lambda m:
And(Not(Or(保険料全額申請免除(m), 保険料四分の三免除(m), 保険料半額免除(m), 保険料納付(m), 学生等(m))),
本人世帯主配偶者が経済的困窮2(m)))
p=And(保険料四分の一免除要件(m),保険料半額免除(m)) t=Solver()
t.add(p)
print(t.check())
# unsat
7.15.4 ノート
• ここでは，被保険者の申請により保険料の一部（四分の一，半分，四分の三）の納付が免除 される要件が定義されている．他の納付免除と重複せず，免除された以外の残りの保険料を 納付し，かつ，本人，配偶者，世帯主がいずれも経済的に困窮していることが納付免除の要 件である．申請が認められると，年金原簿には，その月が該当免除となることと，残りの納 付が行われたことが記録され，その月は第五条のおいて該当免除の期間に算定される．
• 納付免除のカテゴリーが重ならないことを，年金原簿honnin_ladyAにもとづいて確認す ると同時に，より一般的な条件のもとで検証した．