ペチラボ書庫 - 利用者の投稿記録 [ja]

アラビア語

2026-08-29T16:10:39Z

Ptt: 空白のページを作成しました

韓国語

2026-08-29T16:10:30Z

Ptt: 空白のページを作成しました

DAW

2026-08-23T15:09:18Z

Ptt: ページの作成:「== Fender Studio (Studio One) == https://jp.fender.com/pages/fender-studio == FL Studio == https://www.image-line.com/ == Bitwig Studio == https://www.bitwig.com/ == Logic Pro == https://www.apple.com/jp/logic-pro/ == Cubase == https://www.steinberg.net/ja/cubase/ == Pro Tools == https://www.avid.com/pro-tools == Ableton Live == https://www.ableton.com/ja/」

== Fender Studio (Studio One) ==
https://jp.fender.com/pages/fender-studio

== FL Studio ==
https://www.image-line.com/

== Bitwig Studio ==
https://www.bitwig.com/

== Logic Pro ==
https://www.apple.com/jp/logic-pro/

== Cubase ==
https://www.steinberg.net/ja/cubase/

== Pro Tools ==
https://www.avid.com/pro-tools

== Ableton Live ==
https://www.ableton.com/ja/

UI

2026-08-09T17:24:55Z

Ptt:

ユーザーインターフェース

== 共通要件 ==

* 複数のUI間で操作が干渉してはいけない。
* 見た目に反した挙動をしてはいけない。

== ラベル ==
文字列を表示するもの。

* 文字列を表示すること

== ボタン ==
押すことで何か処理を呼び出すことができるもの。

* 押せそうな見た目であること
* UI上に説明が表示されること

メインページ

2026-08-09T11:55:07Z

Ptt:

ペチラボ書庫へようこそ。

このサイトはただのメモを淡々と記すものです。

過度な期待はしないでください。

