Pythonのお勉強 Part76

2025/12/12(金) 19:57:27.83

「無限ループは論理エラーである」と、その短文のまま書いてあるとしたら酷い教科書と言わざるを得ないだろうけど、実物はどうなのかね

2025/12/12(金) 20:09:24.48

停止性問題は決定不能だよ

2025/12/12(金) 21:22:39.79

むしろ実行時にわかるか？
厳密に見てだぞ

2025/12/13(土) 02:59:33.12

実行時の無限ループは大地震でHDDが壊れてドライバから応答がなくなったとかの外部要因のやつ

2025/12/13(土) 15:33:26.36

>>158
(有限時間内に停止することが求められるプログラムにおいて)時間内に終わらないループは無限ループでなくても論理エラーである
>>159
「脱出(あるいは終了)条件をプログラム中に描いてあるのにその条件が絶対満たされないとしたら」っていう条件を飛ばしてる可能性があるな
>>161
実行前に判るんじゃね

2025/12/13(土) 15:38:14.10

マジかよチューリングマシン作って確かめる

2025/12/13(土) 15:42:28.50

ヒューマンエラーだよ

2025/12/13(土) 15:54:20.04

「時計」とか無限ループ

2025/12/13(土) 17:02:52.99

高校情報I Python 萩谷昌己

という教科書のPythonの部分を読んでいますが、説明がひどすぎます。
絶対に予備知識がないと分からないような説明をしています。

2025/12/13(土) 17:09:44.44

Common Lispの本を読んだな
妙に面白かった記憶がある

2025/12/13(土) 17:38:10.10

関数についての説明を見ると、関数の例題プログラムを一つも見せていない段階でグローバル変数とローカル変数について説明しています。
理解できるようには書かれていません。

2025/12/13(土) 17:45:47.55

探索のところを見ると、

「線形探索では、最小探索回数は1回、最大探索回数はｎ回、したがって平均探索回数は(n+1)/2回になる。」

と書いてあります。

(1 + … + n) / n = (n+1)/2回と計算するべきですよね。

2025/12/13(土) 18:04:41.17

サイコロの目の平均はと聞かれて、
1と6足して割ればええやろ、と思うけどな

2025/12/14(日) 10:21:43.09

>絶対に予備知識がないと分からないような説明
そりゃ入門書じゃなくて前提の上で説明してる本ならそうだろ

2025/12/14(日) 10:23:56.15

>>170
なんのために平均って描いてあるんだ

2025/12/14(日) 10:33:32.14

>>172
高校の教科書なので予備知識はゼロということになります。

2025/12/14(日) 10:41:42.80

その教科書は知らないけれど、Pytnonの場合、公式のリファレンスやチュートリアルが充実しているから、そちらを読んで、わからない点があったら教員に聞くというだけで十分じゃないかなぁ。

2025/12/14(日) 11:33:13.72

>>170
「平均探索回数」って目的のデータが必ずデータ群の中に存在する場合だけの探索回数の期待値ってことでいいの？

現実ではそんな前提が成り立つ状況の方が少ないので単純にO(n)と捉えたほうがいいんじゃねって気がするんだが

2025/12/14(日) 22:42:50.00

While(true)
が停止しないこと証明したからチューリング賞くれや

2025/12/15(月) 00:05:13.88

>>170
同じじゃん