📖参加者マニュアル

TSG十種競技は、TSGに関連する競技を1日で10種類行い、その総合得点でTSGの王者を決めるイベントです。

1競技だけの参加なども歓迎です。時間が合えばぜひ参加してください！

このマニュアルは、参加する際に参考になる情報が一目で分かるよう1つのページにまとめたものです。全部確認しておく必要はありませんが、この下の2セクションは読んでおくことをおすすめします。

🔰新入部員・初心者の方へ

このイベントはTSGの普段の活動の成果を出す競技なので、新入部員の方はかなり不利かもしれません。ですが、まったくの初心者でも競技には参加できるように工夫しています。

それぞれの競技説明の「🔰初心者向けヒント」という欄に必要な情報が載っているので、これを参考にいろいろ試してみてください。何かわからないことが少しでもあれば、Slackの#decathlonまたは#sandboxに投稿してくれれば、TSG部員が可能な範囲でサポートします。

また、プログラミングを触ったことのない方でも、特に第6競技「ITクイズ」と第9競技「タイピング」は楽しんでもらえるかと思うので、ぜひ時間を縫って参加してください！

👛あらかじめ準備しておくと良いこと

各競技の、当日までにやっておくと良いかもしれないことをまとめました。

• CTF
  • CTFが初めての場合は、Scrapboxの「CTF」のページを事前に確認して、雰囲気をつかんでおきましょう。常設CTFの問題をいくつか解いてみるのもOKです。
  • CTF (Pwn) ではバイナリファイルが渡されます。バイナリを詳しく解析したい場合、事前にGhidraやIDAをインストールしておくことをおすすめします。
• SQLコンテスト
  • 練習用ページが公開されています。あらかじめプレイして、システムの使用に問題がないか確認しておいてください。
  • SQLを触るのが初めての場合は、オンラインの教材などを参考に基本を勉強しておきましょう。例えば、以下のような教材がおすすめです。
    • SQL攻略
    • SQLZoo
  • 問題形式のチャレンジを解きたい場合はSQLabがおすすめです。
• 量子コンピューティング
  • 練習用ページが公開されています。あらかじめプレイして、システムの使用に問題がないか確認しておいてください。
  • この競技ではプログラミング言語Pythonと、Qiskitという量子コンピューティングのライブラリを使用します。事前にこれらが使用できる環境を整えておくことで当日のデバッグが容易になるでしょう。
  • この競技で出題される量子回路はごく基本的なものです。事前に量子コンピューターの基礎を抑えておくだけでも得点できる可能性が高まるでしょう。
  • 教材としては、東京大学素粒子物理国際研究センターが発行する量子コンピューティング・ワークブックがおすすめです。
• ITクイズ
  • 過去問が公開されています。当日の問題の半分以上はこのリストの中から出題される予定です。
  • あらかじめ軽く目を通しておくか、予習しておくと有利です。
• 競技プログラミング (早解き)
  • 自分が普段競技プログラミングをする環境を整えておきましょう。
  • プログラミングが初めての場合は AtCoder Programming Guide for beginners で事前に学習しておきましょう。
  • 競技プログラミングが初めての場合は AtCoder Beginners Selection で事前に練習しておきましょう。
    • ここまでできたなら当日1、2問は必ず解けるはずです！
• 証明コンテスト
  • 本番と同じシステムを用いた練習用ページが公開されています。あらかじめプレイして、システムの使用に問題がないか確認しておいてください。
  • このコンテストでは定理証明支援プログラミング言語「Lean 4」を用いて競技を行います。チュートリアルなどを読んで事前に慣れ親しんでおくと有利です。
    • チュートリアルの非公式日本語訳: Theorem Proving in Lean 4 日本語訳
  • また、今回のコンテストシステムはハインリヒ・ハイネ大学デュッセルドルフが公開している「Lean Game Server」と同じものを使用します。
    • こちらを事前に遊んでおくと本番で有利に立ち回れます。
