Results of 1 - 10 of about 40 for 不変 (0.010 sec.)
- 関数型プログラミング HOWTO — Python 3.14.8 ドキュメント 13449
- ナビゲーション 索引 モジュール | 次へ | 前へ | Python » 3.14.8 Documentation » Python HOWTO » 関数型プログラミング HOWTO テーマ 自動 ライト ダーク | 関数型プログラミング HOWTO ¶ Author : A. M. Kuchling Release : 0.32 この文書では、関数型スタ
...現しうる入力すべてに対してプログラムが正しい結果を出すことの厳密な証明なのです。 プログラムを証明するために使われているのは 不変式 を書き出していくというテクニックで、不変式とは入力データやプログラム変数のうち常に真である性質のことです。コードの一行一行...で、 実行前 の不変式 X と Y が真なら 実行後に ちょっと違う不変式 X' と Y' が真になることを示していき、これをプログラムの終わりまで続けるわけで...す。すると最終的な不変式はプログラムの出力に合った条件になっているはずです。 関数型プログラミングが代入を嫌うのは、この不変式テクニックでは代入を扱... - https://man.mtool.work/python/3.14/howto/functional.html
- 関数型プログラミング HOWTO — Python 3.14.8 ドキュメント 13449
- ナビゲーション 索引 モジュール | 次へ | 前へ | Python » 3.14.8 Documentation » Python HOWTO » 関数型プログラミング HOWTO テーマ 自動 ライト ダーク | 関数型プログラミング HOWTO ¶ Author : A. M. Kuchling Release : 0.32 この文書では、関数型スタ
...現しうる入力すべてに対してプログラムが正しい結果を出すことの厳密な証明なのです。 プログラムを証明するために使われているのは 不変式 を書き出していくというテクニックで、不変式とは入力データやプログラム変数のうち常に真である性質のことです。コードの一行一行...で、 実行前 の不変式 X と Y が真なら 実行後に ちょっと違う不変式 X' と Y' が真になることを示していき、これをプログラムの終わりまで続けるわけで...す。すると最終的な不変式はプログラムの出力に合った条件になっているはずです。 関数型プログラミングが代入を嫌うのは、この不変式テクニックでは代入を扱... - https://man.mtool.work/python/3.14/howto/functional.html
- heapq --- ヒープキューアルゴリズム — Python 3.14.8 ドキュメント 10047
- ナビゲーション 索引 モジュール | 次へ | 前へ | Python » 3.14.8 Documentation » The Python standard library » データ型 » heapq --- ヒープキューアルゴリズム テーマ 自動 ライト ダーク | heapq --- ヒープキューアルゴリズム ¶ ソースコード: Lib/he
...。タスクを探すことは、キュー内の項目を指し示す辞書によってなされます。 項目を削除したり、優先度を変更することは、ヒープ構造の不変関係を壊すことになるので、もっと難しいです。ですから、可能な解決策は、その項目が無効であるものとしてマークし、必要なら変更さ...ルとその下位にある二つのセルは異なる三つの要素を含み、かつ上位のセルは二つの下位のセルに対して "勝者と" なります。 このヒープ不変式が常に守られれば、インデックス 0 は明らかに最勝者となります。最勝者の要素を除去し、"次の" 勝者を見つけるための最も単純なア...では上図のセル 30 とします) を 0 の場所に持っていき、この新しい 0 を濾過するようにしてツリーを下らせて値を交換してゆきます。不変関係が再構築されるまでこれを続けます。この操作は明らかに、ツリー内の全ての要素数に対して対数的な計算量となります。全ての要素... - https://man.mtool.work/python/3.14/library/heapq.html
- heapq --- ヒープキューアルゴリズム — Python 3.14.8 ドキュメント 10047
- ナビゲーション 索引 モジュール | 次へ | 前へ | Python » 3.14.8 Documentation » The Python standard library » データ型 » heapq --- ヒープキューアルゴリズム テーマ 自動 ライト ダーク | heapq --- ヒープキューアルゴリズム ¶ ソースコード: Lib/he
...。タスクを探すことは、キュー内の項目を指し示す辞書によってなされます。 項目を削除したり、優先度を変更することは、ヒープ構造の不変関係を壊すことになるので、もっと難しいです。ですから、可能な解決策は、その項目が無効であるものとしてマークし、必要なら変更さ...ルとその下位にある二つのセルは異なる三つの要素を含み、かつ上位のセルは二つの下位のセルに対して "勝者と" なります。 このヒープ不変式が常に守られれば、インデックス 0 は明らかに最勝者となります。最勝者の要素を除去し、"次の" 勝者を見つけるための最も単純なア...では上図のセル 30 とします) を 0 の場所に持っていき、この新しい 0 を濾過するようにしてツリーを下らせて値を交換してゆきます。不変関係が再構築されるまでこれを続けます。この操作は明らかに、ツリー内の全ての要素数に対して対数的な計算量となります。全ての要素... - https://man.mtool.work/python/3.14/library/heapq.html
- プログラミング FAQ — Python 3.14.8 ドキュメント 8784
- ナビゲーション 索引 モジュール | 次へ | 前へ | Python » 3.14.8 Documentation » Python よくある質問 » プログラミング FAQ テーマ 自動 ライト ダーク | プログラミング FAQ ¶ 一般的な質問 ¶ ブレークポイントやステップ実行ができる、ソースコードレベ
...前であっても変更された値 [10] にアクセスします。 代わりに x にイミュータブルを代入すると: >>> x = 5 # int はイミュータブル（不変） >>> y = x >>> x = x + 1 # 5 は変更不可。 ここでは新しいオブジェクトを作っている >>> x 6 >>> y 5 この場合ご覧の通り x と y...+= ['item'] は例外を送出するのですか? ¶ これは、累算代入演算子は 代入 演算子だ、という事実と、Python での可変オブジェクトと不変オブジェクトの違いが組み合わさって起きるのです。 この議論は一般的に、可変オブジェクトを指すタプルの要素に、累算代入演算子が適...[ 0 ] = result Traceback (most recent call last): ... TypeError : 'tuple' object does not support item assignment タプルは不変なので、例外を生み出しているのは操作の代入部分なのです。 次のように書いたとします: >>> a_tuple = ([ 'foo' ], 'bar' ) >>> a_t... - https://man.mtool.work/python/3.14/faq/programming.html
- プログラミング FAQ — Python 3.14.8 ドキュメント 8784
- ナビゲーション 索引 モジュール | 次へ | 前へ | Python » 3.14.8 Documentation » Python よくある質問 » プログラミング FAQ テーマ 自動 ライト ダーク | プログラミング FAQ ¶ 一般的な質問 ¶ ブレークポイントやステップ実行ができる、ソースコードレベ
...前であっても変更された値 [10] にアクセスします。 代わりに x にイミュータブルを代入すると: >>> x = 5 # int はイミュータブル（不変） >>> y = x >>> x = x + 1 # 5 は変更不可。 ここでは新しいオブジェクトを作っている >>> x 6 >>> y 5 この場合ご覧の通り x と y...+= ['item'] は例外を送出するのですか? ¶ これは、累算代入演算子は 代入 演算子だ、という事実と、Python での可変オブジェクトと不変オブジェクトの違いが組み合わさって起きるのです。 この議論は一般的に、可変オブジェクトを指すタプルの要素に、累算代入演算子が適...[ 0 ] = result Traceback (most recent call last): ... TypeError : 'tuple' object does not support item assignment タプルは不変なので、例外を生み出しているのは操作の代入部分なのです。 次のように書いたとします: >>> a_tuple = ([ 'foo' ], 'bar' ) >>> a_t... - https://man.mtool.work/python/3.14/faq/programming.html
- 3. データモデル — Python 3.14.8 ドキュメント 8362
- ナビゲーション 索引 モジュール | 次へ | 前へ | Python » 3.14.8 Documentation » Python 言語リファレンス » 3. データモデル テーマ 自動 ライト ダーク | 3. データモデル ¶ 3.1. オブジェクト、値、および型 ¶ Objects are Python's abstraction for da
...は変更不能な bytes オブジェクトと同じインターフェースと機能を提供します。 3.2.6. 集合型 ¶ 集合型は、順序のない、ユニークで不変なオブジェクトの有限集合を表現します。そのため、(配列の)添字を使ったインデックスアクセスはできません。ただし、イテレートは可...な集合型です。組み込みの set() コンストラクタで作成され、後から add() などのいくつかのメソッドで更新できます。 Frozen set 型 不変な集合型です。組み込みの frozenset() コンストラクタによって作成されます。 frozenset は不変で ハッシュ可能 なので、別の集合型...てオブジェクトの同一性でなく値で比較されるその他の変更可能な型です。 これは、辞書型を効率的に実装する上で、キーのハッシュ値が不変である必要があるためです。 数値型をキーに使う場合、キー値は通常の数値比較における規則に従います: 二つの値が等しくなる場合 (例... - https://man.mtool.work/python/3.14/reference/datamodel.html
- 3. 形式ばらない Python の紹介 — Python 3.14.8 ドキュメント 8362
- ナビゲーション 索引 モジュール | 次へ | 前へ | Python » 3.14.8 Documentation » Python チュートリアル » 3. 形式ばらない Python の紹介 テーマ 自動 ライト ダーク | 3. 形式ばらない Python の紹介 ¶ 以下のサンプルでは、入力と出力はプロンプト ( >>
...ときは、上手く対応して扱ってくれます: >>> word [ 4 : 42 ] 'on' >>> word [ 42 :] '' Python の文字列は変更できません -- つまり 不変 です。従って、文字列のインデックスで指定したある場所に代入を行うとエラーが発生します: >>> word [ 0 ] = 'J' Traceback (most...トは、リストの連結などもサポートしています: >>> squares + [ 36 , 49 , 64 , 81 , 100 ] [1, 4, 9, 16, 25, 36, 49, 64, 81, 100] 不変 な文字列とは違って、リストは 可変 型ですので、要素を入れ替えられます: >>> cubes = [ 1 , 8 , 27 , 65 , 125 ] # 何かがおかし... - https://man.mtool.work/python/3.14/tutorial/introduction.html
- 3. データモデル — Python 3.14.8 ドキュメント 8362
- ナビゲーション 索引 モジュール | 次へ | 前へ | Python » 3.14.8 Documentation » Python 言語リファレンス » 3. データモデル テーマ 自動 ライト ダーク | 3. データモデル ¶ 3.1. オブジェクト、値、および型 ¶ Objects are Python's abstraction for da
...は変更不能な bytes オブジェクトと同じインターフェースと機能を提供します。 3.2.6. 集合型 ¶ 集合型は、順序のない、ユニークで不変なオブジェクトの有限集合を表現します。そのため、(配列の)添字を使ったインデックスアクセスはできません。ただし、イテレートは可...な集合型です。組み込みの set() コンストラクタで作成され、後から add() などのいくつかのメソッドで更新できます。 Frozen set 型 不変な集合型です。組み込みの frozenset() コンストラクタによって作成されます。 frozenset は不変で ハッシュ可能 なので、別の集合型...てオブジェクトの同一性でなく値で比較されるその他の変更可能な型です。 これは、辞書型を効率的に実装する上で、キーのハッシュ値が不変である必要があるためです。 数値型をキーに使う場合、キー値は通常の数値比較における規則に従います: 二つの値が等しくなる場合 (例... - https://man.mtool.work/python/3.14/reference/datamodel.html
- 3. 形式ばらない Python の紹介 — Python 3.14.8 ドキュメント 8362
- ナビゲーション 索引 モジュール | 次へ | 前へ | Python » 3.14.8 Documentation » Python チュートリアル » 3. 形式ばらない Python の紹介 テーマ 自動 ライト ダーク | 3. 形式ばらない Python の紹介 ¶ 以下のサンプルでは、入力と出力はプロンプト ( >>
...ときは、上手く対応して扱ってくれます: >>> word [ 4 : 42 ] 'on' >>> word [ 42 :] '' Python の文字列は変更できません -- つまり 不変 です。従って、文字列のインデックスで指定したある場所に代入を行うとエラーが発生します: >>> word [ 0 ] = 'J' Traceback (most...トは、リストの連結などもサポートしています: >>> squares + [ 36 , 49 , 64 , 81 , 100 ] [1, 4, 9, 16, 25, 36, 49, 64, 81, 100] 不変 な文字列とは違って、リストは 可変 型ですので、要素を入れ替えられます: >>> cubes = [ 1 , 8 , 27 , 65 , 125 ] # 何かがおかし... - https://man.mtool.work/python/3.14/tutorial/introduction.html