程式淵

名一作式潤。清安徽霍山人，字芳墅。善畫梅，初學童鈺，繼則變拙為巧，大幅橫披，縱橫自在。

程式淵字典分解

程式的解釋 (1) [modality]∶邏輯命題的限制條件,根據這種限制條件,邏輯命題的內容可以區分為肯定或否定其可能性、不可能性、偶然性或必然性等內容(2) [form

淵國語字典 淵 （淵） yuān 深水，潭：淵水。淵谷。淵林。淵藪（“淵”，魚所聚處；“藪”，水邊草地，獸所聚處；喻人或事物聚集的地方）。深淵。臨淵羨魚（喻只作空想，不作實

多學一學：程信【歷史知識】

1417—1479 明河間(今屬河北)人，祖籍休寧(今屬安徽)，字彥實。正統進士。歷任給事中、太僕寺卿等，先後督餉遼東、四川松潘。天順初，阻石亨以太僕隸兵部之議。成化元年(1465)以兵部尚書提督軍務，鎮壓四川戎縣農民起義。後改南京兵部尚書，致仕卒。著有《容軒稿》、《南征錄》等。