競技プログラミング特有の変な実装テク - ichyo.jp
初めに この記事はCompetitive Programming Advent Calendar 2014の15日目の記事です． 競技プログラミングでは，アルゴリズムをひらめく力や，数学やアルゴリズムの知識量などが強さを決める大きな要素ではありますが， もちろん，プログラミングを使った競技である以上は，コードの実装力が勝敗を分けることもあります． 例えば，ICPC系のコンテストでは，アルゴリズムを考える能力よりも，実装量の多いプログラムをいかにバグなく高速に実装するかが重要な 問題セットが与えられることが時々あります． 競技プログラミングと無縁なプログラマーは，実装力と聞くと， クラスの構造をうまく設計したり，変更に強い美しいコードを実装する能力だと想像する人がいるかもしれません． ですが，プログラミングコンテストに必要な実装力は，そうした保守性や拡張性ではなく， 「目的の処理をシンプルな
[PHP] Twitter 天気予報 bot を作った [Yahoo! Weather API] | ちょまど帳
Twitter OAuth 周りは twitteroauth というライブラリ( https://github.com/abraham/twitteroauth )にて。 bot.php bot本体のメインのファイルです。 require_once('twitteroauth/twitteroauth.php'); // OAuth require_once('botconfig.php'); // アクセストークンとか色々大事な定数が保存してある。 require_once('weather.php'); // 天気情報クラス // 現在時刻. タイムゾーンはJST指定 $time = new DateTime('now', new DateTimeZone('Asia/Tokyo')); // ファイルの行をランダムに抽出 $filelist = file('list.txt'); s
![[PHP] Twitter 天気予報 bot を作った [Yahoo! Weather API] | ちょまど帳](https://cdn-ak-scissors.b.st-hatena.com/image/square/b23904450ec5d00b1bcf77ad87ce28554a39bf01/height=288;version=1;width=512/https%3A%2F%2Fchomado.com%2Fwp-content%2Fuploads%2F2014%2F12%2Fphp.png)
400年の難問、｢ケプラー予想の証明｣やっと100％終わる
400年の難問、｢ケプラー予想の証明｣やっと100％終わる2014.08.13 22:0021,100 satomi コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した｢球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る｣という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと｢定理｣ではなく｢ケプラー予想｣と呼ばれ続けてきた難題中の難題です（参考）。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、｢フェルマーの最終定理以来の難問が解けた！｣と世界中
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