お問い合わせは [https://twitter.com/monptt X(@monptt)]までお願いします

== ゲーム ==
*[[GeoGuessr]]
*[[マインスイーパ]]
*[[農家は Replace() されました]]

== プログラミング ==

* [[:カテゴリ:プログラミング]]
* [[PyTorch]]
* [[Rust]]
* [[Jenkins]]

*[[Godot]]
*[[MediaWiki]]
**[[MediaWiki/拡張機能]]
*[[Discord]]
**[[Discord Social SDK]]
*[[Lean]]

== 言語 ==

* [[日本語]]
* [[韓国語]]
* [[中国語]]
* [[英語]]
* [[アラビア語]]
* [[ギリシャ語]]
* [[インドネシア語]]
* [[フランス語]]
* [[ドイツ語]]

== それ以外 ==
*[[キャラ語尾]]
*[[ChatGPT]]
*[[ゲームエンジン]]
**[[ゲームエンジンの選び方]]

*[[音楽ゲーム]]

*[[お部屋探し]]

*[[電子工作]]

*[[:カテゴリ:数学]]
*[[:カテゴリ:音楽理論]]
*[[Live2D]]
*[[音の研究]]
**[[音響信号処理]]
**[[リアルタイム音声処理]]
**[[音声処理ライブラリ]]
*[[本屋さん]]

*[[プロフィール]]
*[[情報セキュリティ]]
*[[UI]]

ゲームエンジン

2026-08-09T11:54:48Z

Ptt: ページの作成:「== Unity == https://unity.com/ja == Unreal Engine == https://www.unrealengine.com/?lang=ja == Godot Engine == https://godotengine.org/」

== Unity ==
https://unity.com/ja

== Unreal Engine ==
https://www.unrealengine.com/?lang=ja

== Godot Engine ==
https://godotengine.org/

メインページ

2026-08-09T11:42:20Z

Ptt: /* 言語 */

ペチラボ書庫へようこそ。

このサイトはただのメモを淡々と記すものです。

過度な期待はしないでください。

お問い合わせは [https://twitter.com/monptt X(@monptt)]までお願いします

== ゲーム ==
*[[GeoGuessr]]
*[[マインスイーパ]]
*[[農家は Replace() されました]]

== プログラミング ==

* [[:カテゴリ:プログラミング]]
* [[PyTorch]]
* [[Rust]]
* [[Jenkins]]

*[[Godot]]
*[[MediaWiki]]
**[[MediaWiki/拡張機能]]
*[[Discord]]
**[[Discord Social SDK]]
*[[Lean]]

== 言語 ==

* [[日本語]]
* [[韓国語]]
* [[中国語]]
* [[英語]]
* [[アラビア語]]
* [[ギリシャ語]]
* [[インドネシア語]]
* [[フランス語]]
* [[ドイツ語]]

== それ以外 ==
*[[キャラ語尾]]
*[[ChatGPT]]
*[[ゲームエンジンの選び方]]

*[[音楽ゲーム]]

*[[お部屋探し]]

*[[電子工作]]

*[[:カテゴリ:数学]]
*[[:カテゴリ:音楽理論]]
*[[Live2D]]
*[[音の研究]]
**[[音響信号処理]]
**[[リアルタイム音声処理]]
**[[音声処理ライブラリ]]
*[[本屋さん]]

*[[プロフィール]]
*[[情報セキュリティ]]
*[[UI]]

音楽ゲーム/要求される能力

2026-08-09T11:38:13Z

Ptt:

== 精度力 ==
高いスコアを出すために必要な能力です。

=== 音押し ===
音に合わせて正確なタイミングで押す。

=== 目押し ===
判定ラインに重なる周辺を見て、目でタイミングを測って押す。

極論、目押し能力が高ければ無音でプレイすることも可能。

== リズムキープ ==
リズムを一定に保つ能力です。

長く続く縦連やトリルの途中で崩れてしまう場合はここを鍛える

== 認識力 ==
タイミングと操作（の組み合わせ）を認識する能力。

各操作をどのタイミングで行うべきか（縦認識）と、特定タイミングでどういった操作をすべきか（横認識）の組み合わせで語られることが多い。

実用的には、線的でなく面的に譜面を捉え、ある区間にわたっての操作を認識することも多い。

== 持久力 ==
身体を大きく動かすゲームや、鍵盤が重いゲームでは途中で力尽きてしまう

== ハンドスピード ==
一部のゲームでは腕を素早く、正確に動かす必要がある

== ゲームシステムの理解および数学力 ==
餡蜜で通るか、全押しして巻き込まないか、などを考える

== フレームの感覚 ==
判定幅が狭かったり、一部のゲームの特殊な操作ではフレーム単位で処理する必要がある

音楽ゲーム/要求される能力

2026-08-09T11:36:47Z

Ptt: ページの作成:「== 精度力 == 高いスコアを出すために必要な能力です。 === 音押し === 音に合わせて正確なタイミングで押す。 === 目押し === 判定ラインに重なる周辺を見て、目でタイミングを測って押す。極論、目押し能力が高ければ無音でプレイすることも可能。 == リズムキープ == リズムを一定に保つ能力です。長く続く縦連やトリルの途中で崩れてしまう…」

音楽ゲーム/表示方法

2026-08-09T11:11:28Z

Ptt: ページの作成:「判定タイミングの提示方法について分類する == 判定ライン型 == 時間に応じてノーツが移動し、判定ラインに重なるタイミングで操作するタイプ。 === 縦スクロール === 上下方向にノーツが移動するタイプ。現在のスタンダード。上→下のタイプと、下→上のタイプがある。 === 横スクロール === 左右方向にノーツが移動するタイプ。右→左が…」

判定タイミングの提示方法について分類する

== 判定ライン型 ==
時間に応じてノーツが移動し、判定ラインに重なるタイミングで操作するタイプ。

=== 縦スクロール ===
上下方向にノーツが移動するタイプ。

現在のスタンダード。

上→下のタイプと、下→上のタイプがある。

=== 横スクロール ===
左右方向にノーツが移動するタイプ。

右→左が多い。

太鼓の達人、Muse Dash など

=== 放射状 ===
一点を中心として内→外にノーツが移動するタイプ。

縦スクロールの奥側の幅を小さく、手前側の幅を大きくしたものとみることもできる。

maimai、WACCA、オウギヒメ

外→内のパターンも存在する。（BeatStream）

== 固定型 ==
操作タイミングを示すオブジェクトがあらかじめ表示され、変化しないタイプ。

オブジェクトは変化しないが、判定ラインなどが移動することでタイミングを提示する場合もある。

DIVA、A Dance of Fire And Ice、パカパカパッション、Cytus など。

（GROOVE COASTER ここ？）

== スケール型 ==
ノーツの移動ではなくスケール（拡大/縮小）でタイミングを示すタイプ。

jubeat, maimaiのタッチノーツなど

== 合図型 ==
タイミングそのものを示すノーツは表示せず、少し前に合図、掛け声、発動などでタイミングを示すタイプ。

リズム天国など

音楽ゲーム/評価項目

2026-08-09T10:47:24Z

Ptt: ページの作成:「音ゲーのプレイ結果がどういう指標で評価されるのかについて == スコア == === スコアシステム === 各ノーツの判定結果に応じて一定数を加算していき、合計が一曲を通したスコアとなる。各ノーツの点数が固定であるもの、理論値が固定で割合に応じて加算されるものがある。 === その他の要素 === 各ノーツだけでなく全体的なプレイ結果によって…」

音ゲーのプレイ結果がどういう指標で評価されるのかについて

== スコア ==

=== スコアシステム ===
各ノーツの判定結果に応じて一定数を加算していき、合計が一曲を通したスコアとなる。

各ノーツの点数が固定であるもの、理論値が固定で割合に応じて加算されるものがある。

=== その他の要素 ===
各ノーツだけでなく全体的なプレイ結果によってボーナス点が入るものがある。（jubeat）

ノーツごとの上限値に加えて加算されるものがある（太鼓、DIVA、ギタフリなど）。この場合、理論値が存在しないか、達成するのが非常に困難である。

=== ソシャゲの場合 ===
ガチャを引く、キャラを集めて育てることが目的となるので、編成やスキル発動によって音ゲーのスコアが変わるゲームが多い。

== クリア ==
各ノーツの判定結果に応じてゲージが変動し、ゲージが一定値以上溜まっていたらクリアとする方式。

また、一定値を下回ると強制終了し、完奏できたらクリアとする方式。

== パーフェクト系 ==
全てのノーツを一定判定以上で捌くことで達成されるもの。

フルコンボ、オールパーフェクトなど。

== 達成回数系 ==
ソシャゲではクリア回数がカウントされ、回数に応じて報酬がもらえるゲームがある。

理論値ゲーでは理論値回数をカウントするゲームがある。

音楽ゲーム/操作

2026-08-09T10:31:52Z

Ptt:

各種音ゲーの操作について分類する

== 判定方法による分類 ==

=== タップ ===
特定タイミングで入力状態がfalseからtrueに切り替わることを要求するもの。

多くの音ゲーで最も基本的な操作とされる。

=== フリック ===
特定タイミングで入力位置が変化することを要求するもの。

スマホ音ゲーで特に多くみられる。アーケードだとCHUNITHM, ポラリスコード, ダンスラッシュなど。

オンゲキのFLICK、ポラリスコードやボルテの直角もここに分類したい。

方向指定があったりなかったりする。

=== ホールド ===
一定の時間、連続して入力ON状態を保つことを要求するもの。

途中で離した場合、その時点でミスとなるもの、押し直せばその時点から再び成功判定になるものがある。

=== スライド ===
一定時間、入力位置（または入力方向）が連続的に変化することを要求するもの。

アナログ入力デバイス、タッチパネルを搭載したゲームで見られる。

=== ダメージノーツ ===
特定のタイミングで、特定の入力が無いことを要求するもの。

DDR, CHUNITHM, ホロドリなど

=== ポーズ ===
特定のタイミングで、特定の入力状態にあることを要求するもの。

ダンエボ、ミライダガッキなど。

これを連続して行うとほぼホールドになる（Deemo）

=== 同時押し ===
複数の操作を同時に行うことを要求するもの。

同時に成功しないとミスになるものと、同時であることを提示しつつ個別に判定する場合もある。

== 入力デバイスによる分類 ==

=== 物理ボタン ===
物理ボタンにより押す/離すの2種類の状態を得ることができる。

基本的には固定レーンで、タップ・ホールドを主としたゲームになる。

クロノサークルではボタンを回転させることで位置を変化させることができる。

=== スライダー ===
１次元の位置情報（大抵は横方向）を付加した入力方法。

位置の変化を利用できるため、フリック・スライドの操作が可能になる。

タッチパネルでも入力を1方向しか使用しないならスライダーと同様の操作性になる。

=== タッチパネル ===
２次元の位置情報を使うことができる。

また、画面上にそのまま入力できるため、ノーツの提示方法も二次元的に拡張される。

=== 打楽器 ===
入力の取り方的には物理ボタンに似ているが、手ではなくバチ・スティックを介して操作する。

スティックでタッチパネルを操作するものもある（MUSIC DIVER）

=== アナログデバイス ===
入力位置や方向を連続値で得られる。

操作内容としてはタッチパネルと近いが、画面上の位置が入力位置と分離されている点、入力範囲が画面の大きさによって制限されない点が異なる。

=== モーションセンサー ===
身体全体を用いた入力ができる。

=== ジャイロ ===
空間的な位置または位置の変化を使う。

実際には画面に提示する都合、身体的な構造の都合で、2次元に射影して使われていることが多い気がする

音楽ゲーム/操作

2026-08-09T10:27:41Z

Ptt:

各種音ゲーの操作について分類する

== 判定方法による分類 ==

=== タップ ===
特定タイミングで入力状態がfalseからtrueに切り替わることを要求するもの。

多くの音ゲーで最も基本的な操作とされる。

=== フリック ===
特定タイミングで入力位置が変化することを要求するもの。

スマホ音ゲーで特に多くみられる。アーケードだとCHUNITHM, ポラリスコード, ダンスラッシュなど。

オンゲキのFLICK、ポラリスコードやボルテの直角もここに分類したい。

方向指定があったりなかったりする。

=== ホールド ===
一定の時間、連続して入力ON状態を保つことを要求するもの。

途中で離した場合、その時点でミスとなるもの、押し直せばその時点から再び成功判定になるものがある。

=== スライド ===
一定時間、入力位置（または入力方向）が連続的に変化することを要求するもの。

アナログ入力デバイス、タッチパネルを搭載したゲームで見られる。

=== ダメージノーツ ===
特定のタイミングで、特定の入力が無いことを要求するもの。

DDR, CHUNITHM, ホロドリなど

=== ポーズ ===
特定のタイミングで、特定の入力状態にあることを要求するもの。

ダンエボ、ミライダガッキなど。

これを連続して行うとほぼホールドになる（Deemo）

=== 同時押し ===
複数の操作を同時に行うことを要求するもの。

同時に成功しないとミスになるものと、同時であることを提示しつつ個別に判定する場合もある。

== 入力デバイスによる分類 ==

=== 物理ボタン ===
物理ボタンにより押す/離すの2種類の状態を得ることができる。

基本的には固定レーンで、タップ・ホールドを主としたゲームになる。

クロノサークルではボタンを回転させることで位置を変化させることができる。

=== スライダー ===
１次元の位置情報（大抵は横方向）を付加した入力方法。

位置の変化を利用できるため、フリック・スライドの操作が可能になる。

タッチパネルでも入力を1方向しか使用しないならスライダーと同様の操作性になる。

=== タッチパネル ===
２次元の位置情報を使うことができる。

また、画面上にそのまま入力できるため、ノーツの提示方法も二次元的に拡張される。

=== アナログデバイス ===
入力位置や方向を連続値で得られる。

操作内容としてはタッチパネルと近いが、画面上の位置が入力位置と分離されている点、入力範囲が画面の大きさによって制限されない点が異なる。

=== モーションセンサー ===
身体全体を用いた入力ができる。

=== ジャイロ ===
空間的な位置または位置の変化を使う。

実際には画面に提示する都合、身体的な構造の都合で、2次元に射影して使われていることが多い気がする

メインページ

2026-08-09T10:18:43Z

Ptt: /* それ以外 */

ペチラボ書庫へようこそ。

このサイトはただのメモを淡々と記すものです。

過度な期待はしないでください。

お問い合わせは [https://twitter.com/monptt X(@monptt)]までお願いします

== ゲーム ==
*[[GeoGuessr]]
*[[マインスイーパ]]
*[[農家は Replace() されました]]

== プログラミング ==

* [[:カテゴリ:プログラミング]]
* [[PyTorch]]
* [[Rust]]
* [[Jenkins]]

*[[Godot]]
*[[MediaWiki]]
**[[MediaWiki/拡張機能]]
*[[Discord]]
**[[Discord Social SDK]]
*[[Lean]]

== 言語 ==

* [[日本語]]
* [[中国語]]
* [[英語]]
* [[アラビア語]]
* [[ギリシャ語]]
* [[インドネシア語]]
* [[フランス語]]
* [[ドイツ語]]

== それ以外 ==
*[[キャラ語尾]]
*[[ChatGPT]]
*[[ゲームエンジンの選び方]]

*[[音楽ゲーム]]

*[[お部屋探し]]

*[[電子工作]]

*[[:カテゴリ:数学]]
*[[:カテゴリ:音楽理論]]
*[[Live2D]]
*[[音の研究]]
**[[音響信号処理]]
**[[リアルタイム音声処理]]
**[[音声処理ライブラリ]]
*[[本屋さん]]

*[[プロフィール]]
*[[情報セキュリティ]]
*[[UI]]

UI

2026-08-09T10:18:27Z

Ptt: ページの作成:「ユーザーインターフェース」

ユーザーインターフェース

音楽ゲーム/操作

2026-08-09T10:17:06Z

Ptt: ページの作成:「各種音ゲーの操作について分類する == 判定方法による分類 == === タップ === 特定タイミングで入力状態がfalseからtrueに切り替わることを要求するもの。多くの音ゲーで最も基本的な操作とされる。 === フリック === 特定タイミングで入力位置が変化することを要求するもの。スマホ音ゲーで特に多くみられる。アーケードだとCHUNITHM, ポラリスコー…」

各種音ゲーの操作について分類する

== 判定方法による分類 ==

=== タップ ===
特定タイミングで入力状態がfalseからtrueに切り替わることを要求するもの。

多くの音ゲーで最も基本的な操作とされる。

=== フリック ===
特定タイミングで入力位置が変化することを要求するもの。

スマホ音ゲーで特に多くみられる。アーケードだとCHUNITHM, ポラリスコード, ダンスラッシュなど。

オンゲキのFLICK、ポラリスコードやボルテの直角もここに分類したい。

方向指定があったりなかったりする。

=== ホールド ===
一定の時間、連続して入力ON状態を保つことを要求するもの。

途中で離した場合、その時点でミスとなるもの、押し直せばその時点から再び成功判定になるものがある。

=== スライド ===
一定時間、入力位置（または入力方向）が連続的に変化することを要求するもの。

アナログ入力デバイス、タッチパネルを搭載したゲームで見られる。

=== ダメージノーツ ===
特定のタイミングで、特定の入力が無いことを要求するもの。

DDR, CHUNITHM, ホロドリなど

=== ポーズ ===
特定のタイミングで、特定の入力状態にあることを要求するもの。

ダンエボ、ミライダガッキなど。

これを連続して行うとほぼホールドになる（Deemo）

== 入力デバイスによる分類 ==

=== 物理ボタン ===
物理ボタンにより押す/離すの2種類の状態を得ることができる。

基本的には固定レーンで、タップ・ホールドを主としたゲームになる。

クロノサークルではボタンを回転させることで位置を変化させることができる。

=== スライダー ===
１次元の位置情報（大抵は横方向）を付加した入力方法。

位置の変化を利用できるため、フリック・スライドの操作が可能になる。

タッチパネルでも入力を1方向しか使用しないならスライダーと同様の操作性になる。

=== タッチパネル ===
２次元の位置情報を使うことができる。

また、画面上にそのまま入力できるため、ノーツの提示方法も二次元的に拡張される。

=== アナログデバイス ===
入力位置や方向を連続値で得られる。

操作内容としてはタッチパネルと近いが、画面上の位置が入力位置と分離されている点、入力範囲が画面の大きさによって制限されない点が異なる。

=== モーションセンサー ===
身体全体を用いた入力ができる。

音楽ゲーム/実力指標

2026-08-09T09:40:45Z

Ptt: ページの作成:「== 段位認定 == 特定の譜面セットを連続でプレイし、条件を満たすことで段位が認定されるシステム。少なくとも段位に含まれる譜面で条件を達成できる実力が保証される。 IIDX, 太鼓, CHUNITHM, maimai など == レーティング == 一定数の譜面のスコア等に応じて変動する、現在の実力を数値化して示すシステム。 CHUNITH, maimai, オンゲキ, Arcaea, Phigros, ポッ…」

== 段位認定 ==
特定の譜面セットを連続でプレイし、条件を満たすことで段位が認定されるシステム。

少なくとも段位に含まれる譜面で条件を達成できる実力が保証される。

IIDX, 太鼓, CHUNITHM, maimai など

== レーティング ==
一定数の譜面のスコア等に応じて変動する、現在の実力を数値化して示すシステム。

CHUNITH, maimai, オンゲキ, Arcaea, Phigros, ポップン, ギタドラなど

== トータルハイスコア ==
対象の全譜面の合計スコアを用いる方法。

計算方法はレーティングに近いが、全譜面を埋めていることが前提となる点が異なる。

CHUNITHMのOVERPOWERなど

== 最高クリア ==
クリアゲーにおいて、クリアした譜面の最高レベルを実力の上限値として示す方法。

特にポップン

音楽ゲーム

2026-08-09T09:18:35Z

Ptt:

音楽ゲーム、縮めて音ゲー。

== 共通の要素 ==
正しい操作を正しいタイミングで行うことが要求され、その判定に応じて評価が与えられる。

操作すべきタイミングは視覚的または聴覚的に提示される。

== サブページ一覧 ==
{{Special:PrefixIndex/音楽ゲーム/}}

== 音ゲーの一覧 ==

=== ボタン系 ===
beatmania IIDX

pop'n music

SOUND VOLTEX

GuitarFreaks

jubeat

MÚSECA

ノスタルジア

初音ミク -Project DIVA-

maimai

CHUNITHM

オンゲキ

GROOVE COASTER

クロノサークル

WACCA

パカパカパッション

=== 打楽器系 ===
太鼓の達人

ミライダガッキ

DrumMania

MUSIC DIVER

たいこでポピラ

=== タッチパネル系 ===
BeatStream

REFLEC BEAT

=== ダンス系 ===
Dance Dance Revolution

DanceEvolution

DANCERUSH STARDOM

DANCE aROUND

=== スマートフォン ===
ラブライブ！スクールアイドルフェスティバル

ラブライブ！スクールアイドルフェスティバル2 MIRACLE LIVE!

アイドルマスターシンデレラガールズスターライトステージ

バンドリ！ガールズバンドパーティ！

Tokyo 7th シスターズ

D4DJ Groovy Mix

ワールドダイスター夢のステラリウム

Re:ステージ！プリズムステップ

ガールフレンド（♪）

HoneyWorks Premium Live

hololive Dreams

DEEMO

Cytus

Dynamix

Arcaea

Phigros

Rizline

TAKUMI³

Rotaeno

ピアノタイル

オトシュー

=== PC ===
DJMAX RESPECT V

PLATiNA::LAB

MuseDash

A Dance of Fire and Ice

Headbangers: Rhythm Royale

Rift of the NecroDancer

Trombone Champ

シクスターゲート・スタートレール

Geometry Dash

=== CS ===
リズム天国

パタポン

== リンク集 ==
* [https://www.keishicho.metro.tokyo.lg.jp/play/rhythm/ ポリズム]

== 年表 ==
[[音楽ゲーム/年表]]

音楽ゲーム

2026-08-09T09:14:05Z

Ptt:

音楽ゲーム、縮めて音ゲー。

== 共通の要素 ==
正しい操作を正しいタイミングで行うことが要求され、その判定に応じて評価が与えられる。

操作すべきタイミングは視覚的または聴覚的に提示される。

== 一覧 ==

=== ボタン系 ===
beatmania IIDX

pop'n music

SOUND VOLTEX

GuitarFreaks

jubeat

MÚSECA

ノスタルジア

初音ミク -Project DIVA-

maimai

CHUNITHM

オンゲキ

GROOVE COASTER

クロノサークル

WACCA

パカパカパッション

=== 打楽器系 ===
太鼓の達人

ミライダガッキ

DrumMania

MUSIC DIVER

たいこでポピラ

=== タッチパネル系 ===
BeatStream

REFLEC BEAT

=== ダンス系 ===
Dance Dance Revolution

DanceEvolution

DANCERUSH STARDOM

DANCE aROUND

=== スマートフォン ===
ラブライブ！スクールアイドルフェスティバル

ラブライブ！スクールアイドルフェスティバル2 MIRACLE LIVE!

アイドルマスターシンデレラガールズスターライトステージ

バンドリ！ガールズバンドパーティ！

Tokyo 7th シスターズ

D4DJ Groovy Mix

ワールドダイスター夢のステラリウム

Re:ステージ！プリズムステップ

ガールフレンド（♪）

HoneyWorks Premium Live

hololive Dreams

DEEMO

Cytus

Dynamix

Arcaea

Phigros

Rizline

TAKUMI³

Rotaeno

ピアノタイル

オトシュー

=== PC ===
DJMAX RESPECT V

PLATiNA::LAB

MuseDash

A Dance of Fire and Ice

Headbangers: Rhythm Royale

Rift of the NecroDancer

Trombone Champ

シクスターゲート・スタートレール

Geometry Dash

=== CS ===
リズム天国

パタポン

== リンク集 ==
* [https://www.keishicho.metro.tokyo.lg.jp/play/rhythm/ ポリズム]

== 年表 ==
[[音楽ゲーム/年表]]

音楽ゲーム

2026-08-09T09:09:05Z

Ptt:

音楽ゲーム、縮めて音ゲー。

== 一覧 ==

=== ボタン系 ===
beatmania IIDX

pop'n music

SOUND VOLTEX

GuitarFreaks

jubeat

MÚSECA

ノスタルジア

初音ミク -Project DIVA-

maimai

CHUNITHM

オンゲキ

GROOVE COASTER

クロノサークル

WACCA

パカパカパッション

=== 打楽器系 ===
太鼓の達人

ミライダガッキ

DrumMania

MUSIC DIVER

たいこでポピラ

=== タッチパネル系 ===
BeatStream

REFLEC BEAT

=== ダンス系 ===
Dance Dance Revolution

DanceEvolution

DANCERUSH STARDOM

DANCE aROUND

=== スマートフォン ===
ラブライブ！スクールアイドルフェスティバル

ラブライブ！スクールアイドルフェスティバル2 MIRACLE LIVE!

アイドルマスターシンデレラガールズスターライトステージ

バンドリ！ガールズバンドパーティ！

Tokyo 7th シスターズ

D4DJ Groovy Mix

ワールドダイスター夢のステラリウム

Re:ステージ！プリズムステップ

ガールフレンド（♪）

HoneyWorks Premium Live

hololive Dreams

DEEMO

Cytus

Dynamix

Arcaea

Phigros

Rizline

TAKUMI³

Rotaeno

ピアノタイル

オトシュー

=== PC ===
DJMAX RESPECT V

PLATiNA::LAB

MuseDash

A Dance of Fire and Ice

Headbangers: Rhythm Royale

Rift of the NecroDancer

Trombone Champ

シクスターゲート・スタートレール

Geometry Dash

=== CS ===
リズム天国

パタポン

== リンク集 ==
* [https://www.keishicho.metro.tokyo.lg.jp/play/rhythm/ ポリズム]

== 年表 ==
[[音楽ゲーム/年表]]

お部屋探し

2026-08-09T08:37:04Z

Ptt:

お部屋探しメモ

== 賃料 ==
* 手取りの3割程度とよく言われるらしい
* 実際には賃料のほかに管理費・共益費、火災保険、サポートサービスなどがかかるのでよく確認されたい。

== キッチン ==
* ガスコンロ2口以上がよい
** 電気コンロは何をするにも時間がかかるので避けたい
*** 自炊しないなら……と思われるかもしれないが、お湯を沸かすだけなど簡単なことにかかる時間が倍増どころでは済まないので、インスタント食品などに頼りたいときほどストレスを感じることになる。

== ゴミ ==
* 24時間ゴミ出し可がよい
** 生ごみを部屋に溜めなくていい
** 缶やペットボトルを床に散らかさなくていい
** ただし、外だと放火の危険があるので注意。

== 換気 ==
* 通気性がそれなりに良い方が良い
** 空気の通り道がないと換気扇もうまく機能しない
** 特にユニットバスの場合、トイレの床が乾かないのは結構いやです

== オートロック ==
* あったほうが安心
** カギを忘れないように
** 置き配は利用しにくいかも

== 近くにあると嬉しいもの ==

=== 職場 ===
週5回行くことになるので近ければ近いほど良い

=== 駅 ===
徒歩で行ける範囲に駅があったほうがいい

通勤が徒歩orチャリなら休日だけしか使わないのである程度距離があってもいい。

=== ゲームセンター ===
ただし、行きたいときに行ける程度に近ければ十分。

=== コンビニ ===
食料以外にも、色々な手続きやらなにやらにも使うので無いと困る

=== スーパー ===
良いスーパーが近くにあると生活の質が上がる

=== 歯医者 ===
基本積極的には行きたくないが行った方がいいので、なるべく近くに良い歯医者があるといい

=== マクドナルド ===
雑に何か食べたいときに必要

=== ミスタードーナツ ===
甘いものが食べたいときに必要

=== 牛丼屋 ===
夕食を何も考えたくないときに必要

個人的にはどの店でもこだわりはない

メインページ

2026-08-09T08:27:09Z

Ptt: /* 言語 */

ペチラボ書庫へようこそ。

このサイトはただのメモを淡々と記すものです。

過度な期待はしないでください。

お問い合わせは [https://twitter.com/monptt X(@monptt)]までお願いします

== ゲーム ==
*[[GeoGuessr]]
*[[マインスイーパ]]
*[[農家は Replace() されました]]

== プログラミング ==

* [[:カテゴリ:プログラミング]]
* [[PyTorch]]
* [[Rust]]
* [[Jenkins]]

*[[Godot]]
*[[MediaWiki]]
**[[MediaWiki/拡張機能]]
*[[Discord]]
**[[Discord Social SDK]]
*[[Lean]]

== 言語 ==

* [[日本語]]
* [[中国語]]
* [[英語]]
* [[アラビア語]]
* [[ギリシャ語]]
* [[インドネシア語]]
* [[フランス語]]
* [[ドイツ語]]

== それ以外 ==
*[[キャラ語尾]]
*[[ChatGPT]]
*[[ゲームエンジンの選び方]]

*[[音楽ゲーム]]

*[[お部屋探し]]

*[[電子工作]]

*[[:カテゴリ:数学]]
*[[:カテゴリ:音楽理論]]
*[[Live2D]]
*[[音の研究]]
**[[音響信号処理]]
**[[リアルタイム音声処理]]
**[[音声処理ライブラリ]]
*[[本屋さん]]

*[[プロフィール]]
*[[情報セキュリティ]]

座標

2026-08-09T08:12:08Z

Ptt:

基底 <math>e_1, e_2, \ldots, e_n</math> により
<math>x = x_1 e_1 + x_2 e_2 + \ldots + x_n e_n</math>
と表現できるとき、
<math>[x_1 ~ x_2 ~ \ldots ~ x_n]</math>を<math>x</math>の座標という。
[[カテゴリ:数学]]

座標

2026-08-09T08:11:48Z

Ptt: ページの作成:「基底 <math>e_1, e_2, \ldots, e_n</math> により <math>x = x_1 e_1 + x_2 e_2 + \ldots + x_n e_n</math> と表現できるとき、 <math>[x_1 ~ x_2 ~ \ldots ~ x_n]</math>を<math>x</math>の座標という。」

基底 <math>e_1, e_2, \ldots, e_n</math> により
<math>x = x_1 e_1 + x_2 e_2 + \ldots + x_n e_n</math>
と表現できるとき、
<math>[x_1 ~ x_2 ~ \ldots ~ x_n]</math>を<math>x</math>の座標という。

中国語

2026-08-09T08:06:17Z

Ptt: ページの作成:「== インターネットで見かける中国語 == {| class="wikitable" |+ !中国語 !日本語 |- |下載 |ダウンロード |- |上載 |アップロード |- | | |}」

== インターネットで見かける中国語 ==
{| class="wikitable"
|+
!中国語
!日本語
|-
|下載
|ダウンロード
|-
|上載
|アップロード
|-
|
|
|}

多様体

2026-08-08T05:54:04Z

Ptt:

こちらの講義動画もオススメです

https://www.youtube.com/playlist?list=PLV0FVUV8gVBi4zW7hAqwCQYXnx6BDv2mT

[[カテゴリ:数学]]

多様体

2026-08-08T05:50:22Z

Ptt: 空白のページを作成しました

正規分布

2026-07-14T12:30:15Z

Ptt:

== 正規分布 ==
=== 一次元正規分布 ===
<math inline>\mu</math>:平均

<math inline>\sigma^2</math>:分散

<math>
f(x) =
\frac{1}{\sqrt{2\pi\sigma^2}} e^{-\frac{(x-\mu)^2}{2\sigma^2}}
</math>

== 最大エントロピー原理 ==
平均・分散が既知のとき、微分エントロピーを最大化する確率分布は正規分布である。

== 再生性 ==
正規分布に従う確率変数の和もまた正規分布に従います。
（※正規分布の和の話ではないです。→GMM？）

情報セキュリティ

2026-06-25T14:01:29Z

Ptt:

== 暗証番号 ==

== パスワード ==

== ワンタイムパスワード ==

== パスキー ==

== 生体認証 ==

メインページ

2026-06-25T12:30:56Z

Ptt:

ペチラボ書庫へようこそ。

このサイトはただのメモを淡々と記すものです。

過度な期待はしないでください。

お問い合わせは [https://twitter.com/monptt X(@monptt)]までお願いします

== ゲーム ==
*[[GeoGuessr]]
*[[マインスイーパ]]
*[[農家は Replace() されました]]

== プログラミング ==

* [[:カテゴリ:プログラミング]]
* [[PyTorch]]
* [[Rust]]
* [[Jenkins]]

*[[Godot]]
*[[MediaWiki]]
**[[MediaWiki/拡張機能]]
*[[Discord]]
**[[Discord Social SDK]]
*[[Lean]]

== 言語 ==

* [[日本語]]
* [[英語]]
* [[アラビア語]]
* [[ギリシャ語]]
* [[インドネシア語]]
* [[フランス語]]
* [[ドイツ語]]

== それ以外 ==
*[[キャラ語尾]]
*[[ChatGPT]]
*[[ゲームエンジンの選び方]]

*[[音楽ゲーム]]

*[[お部屋探し]]

*[[電子工作]]

*[[:カテゴリ:数学]]
*[[:カテゴリ:音楽理論]]
*[[Live2D]]
*[[音の研究]]
**[[音響信号処理]]
**[[リアルタイム音声処理]]
**[[音声処理ライブラリ]]
*[[本屋さん]]

*[[プロフィール]]
*[[情報セキュリティ]]

情報セキュリティ

2026-06-25T12:30:33Z

Ptt: ページの作成:「== パスワード == == パスキー ==」

== パスワード ==

== パスキー ==

メインページ

2026-06-04T15:21:38Z

Ptt: /* プログラミング */

ペチラボ書庫へようこそ。

このサイトはただのメモを淡々と記すものです。

過度な期待はしないでください。

お問い合わせは [https://twitter.com/monptt X(@monptt)]までお願いします

== ゲーム ==
*[[GeoGuessr]]
*[[マインスイーパ]]
*[[農家は Replace() されました]]

== プログラミング ==

* [[:カテゴリ:プログラミング]]
* [[PyTorch]]
* [[Rust]]
* [[Jenkins]]

*[[Godot]]
*[[MediaWiki]]
**[[MediaWiki/拡張機能]]
*[[Discord]]
**[[Discord Social SDK]]
*[[Lean]]

== 言語 ==

* [[日本語]]
* [[英語]]
* [[アラビア語]]
* [[ギリシャ語]]
* [[インドネシア語]]
* [[フランス語]]
* [[ドイツ語]]

== それ以外 ==
*[[キャラ語尾]]
*[[ChatGPT]]
*[[ゲームエンジンの選び方]]

*[[音楽ゲーム]]

*[[お部屋探し]]

*[[電子工作]]

*[[:カテゴリ:数学]]
*[[:カテゴリ:音楽理論]]
*[[Live2D]]
*[[音の研究]]
**[[音響信号処理]]
**[[リアルタイム音声処理]]
**[[音声処理ライブラリ]]
*[[本屋さん]]

*[[プロフィール]]

Discord Social SDK

2026-06-04T15:21:12Z

Ptt:

C++の場合：

https://docs.discord.com/developers/discord-social-sdk/getting-started/using-c++

これを読みながら設定していく
[[カテゴリ:Discord]]

Discord Social SDK

2026-06-04T15:20:42Z

Ptt: ページの作成:「C++の場合： https://docs.discord.com/developers/discord-social-sdk/getting-started/using-c++ これを読みながら設定していく」

C++の場合：

https://docs.discord.com/developers/discord-social-sdk/getting-started/using-c++

これを読みながら設定していく

Lean

2026-05-21T16:18:11Z

Ptt:

https://lean-lang.org/

証明支援系です。leanを用いて我々は定理とその証明を書くことができます。

Leanは「証明が正しいかどうかを判定する」こと、「どうすれば正しくなるかを提示する」ことで、証明の手助けを行います。

== インストール ==
=== Leanをインストールする ===
https://lean-lang.org/install/

# VSCode の拡張機能「Lean 4」をインストールする
# 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する
# プロジェクトが作られる。必要に応じて色々インストールされる。

=== プロジェクトに Mathlib を導入する ===
https://github.com/leanprover-community/mathlib4/wiki/Using-mathlib4-as-a-dependency

lake exe cache get　してビルド済みファイルをダウンロードしておきましょう。
その後 lean build を実行しておきましょう。

== Lean InfoView ==
これを確認しながら、"Goals accomplished!" を見ることが目標のようです。

.lean ファイルを開くと自動で開かれる。

または、Lean 4 のメニューから Toggle InfoView を選択して開く。

== やること ==

=== 関数を定義する ===
def

=== 定理を証明する ===
theorem

=== 証明する（名前なし） ===
example

=== 評価する ===
<nowiki>#</nowiki>eval

== 型 ==

=== Prop ===
命題

== 証明する ==

=== 構文 ===

==== := by ====
証明を開始します

=== 定理や仮定を使う ===

==== rw [h] ====
h を使ってゴールを書き換えます

==== intro h ====
前件(A→B においては A)を h という名前で導入します。

名前は何でもよく、前から順番に導入されるらしい。

==== exact h ====
先ほど導入したh: Aを除去して、A→B を導きます。

==== fun ====

=== 構成的証明 ===

==== exists A ====
∃を示すのに、これを満たすAを具体的に指定します

== リンク集 ==
[https://lean-ja.github.io/lean-by-example/ Lean by Example]

Lean

2026-05-21T16:03:37Z

Ptt:

https://lean-lang.org/

証明支援系です。leanを用いて我々は定理とその証明を書くことができます。

Leanは「証明が正しいかどうかを判定する」こと、「どうすれば正しくなるかを提示する」ことで、証明の手助けを行います。

== インストール ==
=== Leanをインストールする ===
https://lean-lang.org/install/

# VSCode の拡張機能「Lean 4」をインストールする
# 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する
# プロジェクトが作られる。必要に応じて色々インストールされる。

=== プロジェクトに Mathlib を導入する ===
https://github.com/leanprover-community/mathlib4/wiki/Using-mathlib4-as-a-dependency

lake exe cache get　してビルド済みファイルをダウンロードしておきましょう。
その後 lean build を実行しておきましょう。

== Lean InfoView ==
これを確認しながら、"Goals accomplished!" を見ることが目標のようです。

.lean ファイルを開くと自動で開かれる。

または、Lean 4 のメニューから Toggle InfoView を選択して開く。

== やること ==

=== 関数を定義する ===
def

=== 定理を証明する ===
theorem

=== 証明する（名前なし） ===
example

=== 評価する ===
<nowiki>#</nowiki>eval

== 型 ==

=== Prop ===
命題

== キーワード ==

=== by ===
「タクティク」によって証明を開始します

=== intro ===
intro h

のように書くと、前件(A→B においては A)を h という名前で導入します。

名前は何でもよく、前から順番に導入されるらしい。

=== exact ===
exact h と書くと先ほど導入したh : Aを除去して、A→B を導きます。

=== fun ===

Lean

2026-05-21T14:20:03Z

Ptt:

https://lean-lang.org/

証明支援系です。leanを用いて我々は定理とその証明を書くことができます。

Leanは「証明が正しいかどうかを判定する」こと、「どうすれば正しくなるかを提示する」ことで、証明の手助けを行います。

== インストール ==
=== Leanをインストールする ===
https://lean-lang.org/install/

# VSCode の拡張機能「Lean 4」をインストールする
# 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する
# プロジェクトが作られる。必要に応じて色々インストールされる。

=== プロジェクトに Mathlib を導入する ===
https://github.com/leanprover-community/mathlib4/wiki/Using-mathlib4-as-a-dependency

※起動時に数分ほどかかりました。

== Lean InfoView ==
これを確認しながら、"Goals accomplished!" を見ることが目標のようです。

.lean ファイルを開くと自動で開かれる。

または、Lean 4 のメニューから Toggle InfoView を選択して開く。

== やること ==

=== 関数を定義する ===
def

=== 定理を証明する ===
theorem

=== 証明する（名前なし） ===
example

=== 評価する ===
<nowiki>#</nowiki>eval

== 型 ==

=== Prop ===
命題

== キーワード ==

=== by ===
「タクティク」によって証明を開始します

=== intro ===
intro h

のように書くと、前件(A→B においては A)を h という名前で導入します。

名前は何でもよく、前から順番に導入されるらしい。

=== exact ===
exact h と書くと先ほど導入したh : Aを除去して、A→B を導きます。

=== fun ===

Lean

2026-05-21T12:36:01Z

Ptt:

https://lean-lang.org/

証明支援系です。leanを用いて我々は定理とその証明を書くことができます。

Leanは「証明が正しいかどうかを判定する」こと、「どうすれば正しくなるかを提示する」ことで、証明の手助けを行います。

== インストール ==
https://lean-lang.org/install/

# VSCode の拡張機能「Lean 4」をインストールする
# 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する
# プロジェクトが作られる。必要に応じて色々インストールされる。

=== プロジェクトに Mathlib を導入する ===
https://github.com/leanprover-community/mathlib4/wiki/Using-mathlib4-as-a-dependency

== Lean InfoView ==
これを確認しながら、"Goals accomplished!" を見ることが目標のようです。

.lean ファイルを開くと自動で開かれる。

または、Lean 4 のメニューから Toggle InfoView を選択して開く。

== やること ==

=== 関数を定義する ===
def

=== 定理を証明する ===
theorem

=== 証明する（名前なし） ===
example

=== 評価する ===
<nowiki>#</nowiki>eval

== 型 ==

=== Prop ===
命題

== キーワード ==

=== by ===
「タクティク」によって証明を開始します

=== intro ===
intro h

のように書くと、前件(A→B においては A)を h という名前で導入します。

名前は何でもよく、前から順番に導入されるらしい。

=== exact ===
exact h と書くと先ほど導入したh : Aを除去して、A→B を導きます。

=== fun ===

待ち行列理論

2026-03-30T16:31:43Z

Ptt:

いわゆる待機列の理論

[https://ja.wikipedia.org/wiki/%E3%82%B1%E3%83%B3%E3%83%89%E3%83%BC%E3%83%AB%E3%81%AE%E8%A8%98%E5%8F%B7 ケンドールの記号 - Wikipedia]

== 入場待機列 ==
=== 列の伸び方について ===
単位時間あたり <math>\lambda(t)</math> 人が新たに列に並ぶとする。時刻<math>t</math>における列の長さを <math>L(t)</math> とする。

入場開始時刻（<math>t=0</math>とする）より前は列が伸びる一方なので、 <math>L(t) = \int_{-\infty}^t\lambda(t)dt</math> である。

入場開始後、単位時間あたり <math>\mu</math> 人が入場できるとする。

このとき列の長さは

<math>
L(t) = \int_{-\infty}^t\lambda(t)dt - \mu t
</math>

になるはずである。

=== 列が無くなる時刻について ===
<math>L(t) = 0</math> になっていれば並びなしで入れるわけだから、これは重要。

簡単のため、<math>t=0</math> より前に並んだ人数を <math>N</math> 人、その後は <math>\lambda(t) = \lambda</math>（一定）としてみると、

<math>
L(t) = N + \lambda t - \mu t
</math>

これが <math>0</math> になるのは

<math>
t = \frac{N}{\mu - \lambda}
</math>

=== 時間に間に合うように並びたい ===
時刻 <math>t_1</math> を目標に入場したい、というのはよくあるケースである。

この場合、自分の前に並んでいるのが（入場済みも含めて） <math>\mu t_1</math> 人以下であればよい。

(i) 入場開始前の場合、

<math>\int_{-\infty}^t\lambda(t)dt < \mu t_1</math>

(ii) 入場開始後の場合、<math>t=0</math> より前に並んだ人数を <math>N</math> 人、その後は <math>\lambda(t) = \lambda</math>（一定）としてみると、

<math>N + \lambda t < \mu t_1</math>

したがって

<math>
t < \frac{\mu t_1 - N}{\lambda}
</math>

=== 一定時間以上は待ちたくない ===
<math>T</math> より長い時間は待ちたくないとする。

その時点で前に居る人数が <math>\mu T</math>より少なければよいわけだから、

<math>
\int_{-\infty}^t\lambda(t)dt - \mu t < \mu T
</math>

<math>
\frac{\int_{-\infty}^t\lambda(t)dt}{\mu} - T < t
</math>

== 実際に行われている方策 ==

=== フォーク並び ===
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。

トイレでも基本的にこの方式がとられているが、男子トイレでは小便器の列と個室の列がわかれておらず、ややこしいことになっている事例がしばしばある。

実際の運用では窓口の稼働率を最大化するため、各窓口の直前に列が形成され、数人ずつ待たせることもある。

=== 整理券 ===
事前に整理券を発行し、番号順に入れる方法。

番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。

番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。

=== ファストチケット ===
追加料金を支払う、特定のサービスを選択するなどで、一般とは別の列で優先的にサービスを受ける権利を得る方法。

=== 列形成中断 ===
一時的に列形成を中断する方法。強制的ではあるが、列が長くなるのを防ぐことができる。

待ち行列理論

2026-03-30T16:22:16Z

Ptt:

いわゆる待機列の理論

[https://ja.wikipedia.org/wiki/%E3%82%B1%E3%83%B3%E3%83%89%E3%83%BC%E3%83%AB%E3%81%AE%E8%A8%98%E5%8F%B7 ケンドールの記号 - Wikipedia]

== 入場待機列 ==
=== 列の伸び方について ===
単位時間あたり <math>\lambda(t)</math> 人が新たに列に並ぶとする。時刻<math>t</math>における列の長さを <math>L(t)</math> とする。

入場開始時刻（<math>t=0</math>とする）より前は列が伸びる一方なので、 <math>L(t) = \int_{-\infty}^t\lambda(t)dt</math> である。

入場開始後、単位時間あたり <math>\mu</math> 人が入場できるとする。

このとき列の長さは

<math>
L(t) = \int_{-\infty}^t\lambda(t)dt - \mu t
</math>

になるはずである。

=== 列が無くなる時刻について ===
<math>L(t) = 0</math> になっていれば並びなしで入れるわけだから、これは重要。

簡単のため、<math>t=0</math> より前に並んだ人数を <math>N</math> 人、その後は <math>\lambda(t) = \lambda</math>（一定）としてみると、

<math>
L(t) = N + \lambda t - \mu t
</math>

これが <math>0</math> になるのは

<math>
t = \frac{N}{\mu - \lambda}
</math>

=== 時間に間に合うように並びたい ===
時刻 <math>t_1</math> を目標に入場したい、というのはよくあるケースである。

この場合、自分の前に並んでいるのが（入場済みも含めて） <math>\mu t_1</math> 人以下であればよい。

(i) 入場開始前の場合、

<math>\int_{-\infty}^t\lambda(t)dt < \mu t_1</math>

(ii) 入場開始後の場合、<math>t=0</math> より前に並んだ人数を <math>N</math> 人、その後は <math>\lambda(t) = \lambda</math>（一定）としてみると、

<math>N + \lambda t < \mu t_1</math>

したがって

<math>
t < \frac{\mu t_1 - N}{\lambda}
</math>

== 実際に行われている方策 ==

=== フォーク並び ===
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。

トイレでも基本的にこの方式がとられているが、男子トイレでは小便器の列と個室の列がわかれておらず、ややこしいことになっている事例がしばしばある。

実際の運用では窓口の稼働率を最大化するため、各窓口の直前に列が形成され、数人ずつ待たせることもある。

=== 整理券 ===
事前に整理券を発行し、番号順に入れる方法。

番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。

番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。

=== ファストチケット ===
追加料金を支払う、特定のサービスを選択するなどで、一般とは別の列で優先的にサービスを受ける権利を得る方法。

=== 列形成中断 ===
一時的に列形成を中断する方法。強制的ではあるが、列が長くなるのを防ぐことができる。

待ち行列理論

2026-03-30T15:49:26Z

Ptt:

いわゆる待機列の理論

[https://ja.wikipedia.org/wiki/%E3%82%B1%E3%83%B3%E3%83%89%E3%83%BC%E3%83%AB%E3%81%AE%E8%A8%98%E5%8F%B7 ケンドールの記号 - Wikipedia]

== 実際に行われている方策 ==

=== フォーク並び ===
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。

トイレでも基本的にこの方式がとられているが、男子トイレでは小便器の列と個室の列がわかれておらず、ややこしいことになっている事例がしばしばある。

実際の運用では窓口の稼働率を最大化するため、各窓口の直前に列が形成され、数人ずつ待たせることもある。

=== 整理券 ===
事前に整理券を発行し、番号順に入れる方法。

番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。

番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。

=== ファストチケット ===
追加料金を支払う、特定のサービスを選択するなどで、一般とは別の列で優先的にサービスを受ける権利を得る方法。

=== 列形成中断 ===
一時的に列形成を中断する方法。強制的ではあるが、列が長くなるのを防ぐことができる。

待ち行列理論

2026-03-29T15:01:57Z

Ptt:

待ち行列理論

2026-03-29T14:59:30Z

Ptt:

いわゆる待機列の理論

[https://ja.wikipedia.org/wiki/%E3%82%B1%E3%83%B3%E3%83%89%E3%83%BC%E3%83%AB%E3%81%AE%E8%A8%98%E5%8F%B7 ケンドールの記号 - Wikipedia]

== 実際に行われている方策 ==

=== フォーク並び ===
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。

トイレでも基本的にこの方式がとられているが、男子トイレでは小便器の列と個室の列がわかれておらず、ややこしいことになっている事例がしばしばある。

=== 整理券 ===
事前に整理券を発行し、番号順に入れる方法。

番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。

番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。

=== ファストチケット ===
追加料金を支払う、特定のサービスを選択するなどで、一般とは別の列で優先的にサービスを受ける権利を得る方法。

待ち行列理論

2026-03-29T14:52:11Z

Ptt: /* フォーク並び */

いわゆる待機列の理論

== 実際に行われている方策 ==

=== フォーク並び ===
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。

トイレでも基本的にこの方式がとられているが、男子トイレでは小便器の列と個室の列がわかれておらず、ややこしいことになっている事例がしばしばある。

=== 整理券 ===
事前に整理券を発行し、番号順に入れる方法。

番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。

番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。

=== ファストチケット ===
追加料金を支払う、特定のサービスを選択するなどで、一般とは別の列で優先的にサービスを受ける権利を得る方法。

待ち行列理論

2026-03-29T14:49:55Z

Ptt:

いわゆる待機列の理論

== 実際に行われている方策 ==

=== フォーク並び ===
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。

=== 整理券 ===
事前に整理券を発行し、番号順に入れる方法。

番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。

番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。

=== ファストチケット ===
追加料金を支払う、特定のサービスを選択するなどで、一般とは別の列で優先的にサービスを受ける権利を得る方法。

待ち行列理論

2026-03-29T14:46:46Z

Ptt:

待ち行列理論

2026-03-29T14:16:12Z

Ptt: ページの作成:「いわゆる待機列の理論」

いわゆる待機列の理論

Lean

2026-03-20T03:09:53Z

Ptt:

https://lean-lang.org/

証明支援系です。leanを用いて我々は定理とその証明を書くことができます。

Leanは「証明が正しいかどうかを判定する」こと、「どうすれば正しくなるかを提示する」ことで、証明の手助けを行います。

== インストール ==
https://lean-lang.org/install/

# VSCode の拡張機能「Lean 4」をインストールする
# 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する
# プロジェクトが作られる。必要に応じて色々インストールされる。

== Lean InfoView ==
これを確認しながら、"Goals accomplished!" を見ることが目標のようです。

.lean ファイルを開くと自動で開かれる。

または、Lean 4 のメニューから Toggle InfoView を選択して開く。

== やること ==

=== 関数を定義する ===
def

=== 定理を証明する ===
theorem

=== 証明する（名前なし） ===
example

=== 評価する ===
<nowiki>#</nowiki>eval

== 型 ==

=== Prop ===
命題

== キーワード ==

=== by ===
「タクティク」によって証明を開始します

=== intro ===
intro h

のように書くと、前件(A→B においては A)を h という名前で導入します。

名前は何でもよく、前から順番に導入されるらしい。

=== exact ===
exact h と書くと先ほど導入したh : Aを除去して、A→B を導きます。

=== fun ===

メインページ

2026-03-17T13:09:11Z

Ptt: /* プログラミング */

ペチラボ書庫へようこそ。

このサイトはただのメモを淡々と記すものです。

過度な期待はしないでください。

お問い合わせは [https://twitter.com/monptt X(@monptt)]までお願いします

== ゲーム ==
*[[GeoGuessr]]
*[[マインスイーパ]]
*[[農家は Replace() されました]]

== プログラミング ==

* [[:カテゴリ:プログラミング]]
* [[PyTorch]]
* [[Rust]]
* [[Jenkins]]

*[[Godot]]
*[[MediaWiki]]
**[[MediaWiki/拡張機能]]
*[[Discord]]
*[[Lean]]

== 言語 ==

* [[日本語]]
* [[英語]]
* [[アラビア語]]
* [[ギリシャ語]]
* [[インドネシア語]]
* [[フランス語]]
* [[ドイツ語]]

== それ以外 ==
*[[キャラ語尾]]
*[[ChatGPT]]
*[[ゲームエンジンの選び方]]

*[[音楽ゲーム]]

*[[お部屋探し]]

*[[電子工作]]

*[[:カテゴリ:数学]]
*[[:カテゴリ:音楽理論]]
*[[Live2D]]
*[[音の研究]]
**[[音響信号処理]]
**[[リアルタイム音声処理]]
**[[音声処理ライブラリ]]
*[[本屋さん]]

*[[プロフィール]]

Lean

2026-03-16T16:13:31Z

Ptt: /* Lean InfoView */