• タイピング
  • 練習用ページが公開されています。あらかじめプレイして、システムの使用に問題がないか確認しておいてください。
• コードゴルフ
  • 練習用ページが公開されています。あらかじめプレイして、システムの使用に問題がないか確認しておいてください。

⏲️タイムスケジュール

当日、Slackの#decathlonチャンネルで Google Meet のアドレスを共有します。時間になったらこちらに参加してください。

• 13:00-13:15 オープニング
• 13:15-15:45 第1～5競技 CTF + SQLコンテスト + 量子コンピューティング
  • CTF (Pwn), CTF (Web), CTF (Crypto), SQLコンテスト, 量子コンピューティング を同時に開催します
• 16:00-16:20 第6競技 ITクイズ
• 16:30-17:00 第7競技 競技プログラミング (早解き)
• 17:10-17:40 第8競技 証明コンテスト
• 17:45-18:15 ITクイズ 採点結果発表&解説
• 18:15-18:25 第9競技 タイピング (日本語)
• 18:30-19:00 第10競技 コードゴルフ
• 19:00-19:10 結果発表

🌏ポータルサイト

競技はポータルサイト上で行います。事前に以下のアドレスにアクセスして、TSGのSlackを通してログインができることを確認しておいてください。

https://decathlon.hakatashi.com/

ログイン方法

ページの右上にあるLOGINボタンを押します。

別ウィンドウが開きます。右上のワークスペースが「TSG」になっているのを確認した上で「許可する」を押してください。(「TSG」でない場合は選択してください)

ページの右上が自分のアイコンになればログイン成功です。

※登録されたユーザー名とアイコンはインターネット上で公開されます。公開されたくない場合はSettingsから公開しても良い名前とアイコンに変更してください。

エラー

このようなエラーが出た場合は、一時的なものなので、ページをリロードしてください。

🔊通話について

Google Meet

• 当日、Slackの#decathlonチャンネルで Google Meet のアドレスを共有します。
• この通話では主催であるhakatashiがイベントの進行や重要なアナウンスなどを行うので、イベント参加中は可能な限り開いておいてください。
• イベントに関する質問など以外ではマイクをミュートしておいてください。

Discord

• イベント参加中、Google Meet と同時にTSGのDiscordに接続して、雑談などを行って構いません。
  • 主催のhakatashiも雑談に参加する予定です。
  • 招待リンクはSlackの#sandboxチャンネルの固定リンクに書いてあります。
• 自由にチャンネルが作れるようになっているので、人が多くなったりした場合は適当に分割してください。

⚠️イベント中に質問などがある場合

以下のいずれかの方法で主催のhakatashiに連絡してください。

• イベント進行用の Google Meet でマイクをアンミュートし、hakatashiに声をかける
• Slackの#decathlonチャンネルで、「@hakatashi」のメンション付きでメッセージを投稿する

優先度が高くない場合は、それ以外の方法で知らせても大丈夫です (Google MeetのQ&A機能など)

🏟️競技説明

第1競技 CTF (Pwn)、第2競技 CTF (Web)、第3競技 CTF (Crypto)

実施概要

• 第1競技から第5競技までは同時に行われます。与えられた時間を自由に使って、まずは自分の得意な分野に取り組んでみてください。
• CTFはサイバーセキュリティに関連する技術を用いたパズルです。問題ごとにさまざまなタスクを解き、最終的にフラグと呼ばれる文字列を提出するとクリアとなります。
• 競技は別途設ける競技ページ上で行われます。競技に先立ってあらかじめユーザー登録をしておいてください。
  • 競技ページの右上のRegisterからユーザー登録できます。

🔰初心者向けヒント

• 競技ページに表示される問題文に初心者向けのヒントが表示されます。ぜひ確認してください。
• CTFが初めての場合は、ScrapboxのCTFのページを事前に確認して、雰囲気をつかんでおきましょう。常設CTFの問題をいくつか解いてみるのもOKです。
• Pwn問題ではバイナリファイルが渡されます。バイナリを詳しく解析したい場合、事前にGhidraやIDAをインストールしておくことをおすすめします。

