曇。 有限群を Ruby で実装することを考えていた（参照）。とりあえず 3次の対称群から始める。 ラーメン「Nageyari」にて昼食。つけ麺中盛 850円。 ＃ 引き続き有限群の実装。クラインの四元群や、n次の対称群など。 図書館から借りてきた、砂田利一『バナ…