数学 JMO2025-11予選 第4問 証明
2025年11月に行われた第36回日本数学オリンピック予選の第4問の証明を書いてみました．問題公式サイトを参照証明辺\(BC\)に平行な切れ目によって長方形\(ABCD\)を切ったときに，辺\(AB\)が\(m\)個に分割され，できる線分の...
数学 数学 JMO2025-11予選 第3問 証明
2025年11月に行われた第36回日本数学オリンピック予選の第3問の証明を書いてみました．問題公式サイトを参照証明\(BP=PQ=QE=a\)とおく．方べきの定理より，$$\begin{align}AP \times PC = BP \ti...
数学 JMO2025-11予選 第2問 証明
2025年11月に行われた第36回日本数学オリンピック予選の第2問の証明を書いてみました．問題公式サイトを参照証明\(1 \leq n \leq 90\)の場合，\(45 < \sqrt{2026} < 46\)により，\(n \leq 4...
数学 JMO2025-11予選 第1問 証明
2025年11月に行われた第36回日本数学オリンピック予選の第1問の証明を書いてみました．問題公式サイトを参照証明\(b\)が正の整数である必要を考えて，\(a=1, c=1\)の場合 → \(b^2=2024\)（不適）\(a=1, c=...
数学 韓国数学オリンピック 用語チートシート
韓国数学オリンピックの問題を読むときに、このチートシートを使えば基本読めます。KMO2025の問題に出てくるものを網羅しています。特に、漢字に由来する韓国語の名詞は日本語の数学用語と似ているものが多いので、ハングルの発音がわかる人は、これを...
開発 【1.21.10】Paperプラグイン入門 初級編―第５回 イベント処理
第５回はPaperプラグインにおけるイベント処理について説明します。イベントの処理フローと、イベントリスナの登録方法について詳しく解説します。
開発 Google Antigravity使ってみた
Google Antigravityが公開された当日に使ってみた感想です。AIが考えた実装プランをレビュー・承認でアプリが完成する世界。汎用IDEとして最強であるVSCodeを踏襲した、新たな覇権IDEの登場です。
開発 【1.21.10】Paperプラグイン入門 初級編―第４回 コマンド処理
第４回はPaperプラグインにおけるコマンド処理について説明します。CommandExecutorの使い方と、BrigadierコマンドAPIの使い方について詳細に解説します。
開発 【1.21.10】Paperプラグイン入門 初級編―第３回 プロジェクト作成
第３回はPaperプラグインのプロジェクトを作成する方法を説明します。IntelliJ IDEAのMinecraft Developmentプラグインを使ったプロジェクト作成方法を説明します。
開発 【1.21.10】Paperプラグイン入門 初級編―第２回 サーバーの建て方
第２回はPaperサーバーを建てる方法を説明します。Paperプラグインを開発する際に不可欠な、サーバーを建てる手順を一通り説明します。