ゼミの方針上、あまり数学的問題に深く立ち入っていません。

誤植・誤答・質問などはコメントから、または直接ご連絡ください。

ファイルの途中に現れる丸っこい記号などはPenroseのグラフ記法というものを使っています。以下の記事で詳しく紹介していますので、併せてご覧ください。