そもそも、モーデル予想とか志村＝谷山予想というのがよくわからない上に、
なんで楕円関数とかが出てくるかというのもわからない（笑）
このあたり、じっくり説明してくれるような自然言語処理システムが
あれば、教育用に欲しいと思う。
昔、英語だけど地理のシステムはあったと思うんだけどな。
「アスンシオンは暑いか？」って訊くと、「アスンシオンの
気候については知らないが、熱帯地方の都市なので、
たぶん暑いだろう」とか答えてくれていて、それで「アスンシオン」
という地名を憶えた。しばらく前まで、近所に「アスンシオン」という
店名のお好み焼き屋があって、「なぜだ！？」と思ったことがある。
