合宿のまとめ

結局、初日しか書き込まなかったので、まとめて書く。

だいぶ進展があったのが、代数体上のイデアルなどの加群の実装。
ECPP も公開できる状態に近づいた。
一方、代数体上での多項式の因数分解はやや難航した模様。
GAE 関係は、やり方を理解できたので、そのうち実際に公開する方向だ。

宿泊施設のアクティプラザびわは、全館そこそこ速い無線LANが通じていて快適だったし、サービスも良かった。周囲にあるのが、琵琶湖と売り出し中の別荘地(ログハウス風のが建ち並んでいる)と田んぼ、少し歩くとオートキャンプ場とか風車が目印の道の駅とかその側の花の季節以外は年中休業の花菖蒲園とかがあることはある。とりあえず、今は閑散期だ。

ある意味、集中するにはいい季節で、成果が上がったという意味では充実していたといえるだろう。