https://123deta.com/document/z310ddmy-数式処理システムにおけるマルチスレッド化の試み村尾裕一兵頭礼子齋藤友克数理解析研究所講究録.html