「Portal:コンピュータ」の版間の差分
細 (現在作成中) |
|||
| 75行目: | 75行目: | ||
== 関連リンク == | == 関連リンク == | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
__NOTOC__ | __NOTOC__ | ||
2007年7月8日 (日) 21:55時点における版
ウィキポータル コンピュータは、コンピュータについてのポータルページです。コンピュータに関連した項目を探しやすくし、発展をうながすことを目的として開設、維持されています。各コーナーの説明はこのポータルについてを参照してください。コンピュータ分野の記事についてはCategory:コンピュータも参照してください。
| メニュー： | 告知 - 新着項目 - 主要項目 - 執筆依頼 - 加筆依頼 |
|---|
特集項目[ 編集 ]
計算可能性は計算複雑性の特殊なものともいえるが、ふつう複雑性理論といえば計算可能函数のうち計算資源を制限して解ける問題を対象とするのに対し、計算可能性理論は計算可能函数またはより大きな問題クラスを主に扱う。 計算機科学の中心的課題の1つは、コンピュータを使って解ける問題の範囲を理解することでコンピュータの限界に対処することである。コンピュータは無限の計算能力を持つと思われがちだし、十分な時間さえ与えられればどんな問題も解けると想像することは易しい。しかし、多大な計算資源を与えられたとしても、見たところ単純な問題を解くことでコンピュータの能力の限界を明確に示すことは可能である。 計算可能性理論では、次の質問に答えることでコンピュータの能力を明らかにする。すなわち「ある形式言語と文字列が与えられたとき、その文字列はその形式言語に含まれるか？」である。この質問はやや難解なので、もう少し判り易く例を挙げる。言語として、全ての素数を表す数字列の集合を言語として定義する。入力文字列がその形式言語に含まれるかどうかという質問は、この場合、その数が素数であるかを問うのと同じことである。……もっと読む |
最近の話題・コンピュータ関連のニュース[ 編集 ] 2007年
|
告知[ 編集 ] [ ウォッチ ] |
執筆依頼[ 編集 ] 新規の執筆は1000バイト以上、できれば2000バイト以上を目安にお願いします。
|
加筆依頼[ 編集 ] Category:コンピュータ関連のスタブ項目、Category:インターネット関連のスタブ項目、Category:ソフトウェア関連のスタブについてもそれぞれ参照してください。
|
