LQVXの投稿記録

2007年4月11日 (水)

• 00:312007年4月11日 (水) 00:31 差分 履歴 +996 ノート:計算複雑性理論 →用語の統一について

2007年4月10日 (火)

• 23:202007年4月10日 (火) 23:20 差分 履歴 0 m ノート:計算複雑性理論 →用語の統一について
• 23:042007年4月10日 (火) 23:04 差分 履歴 +331 ノート:計算複雑性理論 →用語の統一について

2007年4月8日 (日)

• 17:102007年4月8日 (日) 17:10 差分 履歴 +39 m ノート:計算複雑性理論 →用語の統一について
• 17:082007年4月8日 (日) 17:08 差分 履歴 +152 ノート:計算複雑性理論 →複雑性クラス名について
• 17:072007年4月8日 (日) 17:07 差分 履歴 +645 ノート:計算複雑性理論 →用語の統一について

2007年3月28日 (水)

• 01:062007年3月28日 (水) 01:06 差分 履歴 +209 m ノート:計算複雑性理論 →用語の統一について
• 00:532007年3月28日 (水) 00:53 差分 履歴 +2,020 ノート:計算複雑性理論 →用語の統一について

2006年12月20日 (水)

• 04:222006年12月20日 (水) 04:22 差分 履歴 +8 m プログラム (コンピュータ) 段落分けの整理
• 04:192006年12月20日 (水) 04:19 差分 履歴 −389 m プログラム (コンピュータ) 冗長な表現などを整理

2006年12月2日 (土)

• 21:362006年12月2日 (土) 21:36 差分 履歴 −162 m アルゴリズム解析 綴りなど細部修正 -- 確かに複雑性理論の範囲をどうするかは微妙な判断ですね。個々の算法の解析を複雑性理論の一部と呼ぶかどうか。
• 20:512006年12月2日 (土) 20:51 差分 履歴 −506 m アルゴリズム 冗長な表現などを整理
• 20:212006年12月2日 (土) 20:21 差分 履歴 +262 m チューリングマシン 節見出しの移動
• 19:572006年12月2日 (土) 19:57 差分 履歴 +159 m 決定問題 整理、リンク附加

2006年11月30日 (木)

• 03:012006年11月30日 (木) 03:01 差分 履歴 −385 m チューリングマシン 文章の整理
• 02:302006年11月30日 (木) 02:30 差分 履歴 −32 m チューリングマシンの停止問題 文章の整理
• 02:192006年11月30日 (木) 02:19 差分 履歴 −598 チューリングマシンの停止問題 誤りと思われる段落を削除
• 01:452006年11月30日 (木) 01:45 差分 履歴 +41 N 算譜言語 プログラミング言語へのリダイレクト 最新
• 01:422006年11月30日 (木) 01:42 差分 履歴 −1,254 チューリング完全 停止問題に関する誤りと思われる記述を削除

2006年11月27日 (月)

• 00:052006年11月27日 (月) 00:05 差分 履歴 −28 m 計算理論 編集の要約なし

2006年11月26日 (日)

• 23:532006年11月26日 (日) 23:53 差分 履歴 +19 m 加速定理 リンク修正
• 23:502006年11月26日 (日) 23:50 差分 履歴 −62 m 加速定理 計算可能性→複雑性
• 23:182006年11月26日 (日) 23:18 差分 履歴 +378 m 計算可能性理論 細部の整理：加速定理へのリンクを複雑性理論へ移動 etc.
• 23:102006年11月26日 (日) 23:10 差分 履歴 +19 m 計算複雑性理論 編集の要約なし
• 22:492006年11月26日 (日) 22:49 差分 履歴 −492 m 計算理論 編集の要約なし
• 22:462006年11月26日 (日) 22:46 差分 履歴 +38 N 算譜意味論 プログラム意味論へのリダイレクト 最新
• 22:332006年11月26日 (日) 22:33 差分 履歴 0 m チューリングマシン 編集の要約なし
• 22:072006年11月26日 (日) 22:07 差分 履歴 +699 N 計算モデル 新しいページ: ''''計算模型'''（''model of computation''）とは、人工的な計算機を含め、計算・推論・証明といった行為を理論的・抽象的に考察する...'
• 20:502006年11月26日 (日) 20:50 差分 履歴 +5,590 チューリングマシン 形式的定義を新設

2006年11月21日 (火)

• 18:432006年11月21日 (火) 18:43 差分 履歴 +175 m 計算複雑性理論 クラス名を太字に→ノート
• 18:332006年11月21日 (火) 18:33 差分 履歴 +665 ノート:計算複雑性理論 編集の要約なし
• 02:502006年11月21日 (火) 02:50 差分 履歴 −129 m 計算複雑性理論 編集の要約なし
• 01:512006年11月21日 (火) 01:51 差分 履歴 −888 m P (計算複雑性理論) 同内容反復や言いまわしを整理

2006年11月19日 (日)

• 23:102006年11月19日 (日) 23:10 差分 履歴 +57 m ノート:計算複雑性理論 編集の要約なし
• 08:162006年11月19日 (日) 08:16 差分 履歴 +14 利用者:LQVX 編集の要約なし 最新
• 08:132006年11月19日 (日) 08:13 差分 履歴 0 m ノート:計算複雑性理論 編集の要約なし
• 08:132006年11月19日 (日) 08:13 差分 履歴 +740 ノート:計算複雑性理論 編集の要約なし

2006年11月4日 (土)

• 02:492006年11月4日 (土) 02:49 差分 履歴 +22 m Category:計算複雑性理論 編集の要約なし

2006年11月2日 (木)

• 04:392006年11月2日 (木) 04:39 差分 履歴 +307 Nm Category:計算複雑性理論 編集の要約なし
• 03:322006年11月2日 (木) 03:32 差分 履歴 −329 m 計算複雑性理論 重複した記述などを整理
• 03:242006年11月2日 (木) 03:24 差分 履歴 +6 m 多項式時間変換 編集の要約なし
• 03:222006年11月2日 (木) 03:22 差分 履歴 0 m 多項式時間変換 編集の要約なし
• 02:162006年11月2日 (木) 02:16 差分 履歴 −53 m NP完全問題 編集の要約なし
• 02:012006年11月2日 (木) 02:01 差分 履歴 +41 N BPP (計算量理論) ページ BPP (計算量理論) を BPP (計算複雑性理論) へ移動: 項目「計算量理論」が「計算複雑性理論」に統合されたのに合わせて 最新
• 02:012006年11月2日 (木) 02:01 差分 履歴 0 m BPP (計算複雑性理論) ページ BPP (計算量理論) を BPP (計算複雑性理論) へ移動: 項目「計算量理論」が「計算複雑性理論」に統合されたのに合わせて
• 02:002006年11月2日 (木) 02:00 差分 履歴 −4 m BPP (計算複雑性理論) 編集の要約なし
• 01:522006年11月2日 (木) 01:52 差分 履歴 −348 m 計算機科学の未解決問題 編集の要約なし
• 01:462006年11月2日 (木) 01:46 差分 履歴 +3 m 決定問題 編集の要約なし
• 01:422006年11月2日 (木) 01:42 差分 履歴 −365 m P≠NP予想 編集の要約なし
• 01:362006年11月2日 (木) 01:36 差分 履歴 +6 m P 編集の要約なし