数学 韓国数学オリンピック 用語チートシート
韓国数学オリンピックの問題を読むときに、このチートシートを使えば基本読めます。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プラグインを開発する際に不可欠な、サーバーを建てる手順を一通り説明します。
開発 【1.21.10】Paperプラグイン入門 初級編―第１回 Paperプラグインとは
第１回はPaperプラグインとは何かを説明します。バニラサーバーとプラグインサーバーの違いや、プラグインの実態と動作方法について、Bukkit, Spigot, Paperの関係についても詳しく説明します。
ゲーム 【最新情報】マイクラ プラグインサーバー 一覧
マインクラフトの主要なプラグインサーバーの一覧表です。安定ビルドの最新ver.を表示していますが、公式サイトを訪れれば試験段階の最新ver.のサーバーをダウンロードできます。サーバー名概要最新ver.Bukkit (CraftBukkit)...
数学 KMO2025 高等部 1次審査 第16問 証明
2025年に行われた第39回韓国数学オリンピック高等部1次審査の第16問の証明を書いてみました．問題公式サイトを参照証明要素\(x \in \{1, 2, 3, \dots, 10\}\)について，部分集合の順序対\((A_1, A_2, ...
数学 KMO2025 高等部 1次審査 第3問 証明
2025年に行われた第39回韓国数学オリンピック高等部1次審査の第3問の証明を書いてみました．問題公式サイトを参照証明\(100\)を法として，$$\begin{align}1! &\equiv 1 \\2! \equiv 1! \time...