研究室セミナ。担当はYさん。システムは以前のと同じ。フォーマリズムをきちんと詰めて、やるべき計算もきちんとやったといった感じの内容。解釈の割合が普段よりも大きかったと思う。 MathematicaにSimplifyさせた式と睨めっこしながら人の手でさらに簡単に…