ルール

• 今回のCTFは個人戦です。アカウントを共有したり、情報を共有したりしないでください。
• スコアサーバーを攻撃しないでください。

獲得得点の計算方法

• 獲得得点はそれぞれの問題ごとに独立に計算されます。
• 提出が早い順番に順位が付きます。
• 問題が解けた場合、この競技の獲得得点は 100 × 0.99 ^ [提出順位 (0-indexed)] 点です。
• 問題が解けなかった場合、この競技の獲得得点は0点となります。

送信するスコアについて

問題が解けた場合、ポータルサイトで回答送信時刻を入力してください。回答送信時刻を確認するには、ログインした状態で https://ctf.hakatashi.com/user にアクセスして、Solvesの欄を見てください。

関連Slackチャンネル

• #sig-ctf: TSGでは定期的に有志がチームを組み、さまざまなオンラインのCTF大会に参加しています。特にSECCONなどの大きな大会ではメンバー全員が全力で大会に取り組んでおり、CTF合宿などもたまに行われます。興味があればぜひ参加してみてください!

第4競技 SQLコンテスト

実施概要

• SQLを用いて指定されたデータを作成する競技です。
• データベースに対してSQLクエリを投げることで、指定されたデータを出力してください。

⚠️生成AIの使用について

• 本競技において、生成AIの使用は原則として禁止です。ただし、コード補完ツールをコードを書くスピードを上げる用途で用いる場合を除きます。

• 「生成AI」および「コード補完ツール」の定義は、AtCoder生成AI対策ルール - 20241206版 に準拠するものとします。

🔰 初心者向けヒント

• 練習用ページが公開されています。あらかじめプレイして、システムの使用に問題がないか確認しておいてください。
• SQLを触るのが初めての場合は、オンラインの教材などを参考に基本を勉強しておきましょう。例えば、以下のような教材がおすすめです。
  • SQL攻略
  • SQLZoo
• 問題形式のチャレンジを解きたい場合はSQLabがおすすめです。

獲得得点の計算方法

• 提出が早い順番に順位が付きます。
• 問題が解けた場合、この競技の獲得得点は 100 × 0.99 ^ [提出順位 (0-indexed)] 点です。
• 問題が解けなかった場合、この競技の獲得得点は0点となります。

第5競技 量子コンピューティング

実施概要

• 量子コンピューティングの能力を競う競技です。
• 指定された課題をこなすことができる量子回路を組み、Pythonコードとして提出することができればクリアとなります。

⚠️生成AIの使用について

• 本競技において、生成AIの使用は原則として禁止です。ただし、コード補完ツールをコードを書くスピードを上げる用途で用いる場合を除きます。

• 「生成AI」および「コード補完ツール」の定義は、AtCoder生成AI対策ルール - 20241206版 に準拠するものとします。

🔰初心者向けヒント

• 練習用ページが公開されています。あらかじめプレイして、システムの使用に問題がないか確認しておいてください。
• この競技ではプログラミング言語Pythonと、Qiskitという量子コンピューティングのライブラリを使用します。事前にこれらが使用できる環境を整えておくことで当日のデバッグが容易になるでしょう。
• この競技で出題される量子回路はごく基本的なものです。事前に量子コンピューターの基礎を抑えておくだけでも得点できる可能性が高まるでしょう。
• 教材としては、東京大学素粒子物理国際研究センターが発行する量子コンピューティング・ワークブックがおすすめです。

ルール

• 競技時間が開始すると、競技サイト上に問題が出題されます。
  • 本競技では配点の異なる複数の小問が出題されます。
  • 問題ページ上の指示に従ってPythonのコードを提出してください。

獲得得点の計算方法

• 問題ページ上に各小問の配点が記載されています。
• 提出したコードの実行結果が正しい場合、その配点の得点が獲得できます。

関連Slackチャンネル

