移植進行中

40ページ目まではスライドの作成完了。
「Zブレイク」は証明が3本柱になっているので,1本分くらい証明できるかなと思いきや,
ここからたぶんまだ6ページくらい増量してやっと証明の概略が話せるくらい。
概略なので必要な補題を証明なしで書いて組み合わせる部分だけ収録して6ページくらいですかね。
なんかもう小さなノートパソコンで作業するのが辛くなってきたので,
残りの部分は明日大学に行ってからやることにします。
時間測定などの発表練習は水曜日くらいから開始ですかね。
今回は1時間英語で話さなければならないので,英語モードへの切り替えに時間がかかるかもしれません。