プロシン初日

今回はラフォーレ那須ってわけで、新幹線で那須塩原へ

そこから、どうすればいいんだ? で、プロシンお勧めのバスは無視して

　　公共バスで一軒茶屋へ

そこから16分歩くんだが、雪道か。2回ほど転びましたが、なんとか宿に到着

そのまま、発表に突入〜　今回は

　赤黒木の複数の証明方法

です。

https://ie.u-ryukyu.ac.jp/~kono/presentation/2025/kono-prosym66/presen.html