• #sig-qcon: TSGでは量子系のコンテストに参加しています。TSGとしてチーム戦に参加することもあるので、初心者の人も経験者の人も気軽に覗いてみてください!

第6競技 ITクイズ

実施概要

• TSGで定期的に開催されている、「ITクイズ」を題材にしたペーパーテストです。
• インターネットやプログラミングなど、ひろく「IT」に関連する周辺知識を問う小問が出題されます。
• 過去問から40問、新規作成した問題が20問の計60問と、近似値問題1問が出題されます。
  • 過去問はこちらから確認することができます (約2800問)。
  • 過去問はフォームでの出題に適した形に改題されることがあります。
  • 過去問のうち20問はここ1年間で出題された問題 (問題2791～) から出題されます。
• 事前の予習や対策に制限はありません。
• 競技終了後、作問者が採点を行います。採点が終了したあと、Googleフォーム上で得点が公開されます。そこに記載してある点数を入力してください。

🔰初心者向けヒント

• このクイズの出題範囲は、インターネットやIT企業についてなど、わりと広めです。プログラミングの経験はそこまで関係ないので、初心者でも気軽に参加できると思います。
• 問題の多くは過去問から出題されるので、事前の予習も有効です。

ルール

• 競技開始と同時に、クイズ回答用のGoogleフォームのリンクが共有されます。フォームにアクセスし、制限時間以内に問題を解いて提出してください。
• 検索は禁止です。極力頭の中にある知識のみを使って解いてください。

獲得得点の計算方法

• 配点は素点が120点、順位点が80点の200点満点です。
• 素点は1問2点で120点満点です。
• 順位点は 80 × 2/(順位+1) 点です。 (1-indexed)
  • 素点の高い順に順位がつきます。
  • 素点が同率の場合は近似値問題の近い順に順位がつきます。
  • 近似値問題も同率の場合は回答送信時刻の早い順に順位がつきます。

採点基準

• 明らかに表記が誤っているものは、小さなミスであっても誤答とします。 (Google→Gogle など)
• 通称・略称などの一般的な表記ゆれは正解とします。(Amazon.com, Inc.→アマゾン社 など)
• 漢字表記は必要ありません。
• 東洋人名はフルネームのみを正解とします。
• 西洋人名はファーストネームのみで正解とします。
• 採点には常識が適用されます。(「その挙動から『リターンキー』とも呼ばれるキーは何でしょう？」で「リターンキー」と答えても正解にはなりません)

競技の流れ

1. 競技開始時間になると、ポータルページから競技ページに飛べるようになります。リンクをクリックして、競技ページを開いてください。

2. 時間内に問題を解き、ページ下部の「送信」ボタンを押してください。

3. 送信後、「スコアを表示」というボタンが表示されます。採点完了まで、この画面を開いておいてください。

   • 「スコアを表示」ボタンを押しても構いませんが、この時点で表示されるスコアは自動採点によるものであり、この競技における正式なスコアではありません。

4. 「第7競技 競技プログラミング (早解き)」が終了したあと、採点セッションを行います。共有画面上で正解となる答えを1問ずつ発表するので、採点に不満がある場合は Google Meet のチャットかマイクでその旨を申し立ててください。

5. 採点セッション終了後、再び「スコアを表示」からスコア表示ページを開いてください。(すでに開いている場合はページをリロードしてください) ここに表示されている点数が最終的な点数となります。

関連Slackチャンネル

• #sig-quiz: TSGのクイズ好きのためのチャンネルです。2週間に一度開催している「ITクイズ」の告知もここで行われるので、ウォッチしたい方はこのチャンネルに加入しておいてください!

第7競技 競技プログラミング (早解き)

実施概要

• AtCoderのバーチャルコンテストを用いた、競技プログラミングの早解きコンテストです。
• 競技に参加するにはAtCoderアカウントおよび AtCoder Problems アカウントが必要です。
• 問題セットは 100-100-200-200-300-300-400-400 です。

⚠️生成AIの使用について

