drive.google.com おるうぇ (@Alwe Logic@twitter) さん主催の「数学基礎論アドベントカレンダー」の22日目の記事です。私は哲学科の学生です。あまり数学基礎論ぽくなくてごめんなさい。 予備知識はシーケント計算とカット除去定理とカリー=ハワード同型を…

1976年のテレビアニメ「母をたずねて三千里」を見終えた。テレビアニメの金字塔であると思う*1。見返しつつ一話ごとに感想とか書きたいのだが、あのハッピーエンドを見てしまうと途中の辛い展開をもう見たくないなあ。という訳で簡単な感想を。 animestore.d…