AI時代におけるプログラミングコンテスト：人間とAIの共闘記録
本記事は、2026年7月24日から7月27日にかけて開催された「ICFPC 2026」というプログラミングコンテストへの参加記録をまとめたものです。近年、AIのコーディング能力が飛躍的に向上し、プログラミングコンテストにおいてもAIがトッププレイヤーを凌ぐ成績を収める事例が増えている現状を踏まえ、筆者らはAIと人間がどのように協働できるかを検証しました。
コンテストでは、新作の2次元プログラミング言語「littleman」を用いて、与えられた16個の問題を解くことが求められました。参加チームは「Gon the Fox」という4人体制で、筆者（Suto）とスタッフエンジニアのLin氏が中心となって取り組みました。コンテストの目的は、プログラムの「スコア」（コードサイズと実行ステップ数）を最小化することでした。
チームの取り組み方として、筆者は個人契約のClaudeやCodexといった大規模言語モデル（LLM）を駆使し、テクニックの考察や問題解決の試行錯誤を行いました。一方、Lin氏は人力でlittlemanのコードを構築しました。この役割分担により、AIはアイデアの選定やスコア改善の試行錯誤を担い、人間はパズル要素が強い初期問題や、最終的な解の構築といった部分で貢献しました。
最終的に、チームは267チーム中14位という順位を獲得しました。特に、初期のパズル的な問題では人間の直感が、最終問題のような極めて複雑な難問ではAIが22時間も粘り続ける粘り強さが発揮されました。また、コンテストでのAI利用ログを試算したところ、ClaudeとCodexの合計利用額は$5,234.69（約83.8万円）に上ることも明らかになりました。本記事は、単にAIに任せるだけでなく、人間がAIの成果物を監視し、アイデアを検証することで、AI時代における最適な「共闘」の形を見出した事例として、そのプロセスを詳細に報告しています。
背景
近年、AI（特にLLM）のコーディング能力が飛躍的に向上し、プログラミングコンテストの領域にも影響を与えています。本記事は、この技術進歩の波を受け、AIを単なるツールとして使うのではなく、人間の思考プロセスと組み合わせて、いかに効率的かつ創造的に問題解決を行うかという「共闘」のモデルを提示しています。
重要用語解説
- ICFPC: ICFP（関数型プログラミングの国際会議）に併設される年次コンテスト。関数型プログラミングという特定のパラダイムに基づき、高度な論理的思考力とプログラミング技術が求められる国際的な競技会です。
- littleman: 本コンテストで使用された新作の2次元プログラミング言語。部屋（I/O）と「小さい人」というアクターを配置し、移動やデータ運搬、演算を通じて目的の出力を実現する、パズル要素の強い言語です。
- LLM: Large Language Model（大規模言語モデル）の略。ClaudeやCodexなど、膨大なデータで学習されたAIモデル群を指します。プログラミングのアイデア出しやコードの改善、論理的な考察など、幅広いタスクに利用されています。
今後の影響
本事例は、今後のプログラミング教育や実務において、AIを「代替物」としてではなく「強力な思考パートナー」として位置づける重要性を示しています。AIが苦手とするパズル的思考や、人間独自のアイデア検証プロセスが、依然として高い価値を持つことが証明されました。技術の進化に伴い、人間側の「指示出し（プロンプトエンジニアリング）」能力がより重要になると予想されます。