コンピュータ概論 A/B -- Mathematica Programming (2) -- (メタとペアノの公理) 数学科 栗野 俊一 (TA: 栗原 望, 新保 佳奈 [院生 2 年]) 2018/10/23 コンピュータ概論