招待有り 2016年12月 SageMath Inc. と LMFDB に関する最近の話題 Proceedings of the Waseda Number Theory Conference 2016 横山 俊一 開始ページ 139 終了ページ 146 記述言語 日本語 掲載種別 研究論文(研究会,シンポジウム資料等) エクスポート BibTeX RIS