• 本競技において、生成AIの使用は原則として禁止です。ただし、コード補完ツールをコードを書くスピードを上げる用途で用いる場合を除きます。
• 「生成AI」および「コード補完ツール」の定義は、AtCoder生成AI対策ルール - 20241206版 に準拠するものとします。

🔰初心者向けヒント

• プログラミングが初めての場合は AtCoder Programming Guide for beginners で事前に学習しておきましょう。
• 競技プログラミングが初めての場合は AtCoder Beginners Selection で事前に練習しておきましょう。
  • ここまでできたなら当日1、2問は必ず解けるはずです！

ルール

• 競技は外部サイトの AtCoder Problems 上で行われます。あらかじめリンク先を確認し「Join」しておいてください。
• 競技が始まったら問題リストが公開されるので、指定された問題を解いて、AtCoderに提出してください。

以下の行為は禁止です。

• 過去の自分や他人の提出を読んだり、コピーする行為

獲得得点の計算方法

• 時間内に獲得した問題の合計得点の10分の1がこの競技の獲得得点になります。
• ペナルティはありません。また、最終提出時刻は競技点数には影響しません。

関連Slackチャンネル

• #sig-procon: 競技プログラミング全般の話題に関するチャンネルです。AtCoderユーザー名をBOTに登録しておけば、TSGのメンバーとコンテストの順位で競い合うことができます!

第8競技 証明コンテスト

実施概要

• 与えられた定理をコンピューターの力を借りて証明する「定理証明支援系」を使って定理を証明するコンテストです。

🔰初心者向けヒント

• このコンテストでは定理証明支援プログラミング言語「Lean 4」を用いて競技を行います。チュートリアルなどを読んで事前に慣れ親しんでおくと有利です。
  • チュートリアルの非公式日本語訳: Theorem Proving in Lean 4 日本語訳
• また、今回のコンテストシステムはハインリヒ・ハイネ大学デュッセルドルフが公開している「Lean Game Server」と同じものを使用します。
  • こちらを事前に遊んでおくと本番で有利に立ち回れます。
• また、本番と同じシステムを用いた練習用ページが公開されています。あらかじめプレイして、システムの使用に問題がないか確認しておいてください。

ルール

• 競技は外部サイト上で行われます。競技が始まったらコンテストページへのリンクが公開されるので、指定された問題を解いてください。
• Rulesの「none」モードを使用して問題を解いてはいけません。

コンテストシステムの操作方法

• コンテストシステムを開くと、画面中央に問題一覧が表示されます。大きい丸が大問、小さい丸が小問を表しています。
  • 十種競技2025では、大問が1問、小問が4問出題されます。
• Rulesからモードを選択することができますが、「none」を選択して問題を解くのは禁止です。
  • 「regular」が通常モードで、小問を前から順番に解く必要があります。
  • 「relaxed」を選択すると、前の小問を飛ばして解くこともできるようになります。こちらを選択してプレイしても構いません。

• 問題を選択すると、画面左に問題文が、画面右にこの問題で使用可能な定理が表示されます。画面中央にはLeanのコードを入力して定理の証明を進めるためのコンソールが表示されます。
• 問題の指示に従って、与えられた定理の証明を行ってください。
• 問題文の内容は、証明を進めるごとに変化するので、注意深く観察してください。
• 「Retry」ボタンを押すことで証明のその部分に巻き戻して実行し直すことができます。

• 問題が解けると、画像のように小さい丸が緑色に変化します。
• この状態は小問が1問解けている状態なので、十種競技のシステム上で「1」と回答してください。

獲得得点の計算方法

• 時間内に正解できた問題数 × 25点 がこの競技の獲得得点となります。

第9競技 タイピング (日本語)

実施概要

• 日本語タイピングの速度を競います。この競技のルールは概ね「文章入力スピード認定試験」のルールに準拠しています。
• 競技ページにアクセスし、競技開始時刻になると開始ボタンが表示されます。好きなタイミングで開始ボタンをクリックし、競技を開始してください。
• ゲームが開始すると画面左側にPDFが表示されます。PDFに記載されている文章を右側の入力エリアに正しく入力していってください。

