成績表を打ち出してみた．4年間に取得した単位を列挙してみる． 英語 フランス語 情報処理 数理科学基礎 物理学 化学 基礎実験IB 基礎実験IA スポーツ身体運動 記号論理学I 現代哲学 中級英語 法と社会 現代法 身体運動実習 人間･環境一般 認知神経科学 基礎…

正準形式で量子化すると，プロパゲーターの非共変な項が勝手に打ち消されるとか． 未だに気持ち悪い．もしかしたら，拘束系だから変なものが出てくるんだろうかとか妄想．