司法解释是正式渊源还是非正式渊源？

司法解释是指国家最高司法机关在适用法律过程中对具体应用法律问题所作的解释。在我国，司法解释具有重要的地位和作用。

要判断司法解释是正式渊源还是非正式渊源，需要先了解法律渊源的概念。法律渊源是指法律的表现形式，也就是法律是通过哪些具体的形式表现出来的。正式渊源是指具有明文规定的法律效力并且直接作为法律人的法律决定的大前提的规范来源的那些资料。非正式渊源则指不具有明文规定的法律效力，但具有法律说服力并能够构成法律人的法律决定的大前提的准则来源的那些资料。

根据我国的法律实践和相关规定，司法解释属于正式法律渊源。《中华人民共和国人民法院组织法》规定，最高人民法院对于在审判过程中如何具体应用法律、法令的问题，进行解释。同时，《全国人民代表大会常务委员会关于加强法律解释工作的决议》也指出，凡属于法院审判工作中具体应用法律、法令的问题，由最高人民法院进行解释。凡属于检察院检察工作中具体应用法律、法令的问题，由最高人民检察院进行解释。这些规定赋予了司法解释在司法实践中具有普遍的约束力，各级法院和检察院在审理案件时必须遵循。

从实际作用来看，司法解释能够对法律条文进行细化和明确，使法律更具有可操作性。在司法裁判中，司法解释常常被直接引用作为裁判依据，具有和法律条文类似的效力。因此，无论是从法律规定还是实际应用的角度，司法解释都属于正式法律渊源。