クイズ de タイムトラベル & 2021年度のアレ

この記事は B4UT Advent Calendar 2022 12/8 に登録されています。

b4utmzi.wixsite.com

はじめに

　東大音ゲーサークルB4UT部員のじょーどです。

　先日都サーバー*1にて「クイズ de タイムトラベル*2」というクイズ企画を開催したので、簡単な振り返りを行います。

元ネタ

*1:京大、阪大、神戸大の音ゲーサークルと合同で行われる交流戦「都」で使用するDiscordサーバー

*2:「クイズタイムトリッププロローグ」から改名

続きを読む

ジングルベル(MAS)で決勝をぐちゃぐちゃにしたかった【セガチャン2021maimai部門】

東大音ゲーサークルB4UT所属のじょーどです。

 

一昨日開催された有志主催の大会「SEG4UT Championship」のmaimai部門に参加しました。結果は前回大会に引き続きベスト8。

戦略などについて備忘録的にまとめておこうと思います。

続きを読む

【裏都14th】音ゲー早押しクイズの鑑賞とかウラ話とか

この記事は B4UT Advent Calendar 2021 12/5 に登録されています。

b4utmzi.wixsite.com

  • はじめに
    • 作問班
      • 夜光虫
      • iLiss.
      • あんでぃ
      • じょーど
    • 凡例
  • 一般的音ゲークイズ
  • n人の壁
  • 魑魅魍魎クイズ
  • おまけ：二重音声クイズ
  • おわりに
  • 関連記事

はじめに

　メイン機種は黒田関数解析、B4UT部員のじょーどです。

　今年9月に開催された音ゲークイズ大会「裏都14th(早押し部門)」に作問班として参加したので、お気に入りの問題をピックアップして鑑賞しようと思います。

続きを読む

此頃都ニハヤル物【裏都12th】

多答連答抜けリーチ

この記事は B4UT Advent Calendar 2020 12/15 に登録されています。

b4utmzi.wixsite.com

はじめに

　東大音ゲークイズサークルB4UT 2020年度代表のじょーどです。

　9月13日～20日の八日間にわたり、4サークル合同のオンライン交流会「都12th」が開催されました。その最終日である9月20日には、音楽ゲームに関する問題が出題されるクイズ企画「裏都12th」が昼の13時から深夜24時頃まで催されました。

　裏都は京大音ゲーサークル京音とB4UTの部員有志によって運営されました。昼に行われたチーム戦の多答クイズは京音が、夜に行われた早押しクイズはB4UTがそれぞれ担当しています。

　この記事では夜の部で使用された問題のうち、私が作成した問題の一部をコメント付きで紹介します。

続きを読む

あなたの鳩の巣原理はどこから？

私はZFC公理系から

この記事は B4UT Advent Calendar 2020 12/8 に登録されています。 b4utmzi.wixsite.com
  • はじめに
  • 第1章 ZFC公理系
    • §1 基本的な約束
    • §2 ZFCの公理
      • (1) 外延性公理(Extensionality)
      • (2) 削除
      • (3) 空集合(Nullset)
      • (4) 対(Pair)
      • (5) 合併(Sum Set,Union)
      • (6) べき集合(Power Set)
      • (7) 置換公理(Replacement)
      • (8) 正則性公理(Regularity)
      • (9) 無限公理(Infinity)
      • (10) 選択公理(Axiom of Choice)
    • §3 正則性公理による帰結
  • 第2章 順序集合
    • §1 反射型順序による定義
    • §2 非反射型順序による定義
    • §3 順序集合に関する基本的概念
    • §4 整列集合
  • 第3章 順序数と基数
    • §0 自然数
    • §1 順序数
    • §2 基数と濃度
  • おわりに
  • 参考文献

はじめに

東大数学サークルB4UT 代表のじょーどです。

鳩の巣原理とは、「n個の物をm個のグループに振り分けるとき、n > mならばどこかで重複が発生している」という内容の定理です。 「10羽の鳩を9個の箱に重複なく収めることは出来ない」という例えが有名であることから名がついています。

この定理を集合論のことばで記述します。 有限集合Xの要素の個数は濃度|X|に一致*1しますから、

集合P,Bに対し,|P| > |B| \Rightarrow 単射f : P \rightarrow Bは存在しない

と書き表すことができます*2。 この対偶は

集合P,Bに対し,単射f: P \rightarrow Bが存在する \Rightarrow |P| \leq |B|

となります。

この記事の目標は、 ZFC公理系から出発して順序数と濃度の定義(の一つ)を述べ、 上に示した定理を証明することです。 個人的な興味と知識の確認を目的として執筆されているため、エンタメ的な面白さはあまり考慮していません。

*1:論理的には「一致」よりも「対応」とでも表現する方が適切かもしれない

*2:鳩に対応する集合をP,箱に対応する集合をBとしている

続きを読む

【maimai】押しスライド概論

この記事は B4UT Advent Calendar 2020 12/1 に登録されています。

b4utmzi.wixsite.com

はじめに

　東大音ゲーサークルB4UT 2020年度代表のじょーどです。

　この記事は今年の五月祭で頒布される予定であった部誌のために書き下ろした原稿を再構成したものです。

　交流戦をはじめとした多くのイベントが中止または延期を余儀なくされる中、Advent Calendarという企画が例年と変わりなく開催されたことを喜ばしく思っています。

　是非最終日までお付き合いください。

 

 

  • はじめに
  • スライドの記法
  • 仕様の概説
  • 廻る廻る季節の中で
  • 実際にやってみよう
  • 他の曲も攻略したい
  • 君と僕の選ぶ世界
    • 1:14~
    • 1:53~
    • 1:59~
  • We need to save this world.
    • 1:41~
  • 黒板のこの漢字が読めますか
    • おいどうすんだよ
    • 1:56~
    • じゃあ傾けてみましょうか
    • 実は
  • おわりに

 

続きを読む