🔰初心者向けヒント

• 練習用ページが公開されています。あらかじめプレイして、システムの使用に問題がないか確認しておいてください。
• この競技は純粋なタイピング力勝負です。プログラミングなどに詳しくなくてもTSG部員と太刀打ちできるかもしれないので、ぜひ参加してください！

ルール

• 競技時間は開始ボタンを押してから10分間です。
• 競技中は、打鍵によって文字を入力するものであればどのようなツールを使っても構いません。
  • つまり、キーボード配列やIMEの種類に制限はありません。
• 競技中に他のウェブサイトを開いたりしても構いませんが、コピーアンドペーストで文字を入力するなどの行為は禁止です。

獲得得点の計算方法

• 時間内に正しく入力できた文字数が素点となります。
• 参加者の中で最も高い素点を100点としたときの点数が各参加者の獲得得点となります。

素点の計算方法

「入力した文字列」と「正解文字列」に以下の正規化を順番に施したものをそれぞれ【入力】と【正解】とする。

1. NFKC正規化
2. 「,」を「、」に、「.」を「。」に変換する
3. 空白文字の除去

【入力】と【正解】の最長共通部分文字列を計算し、共通部分文字列の長さから【入力】で余分に挿入されている文字列の長さを引いたものを「正しく入力できた文字数」とする。

わかりやすい説明

• 余分に挿入された改行や空白などはスコアに影響を及ぼしません。
• 不足している改行や空白などもスコアに影響を及ぼしません。
• 全角数字を半角で打ち込んでもスコアに影響を及ぼしません。

第10競技 コードゴルフ

実施概要

• コードゴルフを行います。コードゴルフは、与えられた処理を実行するプログラムを可能な限り短く書く、という競技です。
• 競技ページにアクセスし、競技開始時刻になると、ルールと問題が表示されます。
• ソースコードは複数回提出することができます。

🔰初心者向けヒント

• 当日は「C言語」「Python」の2言語が必須言語枠として出題されます。これらの言語を書けるようになっておくと、当日少なくとも得点を獲得することができるでしょう。
• コードゴルフ用のテクニックを学ぶと、勝てる確率が上がります。学ぶための資料として、以下のようなページが参考になりそうです。
  • コードゴルフ Wiki - yukicoder
  • C 言語でのコードゴルフに関するメモ(随時更新)
  • Python ゴルフテク(AtCoder) - Qiita
• TSGでは過去にコードゴルフ大会を何度も開催しており、その時提出されたコードの解説がWikiにまとめられています。参考になるテクニックがたくさん掲載されているので、読んでおくと良いかもしれません。

ルール

• このコードゴルフ競技は個人戦です。他の人と協力して解くことは禁止されています。

獲得得点の計算方法

• このコードゴルフ競技では複数の言語による種目が行われます。獲得得点はそれぞれの言語ごとに計算され、その合計がこの競技での獲得点数となります。
• それぞれの言語における満点は 200 ÷ [言語の数] 点です。
• それぞれの言語について、課題を解く全プレイヤーで最も短いコードを提出したプレイヤーは満点を獲得します。
• 課題を解くコードを提出した他のプレイヤーは、満点 × [全プレイヤーで最も短いコードの長さ] ÷ [自分が提出した最も短いコードの長さ] を獲得します。
• この競技における満点は200点ですが、必ずしも200点を獲得するプレイヤーがいるとは限らないことに注意してください。

関連Slackチャンネル

• #コードゴルフ大会: TSGが開催するコードゴルフ大会に関する情報が流れてくるチャンネルです。

🔢配点

• CTF (web): 100点
• CTF (crypto): 100点
• CTF (pwn): 100点
• SQLコンテスト: 100点
• 量子コンピューティング: 100点
• ITクイズ: 200点
• 証明コンテスト: 100点
• 競プロ早解き: 200点
• タイピング (日本語): 100点
• コードゴルフ: 200点

計: 1300点