俺の横槍

　京都大学（情報学研究科 木村欣司特定准教授）は27日、数式処理による「16次方程式」の判別式計算に、世界で初めて成功したことを発表した。木村特定准

16次の判別式

RBB TODAY 6月27日(月)13時15分配信

　京都大学（情報学研究科 木村欣司特定准教授）は27日、数式処理による「16次方程式」の判別式計算に、世界で初めて成功したことを発表した。木村特定准教授が開発した新たな高速計算アルゴリズムにより、従来は15次方程式までだった世界記録を更新した。

【その他の画像、より大きな画像、詳細なデータ表など】

　方程式の判別式計算は、建築物から半導体にいたる「ものづくり」に関して、品質の向上や部材の削除、歩留まりの改善など、さまざまな課題解決に活用できる。江戸自体の和算家（数学者）である関孝和の業績にルーツがあり、建築物の強度をそのままに材料を削減することや、半導体の製造時の歩留まりを向上させることなどに、判別式計算は必要な技術とされている。

　従来、コンピュータで計算可能な判別式計算は15次方程式までであり、複雑化・高機能化する「ものづくり」において、16次以上の方程式の判別式計算が求められていた。16次方程式の判別式は、37億9869万7446個の項からなり、その大きさは88ギガバイトにおよぶ非常に大きな式となる（15次方程式の判別式は、6億6331万6190個の項からなり、大きさは14ギガバイト）。

　富士通は、サーバ『SPARC Enterprise M9000』とミドルウェア『Parallelnavi（パラレルナビ）』、および富士通研究所の数式処理技術を、京都大学学術情報メディアセンターに対して納入。『SPARC Enterprise M9000』は、1台あたりSPARC64プロセッサ（128CPUコア）および1テラバイトのメモリを搭載しており、大規模なメモリ空間を必要とする科学技術計算に対応したものとなっている。これにより、今回の計算に成功した。

最終更新:6月27日(月)13時15分