史上最大の答え。数学の証明問題、解が200TBに達する2016.06.01 22:0011,985 福田ミホ ピタゴラス数って覚えてますか？ 数学の証明問題、長々とかかるものが解けたときってすごい達成感がありましたよね。ある数学者チームがものっっすごく長い証明を完成させたそうです。どれだけ長いかって、データ量にしてなんと200TB（テラバイト）もあるそうです。 Natureによれば、テキサス大学オースティン校などの研究チームが、スーパーコンピュータで｢ブールピタゴラス数問題｣なるものを解くことに成功したそうです。なんか字面を見るだけで難しそうな気がするんですが、どんなものかっていうと… 整数に赤または青の色を付けて、｢a²＋b²＝c²｣となるようなa、b、cの組み合わせのすべての数が同じ色にならないようにすることは可能か？ そういえば中学校あたりで｢3²＋4²＝5²｣って習ったような…こう

Joel Spolsky氏の新サービス「HyperDev」ベータ公開。アカウント不要、Git不要、サーバ申込不要、OSやミドルウェア不要。超簡単なフルスタックのWebアプリ開発環境 元マイクロソフトのプログラマで、エンジニアのコミュニティStackOverflowを立ち上げたジョエル・スポルスキー（Joel Spolsky）氏が、新サービス「HyperDev」をベータ公開しました。 HyperDevはWebブラウザから使えるWebアプリケーションの統合開発環境です。バックエンドにはNode.jsも立ち上がっています。 スポルスキー氏はHyperDevの特長を次のように説明しています。 アカウント作成不要 Git不要、そのほかのバージョンコントロールも不要 ネームサーバなどの操作不要 ホスティングへの申し込み不要 サーバのプロビジョニング不要 OSやLAMPやNode.jsサーバなどあらゆる