常に線形時間で済みます。写真はドワンゴ競技プログラミング同好会が補題1の証明を考えている様子です。競技プログラミングとアルゴリズムはいつの時代も楽しいものですね。当同好会は補題1をスマートに証明してくれるエンジニアを募集しています。田山ヤフー株式会社こんにちは。競技プログラミング同好会です。今年もスポンサーとしてお手伝いすることができ、嬉しく思います。ヤフーは、「課題解決エンジン」として、情報技術を使った人々や社会の課題の解決に取り組んでおります。Eコマースやニュースなど100以上のサービスやアプリを開発・改善、月間3000万を超えるアクティブユーザーIDから得られる巨大データを扱うため、適切なアルゴリズム選択と迅速で効率的な実装ができる力はとても重要となります。ICPCでも重要な力だと思いますし、私たちはそのような力を伸ばそうと取り組む皆さんを応援しております。チームの仲間やICPCに参加するみんなと課題解決を楽しんでください!日本IBMACM-ICPC国内予選に参加される選手の皆さん、こんにちは。日本IBMは2017年6月17日に創立80周年を迎えました。私たちは世界中のIBMerと共にテクノロジーの力で新たな価値やイノベーションを生み出し、世界をより良いものに変えて行くため、日々努力を続けています。ACM-ICPCにチームで参加し、より良いコーディング、より効率的なアルゴリズムで世界に挑戦するみなさんを、会社を上げて応援しています。アジアつくば大会にはIBM東京ラボラトリーのたくさんの社員と共に応援に行きます。皆さんと同じように大学時代にACM-ICPCで選手として活躍したIBMersも参ります。みなさんのチームがACM-ICPC国内予選で最大限の力を発揮できるよう、そして一生に何回もはないコンテストへの挑戦を大いに楽しまれることを心から願っております。株式会社フィックスターズ株式会社フィックスターズの佐山です。フィックスターズでは、計算機の性能を最大限に発揮するためのソフトウェア、ハードウェア開発に取り組んでいます。開発現場では、数多くのアルゴリズムに対する深い理解や、正確かつ高速な実装力が求められる場面が多々あります。私は開発を進める中で、競技プログラミングに取り組んでよかったと思える場面が多々あり、みなさまにも近い将来そう思う機会があることを確信しています。ACM-ICPCは、高い能力を身に付ける場であると共に、同じ目標に向かって邁進する仲間と交流できる場でもあります。私たちは、学生のうちから高い目標に向けて日々練習を重ねるみなさまを尊敬しています。それと同時に、ACM-ICPCに参加しなかった身としては、このような素晴らしい機会を手にしていることを羨ましく思います。コンテストでみなさまの実力が十分に発揮できることを心より願っています。株式会社MUJIN皆さんこんにちは!MUJINの山内です!去年に引き続き、今年もスポンサーとして皆さんを応援することができ、嬉しく思います。準備のほうはいかがでしょうか?皆さんが全力を出し切って戦えることを心より祈っております。MUJINは、高度なソフトウェア技術力により、産業用ロボットに「脳」と「目」を与え自律的に動作させる次世代のロボット制御システムの開発と、自律的ロボットによる生産現場の自動化を行う会社です。少子高齢化による労働人口の減少が進む日本では、知能化による産業用ロボットの活用範囲の拡大が、経済の維持/成長のため喫緊の課題になっております。MUJINの自律的制御システムは、ロボットを知能化しこの課題を解決するもので、弊社のソフトウェアエンジニアの書いたコードが生産や物流の現場でロボットを動かし、実際の世界で大活躍しています。このシステムの開発には、高度な技術と優秀なソフトウェアエンジニアが不可欠です。Challenge(オンラインコンテスト)で活躍した社員が多く、ACM-ICPCでの経験は必ず今後のキャリアに活きると思います。皆さんには、本大会の優秀な未来のエンジニア達との協力や競争、交流を通じて多くの事を学んでほしいと思います。<http://www.mujin.co.jp>NTTコミュニケーションズ株式会社みなさん、こんにちは。NTTコミュニケーションズ小倉です。去年に引き続きみなさんを応援させていただくことになり、大変嬉しく思っております。NTTコミュニケーションズは、世界中に張り巡らされたネットワークやデータセンターを強みとし、世界中のお客様に音声サービスやネットワーク、クラウドやその上で動くアプリケーションサービスを提供しています。Network)の実現に取組んできました。現在は、クラウドサービスの自社開発に加えて、ビッグデータやIoT、AI、セキュリティといった先進的な技術分野で、お客様のビジネスプロセスの革新、新たなビジネスモデルの創出に取り組んでいます。した先進的な技術分野ではソフトウェアの力が重要になり、時に問題を解くために様々な知識や粘り強さが求められます。ICPCでも問題を解くために、仕様を理解し、アルゴリズムを考え、実装し、時にはバグに対し粘り強いデバッグが必要になります。私も学生時代にICPCに参加し、そこでプログラミングや問題を解く楽しさを学びました。Software)のソースコードを読み、問題を見つけ解決するなど、ICPCで身につけた力が活かされています。本番でみなさんが日頃培った知識や技術を活かして、活躍されることを心から応援させていただきます。皆さん、ガンガン練習すれば必ず己の力となってきます。国内予選ではとても強い全国の同年代のライバル達と実装のテクニックや、問題解決の能力を競い、楽しみながらも成長していけます。ふだんから競技プログラミングをしている人も、そうでない人も、ぜひアルゴリズムを考える楽しさやプログラミングの楽しさを、この機会に改めて感じて欲しいと思います。私自身、選手・コーチとしてこの大会に参加してきた経験が大学時代の研究、そして現職に繋がっています。私が初めて大会に参加したときから長い時間を経て今、スポンサーとして、当時の自分と同じ想いを持った皆さんを応援でき感慨深いです。皆さんの努力が実を結び、輝かしい未来に繋がっていくことを心から願っています。目指せアジア地区!世界決勝!ねこ大好き。株式会社レコチョクこんにちは。レコチョクの松嶋です。皆さんにとって音楽はどんな存在ですか?私は、様々なエンターテイメントを楽しむことができる現代において音楽はたった数十秒で人の感情を動かすことができる唯一のツールだと思っています。弊社はそんな音楽の素晴らしさを、より多くの人に届けるために活動しています。音楽配信をする会社ではなく、最近ではアーティストがつくりたいもの、ファンがアーティストとしたいことを実現するためのプラットフォームWIZY(https://wizy.jp/)などを運営しています。興味のある方は、レコチョクが立ち上げたサービスを是非使ってみてください。今回、ICPCのような素晴らしい場で微力ではありますが、レコチョクも貢献できることをとてもうれしく思っています。大会中行き詰ることもあると思いますが、その時は音楽を聴いて気持ちを切り替えてみてはいかがでしょうか?それでは、皆様のご活躍をお祈りいたします。陽太freee株式会社ACM-ICPCに参加される皆さんこんにちは、freee株式会社CTOの横路です。freeeにはACM-ICPCのアジア大会に入賞経験があるメンバーが在籍するなど、アルゴリズム・コーディングへの深い洞察を持つエンジニアが多く活躍しています。技術的な高い知見に基づいて、ユーザーの課題を本質的に解決できるサービス作りを目指し、様々な技術的強みを持つチームが、切磋琢磨しながら開発にあたっています。freeeは「スモールビジネスに携わるすべての人が創造的な活動にフォーカスできるよう」をビジョンに持ち、中小企業の方々がそれぞれの事業に持つ夢や思いを実現できるよう、彼らの可能性を広げるためのテクノロジーを開発しています。機械学習などの最新の技術を取り入れたクラウド型の会計ソフト・人事労務ソフトによって面倒な作業を効率化し、中小企業の方々が本当にやりたいことに集中できる環境を生み出す他、それらサービスを通じてお預かりしている「会計・人事」という企業活動の根幹に関わるデータを活用することで、よりよい経営上の意思決定に繋がるサポートができるようにしています。皆さんがACM-ICPCのコンテストに向けて技術やチームワークを高めていらっしゃるご経験は、まさにサービスを開発する上で必要なものであり、今後のキャリアにとても活きるものだと思います。皆さんが、つくばの予選大会で力を発揮されることを、精一杯サポートさせていただきます。株式会社レトリバACM-ICPCに参加される皆様こんにちは。株式会社レトリバの西鳥羽です。学部生時代に2回ほど参加していました。国内予選も勝ち抜けませんでしたが、それでも参加してよかったと思っています。その当時と比べてもこの大会はかなりハイレベルな戦いになり、皆さんもものすごく練習を行われたかと思います。その力を出し切って頑張ってください。皆さんの健闘をお祈りしています。用いて企業向けのソフトウェアを開発していますが、日々効率的なアルゴリズムの実装やピアレビュー、デバッグなどの機会は現れてきますので皆さんが培われた力は将来発揮される場はございます。実際、私の他にもACM-ICPC経験者はおり、問題に対する考察力やプログラムを速く正確に実装する力はソフトウェアの製品開発に役立っています。私やほかのメンバーもプログラミングやアルゴリズムの話が大好きであり、皆さんとつくばでお会いできることを楽しみにしています。当社はIT化が遅れていた不動産業界をテクノロジーの力でオープンな世界へと変革し、より多くの「いい生活」を実現することを目指しています。私はICPCに出場したことがありません。それは、競プロにどっぷりハマったのが修士になってからだったためです。競技プログラマなら誰もが感じたことがあるであろう「もう少し早く始めていれば...」というやつですね。(なので、私からは気の利いたアドバイスができません。)一方、本大会にエントリーされた皆さんは、幸運にもICPCに出られる時期に競プロと出会い、また共に戦う仲間にも出会うことができました。心の底から羨ましいです。その幸運をふいにせず、全身全霊をもって大会に臨んでもらえればと思います。それでは、一人でも多くの選手が、持てる最大限のパフォーマンスを発揮できることを祈っております。タタ・コンサルタンシー・サービシズ株式会社みなさん、こんにちは!日本タタ・コンサルタンシー・サービシズ(日本TCS)です。グローバルに展開するタタコンサルタンシーサービシズ(TCS)は、ITサービス、コンサルティング、ビジネスソリューションの大手企業です。複雑化するIT環境をシンプル化し、さらに進化させることで、お客様のビジネス変革をサポートしています。130国籍からなる約39万人の従業員が世界45カ国で事業を展開しており、世界有数のブランド評価会社であるブランドファイナンス社は、2012年からTCSをITサービスブランドのビッグ4に位置付けています。2017年は3位にランクインしました。日本TCSは、TCSと日本有数の総合商社である三菱商事の合弁会社であり、業界最高水準のITサービス、ビジネスソリューション、デリバリー力、そして日本市場に関する豊富な知見を駆使し、日本企業のグローバル化とビジネス変革を支援しています。Innovation――ITやデジタル技術を駆使し、ビジネス変革を加速するパートナー」であることを目指しています。TCSは、様々な業界のグローバル企業をIT面で支援しており、世界各地の拠点にはトップクラスのエンジニアが数多く在籍しています。社内外を問わず、未来を担うエンジニアの育成に対しても積極的に取り組んでおり、本大会もその一環として協賛しています。昨年に引き続き、今年もACM-ICPCのスポンサーとして、みなさんの挑戦を応援することができ、とても光栄に思います。CodeVita」を2012年から開催しています。こちらもチェックしていただければ幸いです。ACM-ICPCは、3人で1台のパソコンを囲むチーム戦です。時間もリソースも制限があり、焦りやストレスなどから時には思うように問題を解決できない場面に直面することもあるかもしれません。そんな時こそ、優れた連携で一人ひとりが自身の限界を突破し、相乗効果を発揮して、目の前の難問を乗り越えていってください。コンテストの最中にも成長を遂げながら、全国から集う強豪たちとのハイレベルな戦いを楽しんでもらえたら、これほど嬉しいことはありません。