16/08/10 23:08:54.18 sQWWKe1S.net
シェルパを雇ってキャンプを作って酸素ボンベなどの重装備の例えで言えば
共同研究以外に、コンピュータの利用がある
有限群論では結構使われたそうだし
４色問題は有名
下記の最近のケプラー問題などもそうかも
URLﾘﾝｸ(wired.jp)
2014.09.21 SUN 07:40 400年をかけたケプラー予想の解決は、コンピューターの力も証明した WIRED.jp:
URLﾘﾝｸ(ja.wikipedia.org)
ケプラー予想（ケプラーよそう、英: Kepler conjecture ）とは、17世紀の数学者・天文学者ヨハネス・ケプラーに由来する、三次元ユークリッド空間における球充填に関する数学的な予想である。
それによると、等しい大きさの球で空間を充填（パッキング）するとき、平均密度が立方最密充填配置（面心立方）ならびに六方最密充填配置を越えることはない。これらの配置の密度はおよそ74.05%である。
20世紀
解決に向けて次のステップを踏み出したのはラースロー・フェイェシュ＝トートである。彼は、規則・不規則を問わずあらゆる配置の最大密度を求める問題が、有限個の（しかし非常に多数の）計算に還元