http://wiki.ptt-lab.com/api.php?action=feedcontributions&feedformat=atom&user=Ptt
ペチラボ書庫 - 利用者の投稿記録 [ja]
2026-04-29T12:23:40Z
利用者の投稿記録
MediaWiki 1.39.1
http://wiki.ptt-lab.com/index.php?title=%E5%BE%85%E3%81%A1%E8%A1%8C%E5%88%97%E7%90%86%E8%AB%96&diff=623
待ち行列理論
2026-03-30T16:31:43Z
<p>Ptt: </p>
<hr />
<div>いわゆる待機列の理論<br />
<br />
<br />
[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]<br />
<br />
== 入場待機列 ==<br />
=== 列の伸び方について ===<br />
単位時間あたり <math>\lambda(t)</math> 人が新たに列に並ぶとする。時刻<math>t</math>における列の長さを <math>L(t)</math> とする。<br />
<br />
入場開始時刻（<math>t=0</math>とする）より前は列が伸びる一方なので、 <math>L(t) = \int_{-\infty}^t\lambda(t)dt</math> である。<br />
<br />
入場開始後、単位時間あたり <math>\mu</math> 人が入場できるとする。<br />
<br />
このとき列の長さは<br />
<br />
<math><br />
L(t) = \int_{-\infty}^t\lambda(t)dt - \mu t<br />
</math><br />
<br />
になるはずである。<br />
<br />
=== 列が無くなる時刻について ===<br />
<math>L(t) = 0</math> になっていれば並びなしで入れるわけだから、これは重要。<br />
<br />
簡単のため、<math>t=0</math> より前に並んだ人数を <math>N</math> 人、その後は <math>\lambda(t) = \lambda</math>（一定）としてみると、<br />
<br />
<math><br />
L(t) = N + \lambda t - \mu t<br />
</math><br />
<br />
これが <math>0</math> になるのは<br />
<br />
<math><br />
t = \frac{N}{\mu - \lambda}<br />
</math><br />
<br />
=== 時間に間に合うように並びたい ===<br />
時刻 <math>t_1</math> を目標に入場したい、というのはよくあるケースである。<br />
<br />
この場合、自分の前に並んでいるのが（入場済みも含めて） <math>\mu t_1</math> 人以下であればよい。<br />
<br />
(i) 入場開始前の場合、<br />
<br />
<math>\int_{-\infty}^t\lambda(t)dt < \mu t_1</math><br />
<br />
(ii) 入場開始後の場合、<math>t=0</math> より前に並んだ人数を <math>N</math> 人、その後は <math>\lambda(t) = \lambda</math>（一定）としてみると、<br />
<br />
<math>N + \lambda t < \mu t_1</math><br />
<br />
したがって<br />
<br />
<math><br />
t < \frac{\mu t_1 - N}{\lambda} <br />
</math><br />
<br />
=== 一定時間以上は待ちたくない ===<br />
<math>T</math> より長い時間は待ちたくないとする。<br />
<br />
その時点で前に居る人数が <math>\mu T</math>より少なければよいわけだから、<br />
<br />
<math><br />
\int_{-\infty}^t\lambda(t)dt - \mu t < \mu T<br />
</math><br />
<br />
<math><br />
\frac{\int_{-\infty}^t\lambda(t)dt}{\mu} - T < t<br />
</math><br />
<br />
== 実際に行われている方策 ==<br />
<br />
=== フォーク並び ===<br />
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。<br />
<br />
トイレでも基本的にこの方式がとられているが、男子トイレでは小便器の列と個室の列がわかれておらず、ややこしいことになっている事例がしばしばある。<br />
<br />
実際の運用では窓口の稼働率を最大化するため、各窓口の直前に列が形成され、数人ずつ待たせることもある。<br />
<br />
=== 整理券 ===<br />
事前に整理券を発行し、番号順に入れる方法。<br />
<br />
番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。<br />
<br />
番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。<br />
<br />
=== ファストチケット ===<br />
追加料金を支払う、特定のサービスを選択するなどで、一般とは別の列で優先的にサービスを受ける権利を得る方法。<br />
<br />
=== 列形成中断 ===<br />
一時的に列形成を中断する方法。強制的ではあるが、列が長くなるのを防ぐことができる。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E5%BE%85%E3%81%A1%E8%A1%8C%E5%88%97%E7%90%86%E8%AB%96&diff=622
待ち行列理論
2026-03-30T16:22:16Z
<p>Ptt: </p>
<hr />
<div>いわゆる待機列の理論<br />
<br />
<br />
[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]<br />
<br />
== 入場待機列 ==<br />
=== 列の伸び方について ===<br />
単位時間あたり <math>\lambda(t)</math> 人が新たに列に並ぶとする。時刻<math>t</math>における列の長さを <math>L(t)</math> とする。<br />
<br />
入場開始時刻（<math>t=0</math>とする）より前は列が伸びる一方なので、 <math>L(t) = \int_{-\infty}^t\lambda(t)dt</math> である。<br />
<br />
入場開始後、単位時間あたり <math>\mu</math> 人が入場できるとする。<br />
<br />
このとき列の長さは<br />
<br />
<math><br />
L(t) = \int_{-\infty}^t\lambda(t)dt - \mu t<br />
</math><br />
<br />
になるはずである。<br />
<br />
=== 列が無くなる時刻について ===<br />
<math>L(t) = 0</math> になっていれば並びなしで入れるわけだから、これは重要。<br />
<br />
簡単のため、<math>t=0</math> より前に並んだ人数を <math>N</math> 人、その後は <math>\lambda(t) = \lambda</math>（一定）としてみると、<br />
<br />
<math><br />
L(t) = N + \lambda t - \mu t<br />
</math><br />
<br />
これが <math>0</math> になるのは<br />
<br />
<math><br />
t = \frac{N}{\mu - \lambda}<br />
</math><br />
<br />
=== 時間に間に合うように並びたい ===<br />
時刻 <math>t_1</math> を目標に入場したい、というのはよくあるケースである。<br />
<br />
この場合、自分の前に並んでいるのが（入場済みも含めて） <math>\mu t_1</math> 人以下であればよい。<br />
<br />
(i) 入場開始前の場合、<br />
<br />
<math>\int_{-\infty}^t\lambda(t)dt < \mu t_1</math><br />
<br />
(ii) 入場開始後の場合、<math>t=0</math> より前に並んだ人数を <math>N</math> 人、その後は <math>\lambda(t) = \lambda</math>（一定）としてみると、<br />
<br />
<math>N + \lambda t < \mu t_1</math><br />
<br />
したがって<br />
<br />
<math><br />
t < \frac{\mu t_1 - N}{\lambda} <br />
</math><br />
<br />
== 実際に行われている方策 ==<br />
<br />
=== フォーク並び ===<br />
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。<br />
<br />
トイレでも基本的にこの方式がとられているが、男子トイレでは小便器の列と個室の列がわかれておらず、ややこしいことになっている事例がしばしばある。<br />
<br />
実際の運用では窓口の稼働率を最大化するため、各窓口の直前に列が形成され、数人ずつ待たせることもある。<br />
<br />
=== 整理券 ===<br />
事前に整理券を発行し、番号順に入れる方法。<br />
<br />
番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。<br />
<br />
番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。<br />
<br />
=== ファストチケット ===<br />
追加料金を支払う、特定のサービスを選択するなどで、一般とは別の列で優先的にサービスを受ける権利を得る方法。<br />
<br />
=== 列形成中断 ===<br />
一時的に列形成を中断する方法。強制的ではあるが、列が長くなるのを防ぐことができる。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E5%BE%85%E3%81%A1%E8%A1%8C%E5%88%97%E7%90%86%E8%AB%96&diff=621
待ち行列理論
2026-03-30T15:49:26Z
<p>Ptt: </p>
<hr />
<div>いわゆる待機列の理論<br />
<br />
<br />
[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]<br />
<br />
== 実際に行われている方策 ==<br />
<br />
=== フォーク並び ===<br />
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。<br />
<br />
トイレでも基本的にこの方式がとられているが、男子トイレでは小便器の列と個室の列がわかれておらず、ややこしいことになっている事例がしばしばある。<br />
<br />
実際の運用では窓口の稼働率を最大化するため、各窓口の直前に列が形成され、数人ずつ待たせることもある。<br />
<br />
=== 整理券 ===<br />
事前に整理券を発行し、番号順に入れる方法。<br />
<br />
番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。<br />
<br />
番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。<br />
<br />
=== ファストチケット ===<br />
追加料金を支払う、特定のサービスを選択するなどで、一般とは別の列で優先的にサービスを受ける権利を得る方法。<br />
<br />
=== 列形成中断 ===<br />
一時的に列形成を中断する方法。強制的ではあるが、列が長くなるのを防ぐことができる。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E5%BE%85%E3%81%A1%E8%A1%8C%E5%88%97%E7%90%86%E8%AB%96&diff=620
待ち行列理論
2026-03-29T15:01:57Z
<p>Ptt: </p>
<hr />
<div>いわゆる待機列の理論<br />
<br />
<br />
[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]<br />
<br />
== 実際に行われている方策 ==<br />
<br />
=== フォーク並び ===<br />
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。<br />
<br />
トイレでも基本的にこの方式がとられているが、男子トイレでは小便器の列と個室の列がわかれておらず、ややこしいことになっている事例がしばしばある。<br />
<br />
実際の運用では窓口の稼働率を最大化するため、各窓口の直前に列が形成され、数人ずつ待たせることもある。<br />
<br />
=== 整理券 ===<br />
事前に整理券を発行し、番号順に入れる方法。<br />
<br />
番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。<br />
<br />
番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。<br />
<br />
=== ファストチケット ===<br />
追加料金を支払う、特定のサービスを選択するなどで、一般とは別の列で優先的にサービスを受ける権利を得る方法。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E5%BE%85%E3%81%A1%E8%A1%8C%E5%88%97%E7%90%86%E8%AB%96&diff=619
待ち行列理論
2026-03-29T14:59:30Z
<p>Ptt: </p>
<hr />
<div>いわゆる待機列の理論<br />
<br />
<br />
[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]<br />
<br />
== 実際に行われている方策 ==<br />
<br />
=== フォーク並び ===<br />
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。<br />
<br />
トイレでも基本的にこの方式がとられているが、男子トイレでは小便器の列と個室の列がわかれておらず、ややこしいことになっている事例がしばしばある。<br />
<br />
=== 整理券 ===<br />
事前に整理券を発行し、番号順に入れる方法。<br />
<br />
番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。<br />
<br />
番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。<br />
<br />
=== ファストチケット ===<br />
追加料金を支払う、特定のサービスを選択するなどで、一般とは別の列で優先的にサービスを受ける権利を得る方法。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E5%BE%85%E3%81%A1%E8%A1%8C%E5%88%97%E7%90%86%E8%AB%96&diff=618
待ち行列理論
2026-03-29T14:52:11Z
<p>Ptt: /* フォーク並び */</p>
<hr />
<div>いわゆる待機列の理論<br />
<br />
== 実際に行われている方策 ==<br />
<br />
=== フォーク並び ===<br />
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。<br />
<br />
トイレでも基本的にこの方式がとられているが、男子トイレでは小便器の列と個室の列がわかれておらず、ややこしいことになっている事例がしばしばある。<br />
<br />
=== 整理券 ===<br />
事前に整理券を発行し、番号順に入れる方法。<br />
<br />
番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。<br />
<br />
番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。<br />
<br />
=== ファストチケット ===<br />
追加料金を支払う、特定のサービスを選択するなどで、一般とは別の列で優先的にサービスを受ける権利を得る方法。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E5%BE%85%E3%81%A1%E8%A1%8C%E5%88%97%E7%90%86%E8%AB%96&diff=617
待ち行列理論
2026-03-29T14:49:55Z
<p>Ptt: </p>
<hr />
<div>いわゆる待機列の理論<br />
<br />
== 実際に行われている方策 ==<br />
<br />
=== フォーク並び ===<br />
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。<br />
<br />
=== 整理券 ===<br />
事前に整理券を発行し、番号順に入れる方法。<br />
<br />
番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。<br />
<br />
番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。<br />
<br />
=== ファストチケット ===<br />
追加料金を支払う、特定のサービスを選択するなどで、一般とは別の列で優先的にサービスを受ける権利を得る方法。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E5%BE%85%E3%81%A1%E8%A1%8C%E5%88%97%E7%90%86%E8%AB%96&diff=616
待ち行列理論
2026-03-29T14:46:46Z
<p>Ptt: </p>
<hr />
<div>いわゆる待機列の理論<br />
<br />
== 実際に行われている方策 ==<br />
<br />
=== フォーク並び ===<br />
全員が一列に並び、空いた所に入ることで、必ず先に並んだ人が先に利用することができる。<br />
<br />
=== 整理券 ===<br />
事前に整理券を発行し、番号順に入れる方法。<br />
<br />
番号の呼び出し時間に到着すればよいため、待ち時間が短縮される。<br />
<br />
番号が早ければ早く入場でき有利になる一方、ライブ等では入場後の待機時間が長くなる。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E5%BE%85%E3%81%A1%E8%A1%8C%E5%88%97%E7%90%86%E8%AB%96&diff=615
待ち行列理論
2026-03-29T14:16:12Z
<p>Ptt: ページの作成:「いわゆる待機列の理論」</p>
<hr />
<div>いわゆる待機列の理論</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=Lean&diff=614
Lean
2026-03-20T03:09:53Z
<p>Ptt: </p>
<hr />
<div>https://lean-lang.org/<br />
<br />
証明支援系です。leanを用いて我々は定理とその証明を書くことができます。<br />
<br />
Leanは「証明が正しいかどうかを判定する」こと、「どうすれば正しくなるかを提示する」ことで、証明の手助けを行います。<br />
<br />
== インストール ==<br />
https://lean-lang.org/install/<br />
<br />
# VSCode の拡張機能「Lean 4」をインストールする<br />
# 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する<br />
# プロジェクトが作られる。必要に応じて色々インストールされる。<br />
<br />
== Lean InfoView ==<br />
これを確認しながら、"Goals accomplished!" を見ることが目標のようです。<br />
<br />
.lean ファイルを開くと自動で開かれる。<br />
<br />
または、Lean 4 のメニューから Toggle InfoView を選択して開く。<br />
<br />
== やること ==<br />
<br />
=== 関数を定義する ===<br />
def<br />
<br />
=== 定理を証明する ===<br />
theorem<br />
<br />
=== 証明する（名前なし） ===<br />
example<br />
<br />
=== 評価する ===<br />
<nowiki>#</nowiki>eval<br />
<br />
== 型 ==<br />
<br />
=== Prop ===<br />
命題<br />
<br />
== キーワード ==<br />
<br />
=== by ===<br />
「タクティク」によって証明を開始します<br />
<br />
=== intro ===<br />
intro h<br />
<br />
のように書くと、前件(A→B においては A)を h という名前で導入します。<br />
<br />
名前は何でもよく、前から順番に導入されるらしい。<br />
<br />
=== exact ===<br />
exact h と書くと先ほど導入したh : Aを除去して、A→B を導きます。<br />
<br />
=== fun ===</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E3%83%A1%E3%82%A4%E3%83%B3%E3%83%9A%E3%83%BC%E3%82%B8&diff=613
メインページ
2026-03-17T13:09:11Z
<p>Ptt: /* プログラミング */</p>
<hr />
<div>ペチラボ書庫へようこそ。<br />
<br />
このサイトはただのメモを淡々と記すものです。<br />
<br />
過度な期待はしないでください。<br />
<br />
<br />
お問い合わせは [https://twitter.com/monptt X(@monptt)]までお願いします<br />
<br />
<br />
<br />
== ゲーム ==<br />
*[[GeoGuessr]]<br />
*[[マインスイーパ]]<br />
*[[農家は Replace() されました]]<br />
<br />
== プログラミング ==<br />
<br />
* [[:カテゴリ:プログラミング]]<br />
* [[PyTorch]]<br />
* [[Rust]]<br />
* [[Jenkins]]<br />
<br />
*[[Godot]]<br />
*[[MediaWiki]]<br />
**[[MediaWiki/拡張機能]]<br />
*[[Discord]]<br />
*[[Lean]]<br />
<br />
== 言語 ==<br />
<br />
* [[日本語]]<br />
* [[英語]]<br />
* [[アラビア語]]<br />
* [[ギリシャ語]]<br />
* [[インドネシア語]]<br />
* [[フランス語]]<br />
* [[ドイツ語]]<br />
<br />
== それ以外 ==<br />
*[[キャラ語尾]]<br />
*[[ChatGPT]]<br />
*[[ゲームエンジンの選び方]]<br />
<br />
*[[音楽ゲーム]]<br />
<br />
*[[お部屋探し]]<br />
<br />
*[[電子工作]]<br />
<br />
*[[:カテゴリ:数学]]<br />
*[[:カテゴリ:音楽理論]]<br />
*[[Live2D]]<br />
*[[音の研究]]<br />
**[[音響信号処理]]<br />
**[[リアルタイム音声処理]]<br />
**[[音声処理ライブラリ]]<br />
*[[本屋さん]]<br />
<br />
*[[プロフィール]]</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=Lean&diff=612
Lean
2026-03-16T16:13:31Z
<p>Ptt: /* Lean InfoView */</p>
<hr />
<div>https://lean-lang.org/<br />
<br />
証明支援系です。leanを用いて我々は定理とその証明を書くことができます。<br />
<br />
Leanは「証明が正しいかどうかを判定する」こと、「どうすれば正しくなるかを提示する」ことで、証明の手助けを行います。<br />
<br />
== インストール ==<br />
https://lean-lang.org/install/<br />
<br />
# VSCode の拡張機能「Lean 4」をインストールする<br />
# 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する<br />
# プロジェクトが作られる。必要に応じて色々インストールされる。<br />
<br />
== Lean InfoView ==<br />
これを確認しながら、"Goals accomplished!" を見ることが目標のようです。<br />
<br />
.lean ファイルを開くと自動で開かれる。<br />
<br />
または、Lean 4 のメニューから Toggle InfoView を選択して開く。<br />
<br />
== やること ==<br />
<br />
=== 関数を定義する ===<br />
def<br />
<br />
=== 定理を証明する ===<br />
theorem<br />
<br />
=== 評価する ===<br />
<nowiki>#</nowiki>eval<br />
<br />
== 型 ==<br />
<br />
=== Prop ===<br />
命題<br />
<br />
== キーワード ==<br />
<br />
=== by ===<br />
<br />
=== fun ===<br />
<br />
=== intro ===<br />
<br />
=== exact ===</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=Lean&diff=611
Lean
2026-03-16T16:05:14Z
<p>Ptt: </p>
<hr />
<div>https://lean-lang.org/<br />
<br />
証明支援系です。leanを用いて我々は定理とその証明を書くことができます。<br />
<br />
Leanは「証明が正しいかどうかを判定する」こと、「どうすれば正しくなるかを提示する」ことで、証明の手助けを行います。<br />
<br />
== インストール ==<br />
https://lean-lang.org/install/<br />
<br />
# VSCode の拡張機能「Lean 4」をインストールする<br />
# 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する<br />
# プロジェクトが作られる。必要に応じて色々インストールされる。<br />
<br />
== Lean InfoView ==<br />
これを確認するのが目的？<br />
<br />
.lean ファイルを開くと自動で開かれる。<br />
<br />
または、Lean 4 のメニューから Toggle InfoView を選択して開く。<br />
<br />
== やること ==<br />
<br />
=== 関数を定義する ===<br />
def<br />
<br />
=== 定理を証明する ===<br />
theorem<br />
<br />
=== 評価する ===<br />
<nowiki>#</nowiki>eval<br />
<br />
== 型 ==<br />
<br />
=== Prop ===<br />
命題<br />
<br />
== キーワード ==<br />
<br />
=== by ===<br />
<br />
=== fun ===<br />
<br />
=== intro ===<br />
<br />
=== exact ===</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=Lean&diff=610
Lean
2026-03-16T15:07:09Z
<p>Ptt: </p>
<hr />
<div>https://lean-lang.org/<br />
<br />
== インストール ==<br />
https://lean-lang.org/install/<br />
<br />
# VSCode の拡張機能「Lean 4」をインストールする<br />
# 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する<br />
# プロジェクトが作られる。必要に応じて色々インストールされる。<br />
<br />
== Lean InfoView ==<br />
これを確認するのが目的？<br />
<br />
.lean ファイルを開くと自動で開かれる。<br />
<br />
または、Lean 4 のメニューから Toggle InfoView を選択して開く。<br />
<br />
== やること ==<br />
<br />
=== 関数を定義する ===<br />
def<br />
<br />
=== 定理を証明する ===<br />
theorem<br />
<br />
=== 評価する ===<br />
<nowiki>#</nowiki>eval</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=Lean&diff=609
Lean
2026-03-16T15:02:05Z
<p>Ptt: </p>
<hr />
<div>https://lean-lang.org/<br />
<br />
== インストール ==<br />
https://lean-lang.org/install/<br />
<br />
# VSCode の拡張機能「Lean 4」をインストールする<br />
# 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する<br />
# プロジェクトが作られる。必要に応じて色々インストールされる。<br />
<br />
== Lean InfoView ==<br />
これを確認するのが目的？<br />
<br />
.lean ファイルを開くと自動で開かれる。<br />
<br />
または、Lean 4 のメニューから Toggle InfoView を選択して開く。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=Lean&diff=608
Lean
2026-03-16T14:00:55Z
<p>Ptt: </p>
<hr />
<div>https://lean-lang.org/<br />
<br />
== インストール ==<br />
https://lean-lang.org/install/<br />
<br />
# VSCode の拡張機能「Lean 4」をインストールする<br />
# 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する<br />
# プロジェクトが作られる。必要に応じて色々インストールされる。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=Lean&diff=607
Lean
2026-03-16T13:27:37Z
<p>Ptt: ページの作成:「https://lean-lang.org/」</p>
<hr />
<div>https://lean-lang.org/</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/Duels&diff=606
GeoGuessr/Duels
2026-02-23T11:17:54Z
<p>Ptt: ページの作成:「対戦モード。 ライフが0になったら負け。 各ラウンドでは5Kを取ることではなく、相手との得点差を最大化することが目的になる。 そのため即ゲスも重要な戦略となる。」</p>
<hr />
<div>対戦モード。<br />
<br />
<br />
ライフが0になったら負け。<br />
<br />
各ラウンドでは5Kを取ることではなく、相手との得点差を最大化することが目的になる。<br />
<br />
そのため即ゲスも重要な戦略となる。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E3%83%A1%E3%82%A4%E3%83%B3%E3%83%9A%E3%83%BC%E3%82%B8&diff=605
メインページ
2026-02-23T10:22:26Z
<p>Ptt: </p>
<hr />
<div>ペチラボ書庫へようこそ。<br />
<br />
このサイトはただのメモを淡々と記すものです。<br />
<br />
過度な期待はしないでください。<br />
<br />
<br />
お問い合わせは [https://twitter.com/monptt X(@monptt)]までお願いします<br />
<br />
<br />
<br />
== ゲーム ==<br />
*[[GeoGuessr]]<br />
*[[マインスイーパ]]<br />
*[[農家は Replace() されました]]<br />
<br />
== プログラミング ==<br />
<br />
* [[:カテゴリ:プログラミング]]<br />
* [[PyTorch]]<br />
* [[Rust]]<br />
* [[Jenkins]]<br />
<br />
*[[Godot]]<br />
*[[MediaWiki]]<br />
**[[MediaWiki/拡張機能]]<br />
*[[Discord]]<br />
<br />
== 言語 ==<br />
<br />
* [[日本語]]<br />
* [[英語]]<br />
* [[アラビア語]]<br />
* [[ギリシャ語]]<br />
* [[インドネシア語]]<br />
* [[フランス語]]<br />
* [[ドイツ語]]<br />
<br />
== それ以外 ==<br />
*[[キャラ語尾]]<br />
*[[ChatGPT]]<br />
*[[ゲームエンジンの選び方]]<br />
<br />
*[[音楽ゲーム]]<br />
<br />
*[[お部屋探し]]<br />
<br />
*[[電子工作]]<br />
<br />
*[[:カテゴリ:数学]]<br />
*[[:カテゴリ:音楽理論]]<br />
*[[Live2D]]<br />
*[[音の研究]]<br />
**[[音響信号処理]]<br />
**[[リアルタイム音声処理]]<br />
**[[音声処理ライブラリ]]<br />
*[[本屋さん]]<br />
<br />
*[[プロフィール]]</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=Rust/%E6%96%87%E5%AD%97%E5%88%97&diff=604
Rust/文字列
2026-02-22T16:51:25Z
<p>Ptt: ページの作成:「String と &str が出てくる。 文字列リテラルは &str 型である。 String はユーザー入力のテキストなど、可変長の場合に使える。 固定の文字列およびスライスは &str でborrowするだけにしておくのがよい。」</p>
<hr />
<div>String と &str が出てくる。<br />
<br />
<br />
文字列リテラルは &str 型である。<br />
<br />
<br />
String はユーザー入力のテキストなど、可変長の場合に使える。<br />
<br />
固定の文字列およびスライスは &str でborrowするだけにしておくのがよい。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E3%83%A1%E3%82%A4%E3%83%B3%E3%83%9A%E3%83%BC%E3%82%B8&diff=603
メインページ
2026-02-22T16:36:25Z
<p>Ptt: </p>
<hr />
<div>ペチラボ書庫へようこそ。<br />
<br />
このサイトはただのメモを淡々と記すものです。<br />
<br />
過度な期待はしないでください。<br />
<br />
<br />
お問い合わせは [https://twitter.com/monptt X(@monptt)]までお願いします<br />
<br />
<br />
<br />
== ゲーム ==<br />
*[[GeoGuessr]]<br />
*[[マインスイーパ]]<br />
*[[農家は Replace() されました]]<br />
<br />
== プログラミング ==<br />
<br />
* [[:カテゴリ:プログラミング]]<br />
* [[PyTorch]]<br />
* [[Rust]]<br />
* [[Jenkins]]<br />
<br />
*[[Godot]]<br />
*[[MediaWiki]]<br />
**[[MediaWiki/拡張機能]]<br />
*[[Discord]]<br />
<br />
== それ以外 ==<br />
*[[キャラ語尾]]<br />
*[[ChatGPT]]<br />
*[[ゲームエンジンの選び方]]<br />
<br />
*[[音楽ゲーム]]<br />
<br />
*[[お部屋探し]]<br />
<br />
*[[電子工作]]<br />
<br />
*[[:カテゴリ:数学]]<br />
*[[:カテゴリ:音楽理論]]<br />
*[[Live2D]]<br />
*[[音の研究]]<br />
**[[音響信号処理]]<br />
**[[リアルタイム音声処理]]<br />
**[[音声処理ライブラリ]]<br />
*[[本屋さん]]<br />
<br />
*[[プロフィール]]</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E6%97%A5%E6%9C%AC&diff=602
GeoGuessr/日本
2026-02-19T15:22:40Z
<p>Ptt: /* 電柱 */</p>
<hr />
<div>== 電柱 ==<br />
<br />
「○○支」とあるのは電柱の住所的なもので、どのエリアの何番目かみたいな情報が書かれている<br />
<br />
=== 電力会社 ===<br />
<br />
* 北海道電力<br />
* 東北電力<br />
* 東京電力<br />
* 北陸電力<br />
* 中部電力<br />
* 関西電力<br />
* 中国電力<br />
* 四国電力<br />
* 九州電力<br />
* 沖縄電力<br />
<br />
=== 電柱標識版 ===<br />
電柱の下の方に巻いてある、黄色と黒の縦縞のやつ<br />
<br />
=== 支線ガード ===<br />
斜めのワイヤの根本の、黄色単色や、黄色と黒のしましまの筒みたいなやつ<br />
<br />
== 地名 ==<br />
<br />
=== 都道府県 ===<br />
47都道府県があります。<br />
<br />
=== 区 ===<br />
東京23区（特別区）と、政令都市に置かれている区（行政区）がある。<br />
<br />
=== 市町村 ===<br />
都の位置を基準につけられた地名<br />
* 前/中/後<br />
* 上/下<br />
<br />
== 市外局番 ==<br />
ざっくりと北から1～9<br />
<br />
== 鉄道 ==<br />
=== JR ===<br />
JR北海道、JR東日本、JR東海、JR西日本、JR四国、JR九州、JR貨物<br />
<br />
=== JR以外 ===<br />
<br />
=== 路面電車 ===</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E6%97%A5%E6%9C%AC&diff=601
GeoGuessr/日本
2026-02-19T15:12:51Z
<p>Ptt: </p>
<hr />
<div>== 電柱 ==<br />
<br />
「○○支」とあるのは電柱の住所的なもので、どのエリアの何番目かみたいな情報が書かれている<br />
<br />
=== 電力会社 ===<br />
<br />
* 北海道電力<br />
* 東北電力<br />
* 東京電力<br />
* 北陸電力<br />
* 中部電力<br />
* 関西電力<br />
* 中国電力<br />
* 四国電力<br />
* 九州電力<br />
* 沖縄電力<br />
<br />
== 地名 ==<br />
<br />
=== 都道府県 ===<br />
47都道府県があります。<br />
<br />
=== 区 ===<br />
東京23区（特別区）と、政令都市に置かれている区（行政区）がある。<br />
<br />
=== 市町村 ===<br />
都の位置を基準につけられた地名<br />
* 前/中/後<br />
* 上/下<br />
<br />
== 市外局番 ==<br />
ざっくりと北から1～9<br />
<br />
== 鉄道 ==<br />
=== JR ===<br />
JR北海道、JR東日本、JR東海、JR西日本、JR四国、JR九州、JR貨物<br />
<br />
=== JR以外 ===<br />
<br />
=== 路面電車 ===</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E3%83%89%E3%83%A1%E3%82%A4%E3%83%B3&diff=600
GeoGuessr/ドメイン
2026-02-15T18:07:40Z
<p>Ptt: /* 推測しにくいかも */</p>
<hr />
<div>主に国別コードトップレベルドメイン<br />
<br />
見かけたのをメモっておきます<br />
<br />
== 知らないと厳しい ==<br />
<br />
=== .ch スイス（ラテン語：'''C'''onfœderatio '''H'''elvetica に由来） ===<br />
<br />
=== .nl オランダ（Nederland） ===<br />
<br />
=== .za 南アフリカ共和国（オランダ語：'''Z'''uid-'''A'''frika に由来。.sa がサウジアラビアに使用されていたため） ===<br />
<br />
== 推測しにくいかも ==<br />
<br />
=== .se スウェーデン ===<br />
<br />
=== .at オーストリア ===<br />
<br />
=== .au オーストラリア ===<br />
<br />
== わかりやすい ==<br />
<br />
=== .co コロンビア ===<br />
<br />
=== .be ベルギー ===<br />
<br />
=== .bg ブルガリア ===<br />
<br />
=== .de ドイツ ===<br />
<br />
=== .dk デンマーク ===<br />
<br />
=== .fr フランス ===<br />
<br />
=== .it イタリア ===<br />
<br />
=== .jp 日本 ===<br />
あまり使われている印象はない。高いから？<br />
<br />
=== .nz ニュージーランド ===<br />
<br />
=== .pt ポルトガル ===<br />
<br />
=== .ru ロシア ===<br />
<br />
=== .uk イギリス ===<br />
<br />
== マルチバイト ==<br />
珍しい<br />
<br />
* ロシア .рф "'''Р'''оссийская '''Ф'''едерация（ロシア連邦）" の略</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E3%83%89%E3%83%A1%E3%82%A4%E3%83%B3&diff=599
GeoGuessr/ドメイン
2026-02-15T18:07:18Z
<p>Ptt: </p>
<hr />
<div>主に国別コードトップレベルドメイン<br />
<br />
見かけたのをメモっておきます<br />
<br />
== 知らないと厳しい ==<br />
<br />
=== .ch スイス（ラテン語：'''C'''onfœderatio '''H'''elvetica に由来） ===<br />
<br />
=== .nl オランダ（Nederland） ===<br />
<br />
=== .za 南アフリカ共和国（オランダ語：'''Z'''uid-'''A'''frika に由来。.sa がサウジアラビアに使用されていたため） ===<br />
<br />
== 推測しにくいかも ==<br />
<br />
=== .se スウェーデン ===<br />
<br />
=== .at オーストリア ===<br />
<br />
== わかりやすい ==<br />
<br />
=== .co コロンビア ===<br />
<br />
=== .be ベルギー ===<br />
<br />
=== .bg ブルガリア ===<br />
<br />
=== .de ドイツ ===<br />
<br />
=== .dk デンマーク ===<br />
<br />
=== .fr フランス ===<br />
<br />
=== .it イタリア ===<br />
<br />
=== .jp 日本 ===<br />
あまり使われている印象はない。高いから？<br />
<br />
=== .nz ニュージーランド ===<br />
<br />
=== .pt ポルトガル ===<br />
<br />
=== .ru ロシア ===<br />
<br />
=== .uk イギリス ===<br />
<br />
== マルチバイト ==<br />
珍しい<br />
<br />
* ロシア .рф "'''Р'''оссийская '''Ф'''едерация（ロシア連邦）" の略</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E8%BE%B2%E5%AE%B6%E3%81%AF_Replace()_%E3%81%95%E3%82%8C%E3%81%BE%E3%81%97%E3%81%9F&diff=598
農家は Replace() されました
2026-02-15T16:14:32Z
<p>Ptt: /* リーダーボード */</p>
<hr />
<div>Pythonライクなコードで農業を自動化するゲーム。<br />
<br />
面白かったので攻略メモを残したいと思います<br />
<br />
https://store.steampowered.com/app/2060160/_Replace/?l=japanese<br />
<br />
== 設定 ==<br />
Shift + Tab がデフォルトだとSteamオーバーレイのショートカットになっていて邪魔なので無効化しましょう。<br />
<br />
== ゲームの進め方 ==<br />
いい感じにループを組んで、色々アンロックしていくのが最初の目標になると思います<br />
<br />
アンロックを進めるとリーダーボードが解放でき、各種ランで競うことができます。<br />
<br />
== 文法 ==<br />
各種機能のアンロックが必要ですが、基本的な文法はほとんどPythonと同じです。<br />
<br />
== 関数 ==<br />
<br />
=== 移動系 ===<br />
<br />
==== move(方角) ====<br />
East, West, North, South が指定できる<br />
<br />
座標はループしていて、端まで行ったら反対側に移動する<br />
<br />
=== 農業系 ===<br />
<br />
==== plant(Entities.xx) ====<br />
指定したエンティティを植える<br />
<br />
多くのエンティティは till() したほうがいい<br />
<br />
==== till() ====<br />
耕す<br />
<br />
==== use_item(Items.xx) ====<br />
水やり、肥料などに使う<br />
<br />
=== getter系 ===<br />
<br />
==== can_harvest() ====<br />
収穫できるかどうか<br />
<br />
==== get_entity_type() ====<br />
エンティティの種類を見る<br />
<br />
何もなかったらNoneを返す<br />
<br />
==== get_ground_type() ====<br />
土の状態を見る<br />
<br />
耕す条件とかで使う<br />
<br />
==== get_time() ====<br />
ゲーム開始からの時間<br />
<br />
===== get_tick_count() =====<br />
実行開始からのtickカウント<br />
<br />
=== sleep系 ===<br />
<br />
==== do_a_flip() ====<br />
ドローンが宙返りをする<br />
<br />
固定で1秒かかる<br />
<br />
==== pet_the_piggy() ====<br />
子ブタをなでます！<br />
<br />
固定で1秒かかる<br />
<br />
== エンティティ ==<br />
植えることができる植物など<br />
<br />
=== Grass（草） ===<br />
<br />
=== Bush（植え付け、茂み） ===<br />
<br />
=== Tree（木） ===<br />
1本あたり5つの木材が手に入る。<br />
<br />
東西南北に隣接した木があると、1つにつき2倍の時間がかかる。（最大16倍）<br />
<br />
=== Carrot（ニンジン） ===<br />
<br />
=== Pumpkin（カボチャ） ===<br />
20%確率で壊れる。<br />
<br />
壊れてないカボチャが正方形に揃うと合体する。<br />
<br />
とりあえず正方形に植えるのがよさそう<br />
<br />
=== Sunflower（ヒマワリ） ===<br />
収穫すると「パワー」を得てドローンが速くなる。<br />
<br />
=== Cuctus（サボテン） ===<br />
0～9 のサイズがランダムで出現する。<br />
<br />
長方形に隣接したサボテンが sorted であれば同時に収穫され、そのサボテン数の2乗に等しいサボテンが獲得できる。<br />
<br />
サイズを取得するmeasure() と、隣接したサボテンを入れ替える swap() が使用できる。<br />
<br />
<br />
隣接した要素を入れ替えることによるソートといえば バブルソート を基本的には利用することになるんだろう。<br />
<br />
さらなる高速化のためには、適宜枝刈りするほか、このゲームでは植え直してしまう手もあるかもしれない<br />
<br />
== 要素 ==<br />
<br />
=== 水やり ===<br />
農場の広さとスピードに応じていい感じに使うのがよさそう<br />
<br />
=== 肥料 ===<br />
植物を即座に成長させることができる（2秒短縮）<br />
<br />
副作用があり、収穫の半分が Items.Weird_Substance に変わる。<br />
<br />
このアイテムを使うと、対象と隣接する植物の感染状態を反転させる<br />
<br />
=== 混植 ===<br />
plant_type, (x, y) = get_companion()<br />
<br />
この座標にこの植物があると収量が増えるよ、という情報が得られる<br />
<br />
=== 拡大 ===<br />
広くなる<br />
<br />
=== スピード ===<br />
アンロックと、ヒマワリのパワーでドローンの動きが速くなる。<br />
<br />
むやみに速くすると生育スピードが追いつかずうまく制御できなくなることがあるので注意<br />
<br />
== 恐竜 ==<br />
尻尾を集めるのに最低限必要なことは、<br />
<br />
* （事前に）サボテンを十分な数もっておく<br />
* 農地を耕して何もない状態にする（リンゴが出現できる状態にする）<br />
* 恐竜の帽子をかぶるとリンゴが出現する<br />
* 適当なタイミングで恐竜以外の帽子に変えると尻尾が収穫される<br />
<br />
帽子の着脱だけでも尻尾を集めることはできるようです。<br />
<br />
<br />
効率化のためにはリンゴを集める必要があります。いわゆる「スネークゲーム」をプレイします<br />
<br />
リンゴの回収数に応じて二乗で収穫数が増えるので、わりと真面目にスネークゲームをやるのがよさそうです<br />
<br />
== 迷路 ==<br />
<br />
=== 迷路の生成 ===<br />
まず、茂みをplant()する。<br />
<br />
can_harvest() になったら、そこで奇妙な物質を使う。<br />
<br />
必要数は (迷路の1辺のサイズ) × 2^(迷路アップグレードレベル - 1)<br />
<br />
=== 迷路の解法 ===<br />
ループが無い場合（初回）、進行方向に対して右側または左側の壁に沿うように動けば必ず宝箱に到達できる。<br />
<br />
== メガファーム ==<br />
メガファームをアンロックすると、複数のドローンを同時に使用できる。<br />
<br />
spawn_drone(func) で、ドローンが実行すべき関数を渡して、追加のドローンを召喚する。呼び出したドローンの位置と同じ位置に召喚される。<br />
<br />
spawn_drone は drone ハンドルを返す。<br />
<br />
各ドローンは変数を共有しない。<br />
<br />
=== 最大数を取得 ===<br />
max_drones()<br />
<br />
=== 農場にいるドローン数を取得 ===<br />
num_drones()<br />
<br />
== シミュレーション ==<br />
<br />
== リーダーボード ==<br />
leaderboard_run(リーダーボード, filename, speedup) でリーダーボードを開始できる。<br />
<br />
=== 最速リセット: Leaderboards.Fastest_Reset ===<br />
Unlocks.Leaderboard をアンロックするまでの時間を競う。<br />
<br />
=== 迷路: Leaderboards.Maze ===<br />
<br />
=== 恐竜: Leaderboards.Dinosaur ===<br />
<br />
=== サボテン: Leaderboards.Cactus ===<br />
<br />
=== ヒマワリ: Leaderboards.Sunflowers ===<br />
<br />
=== カボチャ: Leaderboards.Pumpkins ===<br />
<br />
=== 木: Leaderboards.Wood ===<br />
<br />
=== ニンジン: Leaderboards.Carrots ===<br />
<br />
=== 干し草: Leaderboards.Hay ===<br />
<br />
<br />
_Single を付けてシングルドローンのリーダーボードでもプレイできる。<br />
<br />
<br />
== その他 ==<br />
<br />
=== 帽子 ===<br />
<br />
=== デバッグ ===<br />
print() とブレークポイントが使えます</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E8%BE%B2%E5%AE%B6%E3%81%AF_Replace()_%E3%81%95%E3%82%8C%E3%81%BE%E3%81%97%E3%81%9F&diff=597
農家は Replace() されました
2026-02-15T16:00:15Z
<p>Ptt: </p>
<hr />
<div>Pythonライクなコードで農業を自動化するゲーム。<br />
<br />
面白かったので攻略メモを残したいと思います<br />
<br />
https://store.steampowered.com/app/2060160/_Replace/?l=japanese<br />
<br />
== 設定 ==<br />
Shift + Tab がデフォルトだとSteamオーバーレイのショートカットになっていて邪魔なので無効化しましょう。<br />
<br />
== ゲームの進め方 ==<br />
いい感じにループを組んで、色々アンロックしていくのが最初の目標になると思います<br />
<br />
アンロックを進めるとリーダーボードが解放でき、各種ランで競うことができます。<br />
<br />
== 文法 ==<br />
各種機能のアンロックが必要ですが、基本的な文法はほとんどPythonと同じです。<br />
<br />
== 関数 ==<br />
<br />
=== 移動系 ===<br />
<br />
==== move(方角) ====<br />
East, West, North, South が指定できる<br />
<br />
座標はループしていて、端まで行ったら反対側に移動する<br />
<br />
=== 農業系 ===<br />
<br />
==== plant(Entities.xx) ====<br />
指定したエンティティを植える<br />
<br />
多くのエンティティは till() したほうがいい<br />
<br />
==== till() ====<br />
耕す<br />
<br />
==== use_item(Items.xx) ====<br />
水やり、肥料などに使う<br />
<br />
=== getter系 ===<br />
<br />
==== can_harvest() ====<br />
収穫できるかどうか<br />
<br />
==== get_entity_type() ====<br />
エンティティの種類を見る<br />
<br />
何もなかったらNoneを返す<br />
<br />
==== get_ground_type() ====<br />
土の状態を見る<br />
<br />
耕す条件とかで使う<br />
<br />
==== get_time() ====<br />
ゲーム開始からの時間<br />
<br />
===== get_tick_count() =====<br />
実行開始からのtickカウント<br />
<br />
=== sleep系 ===<br />
<br />
==== do_a_flip() ====<br />
ドローンが宙返りをする<br />
<br />
固定で1秒かかる<br />
<br />
==== pet_the_piggy() ====<br />
子ブタをなでます！<br />
<br />
固定で1秒かかる<br />
<br />
== エンティティ ==<br />
植えることができる植物など<br />
<br />
=== Grass（草） ===<br />
<br />
=== Bush（植え付け、茂み） ===<br />
<br />
=== Tree（木） ===<br />
1本あたり5つの木材が手に入る。<br />
<br />
東西南北に隣接した木があると、1つにつき2倍の時間がかかる。（最大16倍）<br />
<br />
=== Carrot（ニンジン） ===<br />
<br />
=== Pumpkin（カボチャ） ===<br />
20%確率で壊れる。<br />
<br />
壊れてないカボチャが正方形に揃うと合体する。<br />
<br />
とりあえず正方形に植えるのがよさそう<br />
<br />
=== Sunflower（ヒマワリ） ===<br />
収穫すると「パワー」を得てドローンが速くなる。<br />
<br />
=== Cuctus（サボテン） ===<br />
0～9 のサイズがランダムで出現する。<br />
<br />
長方形に隣接したサボテンが sorted であれば同時に収穫され、そのサボテン数の2乗に等しいサボテンが獲得できる。<br />
<br />
サイズを取得するmeasure() と、隣接したサボテンを入れ替える swap() が使用できる。<br />
<br />
<br />
隣接した要素を入れ替えることによるソートといえば バブルソート を基本的には利用することになるんだろう。<br />
<br />
さらなる高速化のためには、適宜枝刈りするほか、このゲームでは植え直してしまう手もあるかもしれない<br />
<br />
== 要素 ==<br />
<br />
=== 水やり ===<br />
農場の広さとスピードに応じていい感じに使うのがよさそう<br />
<br />
=== 肥料 ===<br />
植物を即座に成長させることができる（2秒短縮）<br />
<br />
副作用があり、収穫の半分が Items.Weird_Substance に変わる。<br />
<br />
このアイテムを使うと、対象と隣接する植物の感染状態を反転させる<br />
<br />
=== 混植 ===<br />
plant_type, (x, y) = get_companion()<br />
<br />
この座標にこの植物があると収量が増えるよ、という情報が得られる<br />
<br />
=== 拡大 ===<br />
広くなる<br />
<br />
=== スピード ===<br />
アンロックと、ヒマワリのパワーでドローンの動きが速くなる。<br />
<br />
むやみに速くすると生育スピードが追いつかずうまく制御できなくなることがあるので注意<br />
<br />
== 恐竜 ==<br />
尻尾を集めるのに最低限必要なことは、<br />
<br />
* （事前に）サボテンを十分な数もっておく<br />
* 農地を耕して何もない状態にする（リンゴが出現できる状態にする）<br />
* 恐竜の帽子をかぶるとリンゴが出現する<br />
* 適当なタイミングで恐竜以外の帽子に変えると尻尾が収穫される<br />
<br />
帽子の着脱だけでも尻尾を集めることはできるようです。<br />
<br />
<br />
効率化のためにはリンゴを集める必要があります。いわゆる「スネークゲーム」をプレイします<br />
<br />
リンゴの回収数に応じて二乗で収穫数が増えるので、わりと真面目にスネークゲームをやるのがよさそうです<br />
<br />
== 迷路 ==<br />
<br />
=== 迷路の生成 ===<br />
まず、茂みをplant()する。<br />
<br />
can_harvest() になったら、そこで奇妙な物質を使う。<br />
<br />
必要数は (迷路の1辺のサイズ) × 2^(迷路アップグレードレベル - 1)<br />
<br />
=== 迷路の解法 ===<br />
ループが無い場合（初回）、進行方向に対して右側または左側の壁に沿うように動けば必ず宝箱に到達できる。<br />
<br />
== メガファーム ==<br />
メガファームをアンロックすると、複数のドローンを同時に使用できる。<br />
<br />
spawn_drone(func) で、ドローンが実行すべき関数を渡して、追加のドローンを召喚する。呼び出したドローンの位置と同じ位置に召喚される。<br />
<br />
spawn_drone は drone ハンドルを返す。<br />
<br />
各ドローンは変数を共有しない。<br />
<br />
=== 最大数を取得 ===<br />
max_drones()<br />
<br />
=== 農場にいるドローン数を取得 ===<br />
num_drones()<br />
<br />
== シミュレーション ==<br />
<br />
== リーダーボード ==<br />
<br />
== その他 ==<br />
<br />
=== 帽子 ===<br />
<br />
=== デバッグ ===<br />
print() とブレークポイントが使えます</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E8%BE%B2%E5%AE%B6%E3%81%AF_Replace()_%E3%81%95%E3%82%8C%E3%81%BE%E3%81%97%E3%81%9F&diff=596
農家は Replace() されました
2026-02-15T15:53:15Z
<p>Ptt: </p>
<hr />
<div>Pythonライクなコードで農業を自動化するゲーム。<br />
<br />
面白かったので攻略メモを残したいと思います<br />
<br />
https://store.steampowered.com/app/2060160/_Replace/?l=japanese<br />
<br />
== 設定 ==<br />
Shift + Tab がデフォルトだとSteamオーバーレイのショートカットになっていて邪魔なので無効化しましょう。<br />
<br />
== ゲームの進め方 ==<br />
いい感じにループを組んで、色々アンロックしていくのが最初の目標になると思います<br />
<br />
アンロックを進めるとリーダーボードが解放でき、各種ランで競うことができます。<br />
<br />
== 文法 ==<br />
各種機能のアンロックが必要ですが、基本的な文法はほとんどPythonと同じです。<br />
<br />
== 関数 ==<br />
<br />
=== 移動系 ===<br />
<br />
==== move(方角) ====<br />
East, West, North, South が指定できる<br />
<br />
座標はループしていて、端まで行ったら反対側に移動する<br />
<br />
=== 農業系 ===<br />
<br />
==== plant(Entities.xx) ====<br />
指定したエンティティを植える<br />
<br />
多くのエンティティは till() したほうがいい<br />
<br />
==== till() ====<br />
耕す<br />
<br />
==== use_item(Items.xx) ====<br />
水やり、肥料などに使う<br />
<br />
=== getter系 ===<br />
<br />
==== can_harvest() ====<br />
収穫できるかどうか<br />
<br />
==== get_entity_type() ====<br />
エンティティの種類を見る<br />
<br />
何もなかったらNoneを返す<br />
<br />
==== get_ground_type() ====<br />
土の状態を見る<br />
<br />
耕す条件とかで使う<br />
<br />
==== get_time() ====<br />
ゲーム開始からの時間<br />
<br />
===== get_tick_count() =====<br />
実行開始からのtickカウント<br />
<br />
=== sleep系 ===<br />
<br />
==== do_a_flip() ====<br />
ドローンが宙返りをする<br />
<br />
固定で1秒かかる<br />
<br />
==== pet_the_piggy() ====<br />
子ブタをなでます！<br />
<br />
固定で1秒かかる<br />
<br />
== エンティティ ==<br />
植えることができる植物など<br />
<br />
=== Grass（草） ===<br />
<br />
=== Bush（植え付け、茂み） ===<br />
<br />
=== Tree（木） ===<br />
1本あたり5つの木材が手に入る。<br />
<br />
東西南北に隣接した木があると、1つにつき2倍の時間がかかる。（最大16倍）<br />
<br />
=== Carrot（ニンジン） ===<br />
<br />
=== Pumpkin（カボチャ） ===<br />
20%確率で壊れる。<br />
<br />
壊れてないカボチャが正方形に揃うと合体する。<br />
<br />
とりあえず正方形に植えるのがよさそう<br />
<br />
=== Sunflower（ヒマワリ） ===<br />
収穫すると「パワー」を得てドローンが速くなる。<br />
<br />
=== Cuctus（サボテン） ===<br />
0～9 のサイズがランダムで出現する。<br />
<br />
長方形に隣接したサボテンが sorted であれば同時に収穫され、そのサボテン数の2乗に等しいサボテンが獲得できる。<br />
<br />
サイズを取得するmeasure() と、隣接したサボテンを入れ替える swap() が使用できる。<br />
<br />
<br />
隣接した要素を入れ替えることによるソートといえば バブルソート を基本的には利用することになるんだろう。<br />
<br />
さらなる高速化のためには、適宜枝刈りするほか、このゲームでは植え直してしまう手もあるかもしれない<br />
<br />
== 要素 ==<br />
<br />
=== 水やり ===<br />
農場の広さとスピードに応じていい感じに使うのがよさそう<br />
<br />
=== 肥料 ===<br />
植物を即座に成長させることができる（2秒短縮）<br />
<br />
副作用があり、収穫の半分が Items.Weird_Substance に変わる。<br />
<br />
このアイテムを使うと、対象と隣接する植物の感染状態を反転させる<br />
<br />
=== 混植 ===<br />
plant_type, (x, y) = get_companion()<br />
<br />
この座標にこの植物があると収量が増えるよ、という情報が得られる<br />
<br />
=== 拡大 ===<br />
広くなる<br />
<br />
=== スピード ===<br />
アンロックと、ヒマワリのパワーでドローンの動きが速くなる。<br />
<br />
むやみに速くすると生育スピードが追いつかずうまく制御できなくなることがあるので注意<br />
<br />
== 恐竜 ==<br />
尻尾を集めるのに最低限必要なことは、<br />
<br />
* （事前に）サボテンを十分な数もっておく<br />
* 農地を耕して何もない状態にする（リンゴが出現できる状態にする）<br />
* 恐竜の帽子をかぶるとリンゴが出現する<br />
* 適当なタイミングで恐竜以外の帽子に変えると尻尾が収穫される<br />
<br />
帽子の着脱だけでも尻尾を集めることはできるようです。<br />
<br />
<br />
効率化のためにはリンゴを集める必要があります。いわゆる「スネークゲーム」をプレイします<br />
<br />
リンゴの回収数に応じて二乗で収穫数が増えるので、わりと真面目にスネークゲームをやるのがよさそうです<br />
<br />
== 迷路 ==<br />
<br />
=== 迷路の生成 ===<br />
まず、茂みをplant()する。<br />
<br />
can_harvest() になったら、そこで奇妙な物質を使う。<br />
<br />
必要数は (迷路の1辺のサイズ) × 2^(迷路アップグレードレベル - 1)<br />
<br />
=== 迷路の解法 ===<br />
ループが無い場合（初回）、進行方向に対して右側または左側の壁に沿うように動けば必ず宝箱に到達できる。<br />
<br />
== シミュレーション ==<br />
<br />
== リーダーボード ==<br />
<br />
== その他 ==<br />
<br />
=== 帽子 ===<br />
<br />
=== デバッグ ===<br />
print() とブレークポイントが使えます</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E8%BE%B2%E5%AE%B6%E3%81%AF_Replace()_%E3%81%95%E3%82%8C%E3%81%BE%E3%81%97%E3%81%9F&diff=595
農家は Replace() されました
2026-02-15T15:38:27Z
<p>Ptt: /* 迷路 */</p>
<hr />
<div>Pythonライクなコードで農業を自動化するゲーム。<br />
<br />
面白かったので攻略メモを残したいと思います<br />
<br />
https://store.steampowered.com/app/2060160/_Replace/?l=japanese<br />
<br />
== 設定 ==<br />
Shift + Tab がデフォルトだとSteamオーバーレイのショートカットになっていて邪魔なので無効化しましょう。<br />
<br />
== ゲームの進め方 ==<br />
いい感じにループを組んで、色々アンロックしていくのが最初の目標になると思います<br />
<br />
究極はゲーム全体を自動化してタイムを競うっぽい<br />
<br />
== 文法 ==<br />
各種機能のアンロックが必要ですが、基本的な文法はほとんどPythonと同じです。<br />
<br />
== 関数 ==<br />
<br />
=== 移動系 ===<br />
<br />
==== move(方角) ====<br />
East, West, North, South が指定できる<br />
<br />
座標はループしていて、端まで行ったら反対側に移動する<br />
<br />
=== 農業系 ===<br />
<br />
==== plant(Entities.xx) ====<br />
指定したエンティティを植える<br />
<br />
多くのエンティティは till() したほうがいい<br />
<br />
==== till() ====<br />
耕す<br />
<br />
==== use_item(Items.xx) ====<br />
水やり、肥料などに使う<br />
<br />
=== getter系 ===<br />
<br />
==== can_harvest() ====<br />
収穫できるかどうか<br />
<br />
==== get_entity_type() ====<br />
エンティティの種類を見る<br />
<br />
何もなかったらNoneを返す<br />
<br />
==== get_ground_type() ====<br />
土の状態を見る<br />
<br />
耕す条件とかで使う<br />
<br />
==== get_time() ====<br />
ゲーム開始からの時間<br />
<br />
===== get_tick_count() =====<br />
実行開始からのtickカウント<br />
<br />
=== sleep系 ===<br />
<br />
==== do_a_flip() ====<br />
ドローンが宙返りをする<br />
<br />
固定で1秒かかる<br />
<br />
==== pet_the_piggy() ====<br />
子ブタをなでます！<br />
<br />
固定で1秒かかる<br />
<br />
== エンティティ ==<br />
植えることができる植物など<br />
<br />
=== Grass（草） ===<br />
<br />
=== Bush（植え付け、茂み） ===<br />
<br />
=== Tree（木） ===<br />
1本あたり5つの木材が手に入る。<br />
<br />
東西南北に隣接した木があると、1つにつき2倍の時間がかかる。（最大16倍）<br />
<br />
=== Carrot（ニンジン） ===<br />
<br />
=== Pumpkin（カボチャ） ===<br />
20%確率で壊れる。<br />
<br />
壊れてないカボチャが正方形に揃うと合体する。<br />
<br />
とりあえず正方形に植えるのがよさそう<br />
<br />
=== Sunflower（ヒマワリ） ===<br />
収穫すると「パワー」を得てドローンが速くなる。<br />
<br />
=== Cuctus（サボテン） ===<br />
0～9 のサイズがランダムで出現する。<br />
<br />
長方形に隣接したサボテンが sorted であれば同時に収穫され、そのサボテン数の2乗に等しいサボテンが獲得できる。<br />
<br />
サイズを取得するmeasure() と、隣接したサボテンを入れ替える swap() が使用できる。<br />
<br />
<br />
隣接した要素を入れ替えることによるソートといえば バブルソート を基本的には利用することになるんだろう。<br />
<br />
さらなる高速化のためには、適宜枝刈りするほか、このゲームでは植え直してしまう手もあるかもしれない<br />
<br />
== 要素 ==<br />
<br />
=== 水やり ===<br />
農場の広さとスピードに応じていい感じに使うのがよさそう<br />
<br />
=== 肥料 ===<br />
植物を即座に成長させることができる（2秒短縮）<br />
<br />
副作用があり、収穫の半分が Items.Weird_Substance に変わる。<br />
<br />
このアイテムを使うと、対象と隣接する植物の感染状態を反転させる<br />
<br />
=== 混植 ===<br />
plant_type, (x, y) = get_companion()<br />
<br />
この座標にこの植物があると収量が増えるよ、という情報が得られる<br />
<br />
=== 拡大 ===<br />
広くなる<br />
<br />
=== スピード ===<br />
アンロックと、ヒマワリのパワーでドローンの動きが速くなる。<br />
<br />
むやみに速くすると生育スピードが追いつかずうまく制御できなくなることがあるので注意<br />
<br />
== 恐竜 ==<br />
尻尾を集めるのに最低限必要なことは、<br />
<br />
* （事前に）サボテンを十分な数もっておく<br />
* 農地を耕して何もない状態にする（リンゴが出現できる状態にする）<br />
* 恐竜の帽子をかぶるとリンゴが出現する<br />
* 適当なタイミングで恐竜以外の帽子に変えると尻尾が収穫される<br />
<br />
帽子の着脱だけでも尻尾を集めることはできるようです。<br />
<br />
<br />
効率化のためにはリンゴを集める必要があります。いわゆる「スネークゲーム」をプレイします<br />
<br />
リンゴの回収数に応じて二乗で収穫数が増えるので、わりと真面目にスネークゲームをやるのがよさそうです<br />
<br />
== 迷路 ==<br />
<br />
=== 迷路の生成 ===<br />
まず、茂みをplant()する。<br />
<br />
can_harvest() になったら、そこで奇妙な物質を使う。<br />
<br />
必要数は (迷路の1辺のサイズ) × 2^(迷路アップグレードレベル - 1)<br />
<br />
=== 迷路の解法 ===<br />
ループが無い場合（初回）、進行方向に対して右側または左側の壁に沿うように動けば必ず宝箱に到達できる。<br />
<br />
== その他 ==<br />
<br />
=== 帽子 ===<br />
<br />
=== デバッグ ===<br />
print() とブレークポイントが使えます</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E3%82%A4%E3%83%B3%E3%83%89%E3%83%8D%E3%82%B7%E3%82%A2&diff=594
GeoGuessr/インドネシア
2026-02-14T04:41:57Z
<p>Ptt: ページの作成:「== KABUPATEN == KABUPATEN（カブパテン）と呼ばれる、県にあたる地名が看板等に書かれていることがよくある。 KABUPATEN ○○ のように表記される。」</p>
<hr />
<div>== KABUPATEN ==<br />
KABUPATEN（カブパテン）と呼ばれる、県にあたる地名が看板等に書かれていることがよくある。<br />
<br />
KABUPATEN ○○ のように表記される。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E6%97%A5%E6%9C%AC&diff=593
GeoGuessr/日本
2026-02-13T14:57:03Z
<p>Ptt: /* 電柱 */</p>
<hr />
<div>== 電柱 ==<br />
<br />
「○○支」とあるのは電柱の住所的なもので、どのエリアの何番目かみたいな情報が書かれている<br />
== 地名 ==<br />
<br />
=== 都道府県 ===<br />
47都道府県があります。<br />
<br />
=== 区 ===<br />
東京23区（特別区）と、政令都市に置かれている区（行政区）がある。<br />
<br />
=== 市町村 ===<br />
都の位置を基準につけられた地名<br />
* 前/中/後<br />
* 上/下<br />
<br />
== 市外局番 ==<br />
ざっくりと北から1～9<br />
<br />
== 鉄道 ==<br />
=== JR ===<br />
JR北海道、JR東日本、JR東海、JR西日本、JR四国、JR九州、JR貨物<br />
<br />
=== JR以外 ===<br />
<br />
=== 路面電車 ===</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E9%81%93%E8%B7%AF%E6%A8%99%E8%AD%98&diff=592
GeoGuessr/道路標識
2026-02-13T14:45:40Z
<p>Ptt: </p>
<hr />
<div>== 横断歩道 ==<br />
<br />
=== オーストリア ===<br />
破線<br />
<br />
=== ポーランド ===<br />
横線が１本<br />
<br />
=== ロシア ===<br />
縦線が３本<br />
<br />
=== エストニア ===<br />
縦線が３本<br />
<br />
=== スウェーデン ===<br />
縦線が４本<br />
<br />
=== ノルウェー ===<br />
縦線が４本<br />
<br />
=== ポルトガル ===<br />
線が５本<br />
<br />
腰に白い横線（ベルト）がある<br />
<br />
== 一時停止 ==<br />
<br />
=== ヨーロッパ ===<br />
STOP<br />
<br />
=== カナダ ===<br />
ケベック州ではフランス語で ARRÊT 表記が見られる<br />
<br />
=== メキシコ ===<br />
ALTO<br />
<br />
=== 南米スペイン語圏・ブラジル ===<br />
PARE<br />
<br />
=== トルコ ===<br />
DUR<br />
<br />
=== 日本 ===<br />
止まれ<br />
<br />
STOP<br />
<br />
（逆三角形）<br />
<br />
== 動物注意 ==<br />
スペイン：鹿？<br />
<br />
https://maps.app.goo.gl/CRqH5yGd2m8qKX5s5</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E6%97%A5%E6%9C%AC&diff=591
GeoGuessr/日本
2026-02-13T14:22:40Z
<p>Ptt: </p>
<hr />
<div>== 電柱 ==<br />
<br />
<br />
== 地名 ==<br />
<br />
=== 都道府県 ===<br />
47都道府県があります。<br />
<br />
=== 区 ===<br />
東京23区（特別区）と、政令都市に置かれている区（行政区）がある。<br />
<br />
=== 市町村 ===<br />
都の位置を基準につけられた地名<br />
* 前/中/後<br />
* 上/下<br />
<br />
== 市外局番 ==<br />
ざっくりと北から1～9<br />
<br />
== 鉄道 ==<br />
=== JR ===<br />
JR北海道、JR東日本、JR東海、JR西日本、JR四国、JR九州、JR貨物<br />
<br />
=== JR以外 ===<br />
<br />
=== 路面電車 ===</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E3%83%A1%E3%82%A4%E3%83%B3%E3%83%9A%E3%83%BC%E3%82%B8&diff=590
メインページ
2026-02-10T16:27:05Z
<p>Ptt: </p>
<hr />
<div>ペチラボ書庫へようこそ。<br />
<br />
このサイトはただのメモを淡々と記すものです。<br />
<br />
過度な期待はしないでください。<br />
<br />
<br />
お問い合わせは [https://twitter.com/monptt X(@monptt)]までお願いします<br />
<br />
<br />
<br />
== ゲーム ==<br />
*[[GeoGuessr]]<br />
*[[マインスイーパ]]<br />
*[[農家は Replace() されました]]<br />
<br />
== それ以外 ==<br />
*[[MediaWiki]]<br />
**[[MediaWiki/拡張機能]]<br />
<br />
*[[キャラ語尾]]<br />
<br />
*[[PyTorch]]<br />
*[[Discord]]<br />
*[[ChatGPT]]<br />
<br />
*[[Jenkins]]<br />
*[[Rust]]<br />
<br />
*[[Godot]]<br />
*[[ゲームエンジンの選び方]]<br />
<br />
*[[音楽ゲーム]]<br />
<br />
*[[お部屋探し]]<br />
<br />
*[[電子工作]]<br />
<br />
*[[:カテゴリ:数学]]<br />
*[[:カテゴリ:プログラミング]]<br />
*[[:カテゴリ:音楽理論]]<br />
*[[Live2D]]<br />
*[[音の研究]]<br />
**[[音響信号処理]]<br />
**[[リアルタイム音声処理]]<br />
**[[音声処理ライブラリ]]<br />
*<br />
*[[本屋さん]]<br />
<br />
*[[プロフィール]]</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E3%83%A1%E3%82%A4%E3%83%B3%E3%83%9A%E3%83%BC%E3%82%B8&diff=589
メインページ
2026-02-10T16:26:48Z
<p>Ptt: </p>
<hr />
<div>ペチラボ書庫へようこそ。<br />
<br />
このサイトはただのメモを淡々と記すものです。<br />
<br />
過度な期待はしないでください。<br />
<br />
<br />
お問い合わせは [https://twitter.com/monptt X(@monptt)]までお願いします<br />
<br />
<br />
=ゲーム=<br />
*[[GeoGuessr]]<br />
*[[マインスイーパ]]<br />
*[[農家は Replace() されました]]<br />
<br />
=それ以外=<br />
<br />
*[[MediaWiki]]<br />
**[[MediaWiki/拡張機能]]<br />
<br />
*[[キャラ語尾]]<br />
<br />
*[[PyTorch]]<br />
*[[Discord]]<br />
*[[ChatGPT]]<br />
<br />
*[[Jenkins]]<br />
*[[Rust]]<br />
<br />
*[[Godot]]<br />
*[[ゲームエンジンの選び方]]<br />
<br />
*[[音楽ゲーム]]<br />
<br />
*[[お部屋探し]]<br />
<br />
*[[電子工作]]<br />
<br />
*[[:カテゴリ:数学]]<br />
*[[:カテゴリ:プログラミング]]<br />
*[[:カテゴリ:音楽理論]]<br />
*[[Live2D]]<br />
*[[音の研究]]<br />
**[[音響信号処理]]<br />
**[[リアルタイム音声処理]]<br />
**[[音声処理ライブラリ]]<br />
*<br />
*[[本屋さん]]<br />
<br />
*[[プロフィール]]</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E8%BE%B2%E5%AE%B6%E3%81%AF_Replace()_%E3%81%95%E3%82%8C%E3%81%BE%E3%81%97%E3%81%9F&diff=588
農家は Replace() されました
2026-02-10T14:08:59Z
<p>Ptt: </p>
<hr />
<div>Pythonライクなコードで農業を自動化するゲーム。<br />
<br />
面白かったので攻略メモを残したいと思います<br />
<br />
https://store.steampowered.com/app/2060160/_Replace/?l=japanese<br />
<br />
== 設定 ==<br />
Shift + Tab がデフォルトだとSteamオーバーレイのショートカットになっていて邪魔なので無効化しましょう。<br />
<br />
== ゲームの進め方 ==<br />
いい感じにループを組んで、色々アンロックしていくのが最初の目標になると思います<br />
<br />
究極はゲーム全体を自動化してタイムを競うっぽい<br />
<br />
== 文法 ==<br />
各種機能のアンロックが必要ですが、基本的な文法はほとんどPythonと同じです。<br />
<br />
== 関数 ==<br />
<br />
=== 移動系 ===<br />
<br />
==== move(方角) ====<br />
East, West, North, South が指定できる<br />
<br />
座標はループしていて、端まで行ったら反対側に移動する<br />
<br />
=== 農業系 ===<br />
<br />
==== plant(Entities.xx) ====<br />
指定したエンティティを植える<br />
<br />
多くのエンティティは till() したほうがいい<br />
<br />
==== till() ====<br />
耕す<br />
<br />
==== use_item(Items.xx) ====<br />
水やり、肥料などに使う<br />
<br />
=== getter系 ===<br />
<br />
==== can_harvest() ====<br />
収穫できるかどうか<br />
<br />
==== get_entity_type() ====<br />
エンティティの種類を見る<br />
<br />
何もなかったらNoneを返す<br />
<br />
==== get_ground_type() ====<br />
土の状態を見る<br />
<br />
耕す条件とかで使う<br />
<br />
==== get_time() ====<br />
ゲーム開始からの時間<br />
<br />
===== get_tick_count() =====<br />
実行開始からのtickカウント<br />
<br />
=== sleep系 ===<br />
<br />
==== do_a_flip() ====<br />
ドローンが宙返りをする<br />
<br />
固定で1秒かかる<br />
<br />
==== pet_the_piggy() ====<br />
子ブタをなでます！<br />
<br />
固定で1秒かかる<br />
<br />
== エンティティ ==<br />
植えることができる植物など<br />
<br />
=== Grass（草） ===<br />
<br />
=== Bush（植え付け、茂み） ===<br />
<br />
=== Tree（木） ===<br />
1本あたり5つの木材が手に入る。<br />
<br />
東西南北に隣接した木があると、1つにつき2倍の時間がかかる。（最大16倍）<br />
<br />
=== Carrot（ニンジン） ===<br />
<br />
=== Pumpkin（カボチャ） ===<br />
20%確率で壊れる。<br />
<br />
壊れてないカボチャが正方形に揃うと合体する。<br />
<br />
とりあえず正方形に植えるのがよさそう<br />
<br />
=== Sunflower（ヒマワリ） ===<br />
収穫すると「パワー」を得てドローンが速くなる。<br />
<br />
=== Cuctus（サボテン） ===<br />
0～9 のサイズがランダムで出現する。<br />
<br />
長方形に隣接したサボテンが sorted であれば同時に収穫され、そのサボテン数の2乗に等しいサボテンが獲得できる。<br />
<br />
サイズを取得するmeasure() と、隣接したサボテンを入れ替える swap() が使用できる。<br />
<br />
<br />
隣接した要素を入れ替えることによるソートといえば バブルソート を基本的には利用することになるんだろう。<br />
<br />
さらなる高速化のためには、適宜枝刈りするほか、このゲームでは植え直してしまう手もあるかもしれない<br />
<br />
=== 迷路 ===<br />
<br />
=== 恐竜 ===<br />
<br />
== 要素 ==<br />
<br />
=== 水やり ===<br />
農場の広さとスピードに応じていい感じに使うのがよさそう<br />
<br />
=== 肥料 ===<br />
植物を即座に成長させることができる（2秒短縮）<br />
<br />
副作用があり、収穫の半分が Items.Weird_Substance に変わる。<br />
<br />
このアイテムを使うと、対象と隣接する植物の感染状態を反転させる<br />
<br />
=== 混植 ===<br />
plant_type, (x, y) = get_companion()<br />
<br />
この座標にこの植物があると収量が増えるよ、という情報が得られる<br />
<br />
=== 拡大 ===<br />
広くなる<br />
<br />
=== スピード ===<br />
アンロックと、ヒマワリのパワーでドローンの動きが速くなる。<br />
<br />
むやみに速くすると生育スピードが追いつかずうまく制御できなくなることがあるので注意<br />
<br />
== 恐竜 ==<br />
尻尾を集めるのに最低限必要なことは、<br />
<br />
* （事前に）サボテンを十分な数もっておく<br />
* 農地を耕して何もない状態にする（リンゴが出現できる状態にする）<br />
* 恐竜の帽子をかぶるとリンゴが出現する<br />
* 適当なタイミングで恐竜以外の帽子に変えると尻尾が収穫される<br />
<br />
帽子の着脱だけでも尻尾を集めることはできるようです。<br />
<br />
<br />
効率化のためにはリンゴを集める必要があります。いわゆる「スネークゲーム」をプレイします<br />
<br />
リンゴの回収数に応じて二乗で収穫数が増えるので、わりと真面目にスネークゲームをやるのがよさそうです<br />
<br />
== その他 ==<br />
<br />
=== 帽子 ===<br />
<br />
=== デバッグ ===<br />
print() とブレークポイントが使えます</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E8%BE%B2%E5%AE%B6%E3%81%AF_Replace()_%E3%81%95%E3%82%8C%E3%81%BE%E3%81%97%E3%81%9F&diff=587
農家は Replace() されました
2026-02-09T12:17:33Z
<p>Ptt: </p>
<hr />
<div>Pythonライクなコードで農業を自動化するゲーム。<br />
<br />
面白かったのでメモを残したいと思います<br />
<br />
https://store.steampowered.com/app/2060160/_Replace/?l=japanese<br />
<br />
== 設定 ==<br />
Shift + Tab がデフォルトだとSteamオーバーレイのショートカットになっていて邪魔なので無効化しましょう。<br />
<br />
== ゲームの進め方 ==<br />
いい感じにループを組んで、色々アンロックしていくのが最初の目標になると思います<br />
<br />
究極はゲーム全体を自動化してタイムを競うっぽい<br />
<br />
== 文法 ==<br />
各種機能のアンロックが必要ですが、基本的な文法はほとんどPythonと同じです。<br />
<br />
== 関数 ==<br />
<br />
=== 移動系 ===<br />
<br />
==== move(方角) ====<br />
East, West, North, South が指定できる<br />
<br />
座標はループしていて、端まで行ったら反対側に移動する<br />
<br />
=== 農業系 ===<br />
<br />
==== plant(Entities.xx) ====<br />
指定したエンティティを植える<br />
<br />
多くのエンティティは till() したほうがいい<br />
<br />
==== till() ====<br />
耕す<br />
<br />
==== use_item(Items.xx) ====<br />
水やり、肥料などに使う<br />
<br />
=== getter系 ===<br />
<br />
==== can_harvest() ====<br />
収穫できるかどうか<br />
<br />
==== get_entity_type() ====<br />
エンティティの種類を見る<br />
<br />
何もなかったらNoneを返す<br />
<br />
==== get_ground_type() ====<br />
土の状態を見る<br />
<br />
耕す条件とかで使う<br />
<br />
==== get_time() ====<br />
ゲーム開始からの時間<br />
<br />
===== get_tick_count() =====<br />
実行開始からのtickカウント<br />
<br />
=== sleep系 ===<br />
<br />
==== do_a_flip() ====<br />
ドローンが宙返りをする<br />
<br />
固定で1秒かかる<br />
<br />
==== pet_the_piggy() ====<br />
子ブタをなでます！<br />
<br />
固定で1秒かかる<br />
<br />
== エンティティ ==<br />
植えることができる植物など<br />
<br />
=== Grass（草） ===<br />
<br />
=== Bush（植え付け、茂み） ===<br />
<br />
=== Tree（木） ===<br />
1本あたり5つの木材が手に入る。<br />
<br />
東西南北に隣接した木があると、1つにつき2倍の時間がかかる。（最大16倍）<br />
<br />
=== Carrot（ニンジン） ===<br />
<br />
=== Pumpkin（カボチャ） ===<br />
20%確率で壊れる。<br />
<br />
壊れてないカボチャが正方形に揃うと合体する。<br />
<br />
とりあえず正方形に植えるのがよさそう<br />
<br />
=== Sunflower（ヒマワリ） ===<br />
収穫すると「パワー」を得てドローンが速くなる。<br />
<br />
=== Cuctus（サボテン） ===<br />
<br />
=== 迷路 ===<br />
<br />
=== 恐竜 ===<br />
<br />
== 要素 ==<br />
<br />
=== 水やり ===<br />
農場の広さとスピードに応じていい感じに使うのがよさそう<br />
<br />
=== 肥料 ===<br />
植物を即座に成長させることができる（2秒短縮）<br />
<br />
副作用があり、収穫の半分が Items.Weird_Substance に変わる。<br />
<br />
このアイテムを使うと、対象と隣接する植物の感染状態を反転させる<br />
<br />
=== 混植 ===<br />
plant_type, (x, y) = get_companion()<br />
<br />
この座標にこの植物があると収量が増えるよ、という情報が得られる<br />
<br />
=== 拡大 ===<br />
広くなる<br />
<br />
=== スピード ===<br />
アンロックと、ヒマワリのパワーでドローンの動きが速くなる。<br />
<br />
むやみに速くすると生育スピードが追いつかずうまく制御できなくなることがあるので注意<br />
<br />
== 恐竜 ==<br />
尻尾を集めるのに最低限必要なことは、<br />
<br />
* （事前に）サボテンを十分な数もっておく<br />
* 農地を耕して何もない状態にする（リンゴが出現できる状態にする）<br />
* 恐竜の帽子をかぶるとリンゴが出現する<br />
* 適当なタイミングで恐竜以外の帽子に変えると尻尾が収穫される<br />
<br />
帽子の着脱だけでも尻尾を集めることはできるようです。<br />
<br />
<br />
効率化のためにはリンゴを集める必要があります。いわゆる「スネークゲーム」をプレイします<br />
<br />
リンゴの回収数に応じて二乗で収穫数が増えるので、わりと真面目にスネークゲームをやるのがよさそうです<br />
<br />
== その他 ==<br />
<br />
=== 帽子 ===<br />
<br />
=== デバッグ ===<br />
print() とブレークポイントが使えます</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E8%BE%B2%E5%AE%B6%E3%81%AF_Replace()_%E3%81%95%E3%82%8C%E3%81%BE%E3%81%97%E3%81%9F&diff=586
農家は Replace() されました
2026-02-08T17:02:45Z
<p>Ptt: /* 茂み */</p>
<hr />
<div>Pythonライクなコードで農業を自動化するゲーム。<br />
<br />
面白かったのでメモを残したいと思います<br />
<br />
https://store.steampowered.com/app/2060160/_Replace/?l=japanese<br />
<br />
== 設定 ==<br />
Shift + Tab がデフォルトだとSteamオーバーレイのショートカットになっていて邪魔なので無効化しましょう。<br />
<br />
== ゲームの進め方 ==<br />
いい感じにループを組んで、色々アンロックしていくのが最初の目標になると思います<br />
<br />
== 文法 ==<br />
各種機能のアンロックが必要ですが、基本的な文法はほとんどPythonと同じです。<br />
<br />
== 関数 ==<br />
<br />
=== 移動系 ===<br />
<br />
==== move(方角) ====<br />
East, West, North, South が指定できる<br />
<br />
座標はループしていて、端まで行ったら反対側に移動する<br />
<br />
=== 農業系 ===<br />
<br />
==== plant(Entities.xx) ====<br />
指定したエンティティを植える<br />
<br />
多くのエンティティは till() したほうがいい<br />
<br />
==== till() ====<br />
耕す<br />
<br />
==== use_item(Items.xx) ====<br />
水やり、肥料などに使う<br />
<br />
=== getter系 ===<br />
<br />
==== can_harvest() ====<br />
収穫できるかどうか<br />
<br />
==== get_entity_type() ====<br />
エンティティの種類を見る<br />
<br />
何もなかったらNoneを返す<br />
<br />
==== get_ground_type() ====<br />
土の状態を見る<br />
<br />
耕す条件とかで使う<br />
<br />
==== get_time() ====<br />
ゲーム開始からの時間<br />
<br />
===== get_tick_count() =====<br />
実行開始からのtickカウント<br />
<br />
=== sleep系 ===<br />
<br />
==== do_a_flip() ====<br />
ドローンが宙返りをする<br />
<br />
固定で1秒かかる<br />
<br />
==== pet_the_piggy() ====<br />
子ブタをなでます！<br />
<br />
固定で1秒かかる<br />
<br />
== エンティティ ==<br />
植えることができる植物など<br />
<br />
=== Grass（草） ===<br />
<br />
=== Bush（植え付け、茂み） ===<br />
<br />
=== Tree（木） ===<br />
1本あたり5つの木材が手に入る。<br />
<br />
東西南北に隣接した木があると、1つにつき2倍の時間がかかる。（最大16倍）<br />
<br />
=== Carrot（ニンジン） ===<br />
<br />
=== Pumpkin（カボチャ） ===<br />
20%確率で壊れる。<br />
<br />
壊れてないカボチャが正方形に揃うと合体する。<br />
<br />
とりあえず正方形に植えるのがよさそう<br />
<br />
=== Sunflower（ヒマワリ） ===<br />
収穫すると「パワー」を得てドローンが速くなる。<br />
<br />
=== Cuctus（サボテン） ===<br />
<br />
=== 迷路 ===<br />
<br />
=== 恐竜 ===<br />
<br />
== 要素 ==<br />
<br />
=== 水やり ===<br />
農場の広さとスピードに応じていい感じに使うのがよさそう<br />
<br />
=== 肥料 ===<br />
植物を即座に成長させることができる（2秒短縮）<br />
<br />
副作用があり、収穫の半分が Items.Weird_Substance に変わる。<br />
<br />
このアイテムを使うと、対象と隣接する植物の感染状態を反転させる<br />
<br />
=== 混植 ===<br />
plant_type, (x, y) = get_companion()<br />
<br />
この座標にこの植物があると収量が増えるよ、という情報が得られる<br />
<br />
=== 拡大 ===<br />
広くなる<br />
<br />
=== スピード ===<br />
アンロックと、ヒマワリのパワーでドローンの動きが速くなる。<br />
<br />
むやみに速くすると生育スピードが追いつかずうまく制御できなくなることがあるので注意<br />
<br />
== その他 ==<br />
<br />
=== 帽子 ===<br />
<br />
=== デバッグ ===<br />
print() とブレークポイントが使えます</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E8%BE%B2%E5%AE%B6%E3%81%AF_Replace()_%E3%81%95%E3%82%8C%E3%81%BE%E3%81%97%E3%81%9F&diff=585
農家は Replace() されました
2026-02-08T17:01:06Z
<p>Ptt: /* 関数 */</p>
<hr />
<div>Pythonライクなコードで農業を自動化するゲーム。<br />
<br />
面白かったのでメモを残したいと思います<br />
<br />
https://store.steampowered.com/app/2060160/_Replace/?l=japanese<br />
<br />
== 設定 ==<br />
Shift + Tab がデフォルトだとSteamオーバーレイのショートカットになっていて邪魔なので無効化しましょう。<br />
<br />
== ゲームの進め方 ==<br />
いい感じにループを組んで、色々アンロックしていくのが最初の目標になると思います<br />
<br />
== 文法 ==<br />
各種機能のアンロックが必要ですが、基本的な文法はほとんどPythonと同じです。<br />
<br />
== 関数 ==<br />
<br />
=== 移動系 ===<br />
<br />
==== move(方角) ====<br />
East, West, North, South が指定できる<br />
<br />
座標はループしていて、端まで行ったら反対側に移動する<br />
<br />
=== 農業系 ===<br />
<br />
==== plant(Entities.xx) ====<br />
指定したエンティティを植える<br />
<br />
多くのエンティティは till() したほうがいい<br />
<br />
==== till() ====<br />
耕す<br />
<br />
==== use_item(Items.xx) ====<br />
水やり、肥料などに使う<br />
<br />
=== getter系 ===<br />
<br />
==== can_harvest() ====<br />
収穫できるかどうか<br />
<br />
==== get_entity_type() ====<br />
エンティティの種類を見る<br />
<br />
何もなかったらNoneを返す<br />
<br />
==== get_ground_type() ====<br />
土の状態を見る<br />
<br />
耕す条件とかで使う<br />
<br />
==== get_time() ====<br />
ゲーム開始からの時間<br />
<br />
===== get_tick_count() =====<br />
実行開始からのtickカウント<br />
<br />
=== sleep系 ===<br />
<br />
==== do_a_flip() ====<br />
ドローンが宙返りをする<br />
<br />
固定で1秒かかる<br />
<br />
==== pet_the_piggy() ====<br />
子ブタをなでます！<br />
<br />
固定で1秒かかる<br />
<br />
== エンティティ ==<br />
植えることができる植物など<br />
<br />
=== 草 ===<br />
<br />
=== 茂み ===<br />
<br />
=== 木 ===<br />
1本あたり5つの木材が手に入る。<br />
<br />
東西南北に隣接した木があると、1つにつき2倍の時間がかかる。（最大16倍）<br />
<br />
=== ニンジン ===<br />
<br />
=== カボチャ ===<br />
20%確率で壊れる。<br />
<br />
壊れてないカボチャが正方形に揃うと合体する。<br />
<br />
とりあえず正方形に植えるのがよさそう<br />
<br />
=== ヒマワリ ===<br />
収穫すると「パワー」を得てドローンが速くなる。<br />
<br />
=== サボテン ===<br />
<br />
=== 迷路 ===<br />
<br />
=== 恐竜 ===<br />
<br />
== 要素 ==<br />
<br />
=== 水やり ===<br />
農場の広さとスピードに応じていい感じに使うのがよさそう<br />
<br />
=== 肥料 ===<br />
植物を即座に成長させることができる（2秒短縮）<br />
<br />
副作用があり、収穫の半分が Items.Weird_Substance に変わる。<br />
<br />
このアイテムを使うと、対象と隣接する植物の感染状態を反転させる<br />
<br />
=== 混植 ===<br />
plant_type, (x, y) = get_companion()<br />
<br />
この座標にこの植物があると収量が増えるよ、という情報が得られる<br />
<br />
=== 拡大 ===<br />
広くなる<br />
<br />
=== スピード ===<br />
アンロックと、ヒマワリのパワーでドローンの動きが速くなる。<br />
<br />
むやみに速くすると生育スピードが追いつかずうまく制御できなくなることがあるので注意<br />
<br />
== その他 ==<br />
<br />
=== 帽子 ===<br />
<br />
=== デバッグ ===<br />
print() とブレークポイントが使えます</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E8%BE%B2%E5%AE%B6%E3%81%AF_Replace()_%E3%81%95%E3%82%8C%E3%81%BE%E3%81%97%E3%81%9F&diff=584
農家は Replace() されました
2026-02-08T16:58:27Z
<p>Ptt: ページの作成:「Pythonライクなコードで農業を自動化するゲーム。 面白かったのでメモを残したいと思います https://store.steampowered.com/app/2060160/_Replace/?l=japanese == 設定 == Shift + Tab がデフォルトだとSteamオーバーレイのショートカットになっていて邪魔なので無効化しましょう。 == ゲームの進め方 == いい感じにループを組んで、色々アンロックしていくのが最初の目…」</p>
<hr />
<div>Pythonライクなコードで農業を自動化するゲーム。<br />
<br />
面白かったのでメモを残したいと思います<br />
<br />
https://store.steampowered.com/app/2060160/_Replace/?l=japanese<br />
<br />
== 設定 ==<br />
Shift + Tab がデフォルトだとSteamオーバーレイのショートカットになっていて邪魔なので無効化しましょう。<br />
<br />
== ゲームの進め方 ==<br />
いい感じにループを組んで、色々アンロックしていくのが最初の目標になると思います<br />
<br />
== 文法 ==<br />
各種機能のアンロックが必要ですが、基本的な文法はほとんどPythonと同じです。<br />
<br />
== 関数 ==<br />
<br />
=== 移動系 ===<br />
<br />
==== move(方角) ====<br />
East, West, North, South が指定できる<br />
<br />
座標はループしていて、端まで行ったら反対側に移動する<br />
<br />
=== 農業系 ===<br />
<br />
==== plant(Entities.xx) ====<br />
指定したエンティティを植える<br />
<br />
多くのエンティティは till() したほうがいい<br />
<br />
==== till() ====<br />
耕す<br />
<br />
==== use_item(Items.xx) ====<br />
水やり、肥料などに使う<br />
<br />
=== getter系 ===<br />
<br />
==== can_harvest() ====<br />
収穫できるかどうか<br />
<br />
==== get_entity_type() ====<br />
エンティティの種類を見る<br />
<br />
何もなかったらNoneを返す<br />
<br />
==== get_ground_type() ====<br />
土の状態を見る<br />
<br />
耕す条件とかで使う<br />
<br />
=== 時間系 ===<br />
<br />
==== do_a_flip() ====<br />
ドローンが宙返りをする<br />
<br />
固定で1秒かかる<br />
<br />
==== pet_the_piggy() ====<br />
子ブタをなでます！<br />
<br />
固定で1秒かかる<br />
<br />
== エンティティ ==<br />
植えることができる植物など<br />
<br />
=== 草 ===<br />
<br />
=== 茂み ===<br />
<br />
=== 木 ===<br />
1本あたり5つの木材が手に入る。<br />
<br />
東西南北に隣接した木があると、1つにつき2倍の時間がかかる。（最大16倍）<br />
<br />
=== ニンジン ===<br />
<br />
=== カボチャ ===<br />
20%確率で壊れる。<br />
<br />
壊れてないカボチャが正方形に揃うと合体する。<br />
<br />
とりあえず正方形に植えるのがよさそう<br />
<br />
=== ヒマワリ ===<br />
収穫すると「パワー」を得てドローンが速くなる。<br />
<br />
=== サボテン ===<br />
<br />
=== 迷路 ===<br />
<br />
=== 恐竜 ===<br />
<br />
== 要素 ==<br />
<br />
=== 水やり ===<br />
農場の広さとスピードに応じていい感じに使うのがよさそう<br />
<br />
=== 肥料 ===<br />
植物を即座に成長させることができる（2秒短縮）<br />
<br />
副作用があり、収穫の半分が Items.Weird_Substance に変わる。<br />
<br />
このアイテムを使うと、対象と隣接する植物の感染状態を反転させる<br />
<br />
=== 混植 ===<br />
plant_type, (x, y) = get_companion()<br />
<br />
この座標にこの植物があると収量が増えるよ、という情報が得られる<br />
<br />
=== 拡大 ===<br />
広くなる<br />
<br />
=== スピード ===<br />
アンロックと、ヒマワリのパワーでドローンの動きが速くなる。<br />
<br />
むやみに速くすると生育スピードが追いつかずうまく制御できなくなることがあるので注意<br />
<br />
== その他 ==<br />
<br />
=== 帽子 ===<br />
<br />
=== デバッグ ===<br />
print() とブレークポイントが使えます</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E3%83%AA%E3%83%BC%E3%82%B8%E3%83%A7%E3%83%B3%E3%82%B2%E3%82%B9&diff=583
GeoGuessr/リージョンゲス
2026-02-08T11:13:55Z
<p>Ptt: </p>
<hr />
<div>国の中のどのあたりかを推測することは「リージョンゲス」と呼ばれている。<br />
<br />
内容が増えたら国別のページを作るかも<br />
<br />
== 日本 ==<br />
<br />
== 台湾 ==<br />
<br />
== インドネシア ==<br />
<br />
== フィリピン ==<br />
<br />
== ベトナム ==<br />
<br />
== インド ==<br />
<br />
== フランス ==<br />
<br />
== ロシア ==<br />
<br />
== アルゼンチン ==<br />
<br />
== ブラジル ==<br />
<br />
== アメリカ ==<br />
<br />
== ニュージーランド ==<br />
<br />
== オーストラリア ==</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E3%83%AA%E3%83%BC%E3%82%B8%E3%83%A7%E3%83%B3%E3%82%B2%E3%82%B9&diff=582
GeoGuessr/リージョンゲス
2026-02-08T11:10:53Z
<p>Ptt: 空白のページを作成しました</p>
<hr />
<div></div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E6%AD%A3%E8%A6%8F%E8%A1%A8%E7%8F%BE&diff=581
正規表現
2026-02-06T16:58:32Z
<p>Ptt: 空白のページを作成しました</p>
<hr />
<div></div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E4%BD%99%E5%BC%A6%E5%AE%9A%E7%90%86&diff=580
余弦定理
2026-02-05T15:37:36Z
<p>Ptt: </p>
<hr />
<div>直交座標系で長さがどうなっているかの話をしている<br />
[[カテゴリ:数学]]</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E4%BD%99%E5%BC%A6%E5%AE%9A%E7%90%86&diff=579
余弦定理
2026-02-05T15:37:14Z
<p>Ptt: </p>
<hr />
<div>直交座標系で長さがどうなっているかの話をしている</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E5%BB%BA%E7%AF%89&diff=578
GeoGuessr/建築
2026-02-05T13:25:29Z
<p>Ptt: ページの作成:「== イギリス ==」</p>
<hr />
<div>== イギリス ==</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E9%9B%BB%E6%9F%B1&diff=577
GeoGuessr/電柱
2026-02-05T13:18:15Z
<p>Ptt: /* コロンビア */</p>
<hr />
<div>== メキシコ ==<br />
八角形の電柱をよく見かける。<br />
<br />
== コロンビア ==<br />
メキシコと似た形の八角形の電柱があったが、下の方が黒・黄・黒で塗られている<br />
<br />
https://maps.app.goo.gl/eSqgY7hD5sRoFrKg7<br />
<br />
== トルコ ==<br />
山では金属の、本当にはしごのような形の電柱を見かける。<br />
<br />
都市部では地中化が進んでいるらしい。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E9%9B%BB%E6%9F%B1&diff=576
GeoGuessr/電柱
2026-02-05T13:15:07Z
<p>Ptt: </p>
<hr />
<div>== メキシコ ==<br />
八角形の電柱をよく見かける。<br />
<br />
== コロンビア ==<br />
メキシコと似た形の八角形の電柱があったが、下の方が黒・黄・黒で塗られている<br />
<br />
== トルコ ==<br />
山では金属の、本当にはしごのような形の電柱を見かける。<br />
<br />
都市部では地中化が進んでいるらしい。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=GeoGuessr/%E9%9B%BB%E6%9F%B1&diff=575
GeoGuessr/電柱
2026-02-05T13:10:53Z
<p>Ptt: ページの作成:「== トルコ == 山では金属の、本当にはしごのような形の電柱を見かける。 都市部では地中化が進んでいるらしい。」</p>
<hr />
<div>== トルコ ==<br />
山では金属の、本当にはしごのような形の電柱を見かける。<br />
<br />
都市部では地中化が進んでいるらしい。</div>
Ptt
http://wiki.ptt-lab.com/index.php?title=%E4%BD%99%E5%BC%A6%E5%AE%9A%E7%90%86&diff=574
余弦定理
2026-02-05T11:44:46Z
<p>Ptt: 空白のページを作成しました</p>
<hr />
<div></div>
Ptt