シェア
青薔薇
2023年2月23日 22:27
1.背景L/HIRFのような表現で、Lightningの規則要求とHIRFの規則要求をひとまとめに扱えるほどに両者の規則要求には類似性があります。実際の証明を横において規則要求同士を単純に比べるとHIRFの方が敷居が高いものとなっていますが、その理由として、HIRFの規則2X.1317系には、Appendixの参照があるからだと考えています。過去記事でも言及してきたように、証明の入り口に立つために