Portal:数学
計算可能性理論︵computability theory︶では、チューリングマシンなどの計算模型でいかなる計算問題が解けるか、またより抽象的に、計算可能な問題のクラスがいかなる構造をもっているかを調べる、計算理論や数学の一分野である。計算可能性は計算複雑性の特殊なものともいえるが、ふつう複雑性理論といえば計算可能関数のうち計算資源を制限して解ける問題を対象とするのに対し、計算可能性理論は、計算可能関数またはより大きな問題クラスを主に扱う。計算機科学の中心的課題の1つは、コンピュータを使って解ける問題の範囲を理解することでコンピュータの限界に対処することである。コンピュータは無限の計算能力を持つと思われがちだし、十分な時間さえ与えられればどんな問題も解けると想像することは易しい。しかし、多大な計算資源を与えられたとしても、見たところ単純な問題を解くことでコンピュータの能力の限界を明確に示すことは可能である。
……もっと読む
特集記事一覧
●数学基礎論
●数理論理学 - 集合論
●代数学 - 抽象代数学
●算術 - 数論
●線型代数学
●群論 - 環論 - 体論
●表現論
●圏論・普遍代数学
●幾何学
●初等幾何学: ユークリッド幾何学 / 非ユークリッド幾何学 - 射影幾何学
●代数幾何学: 代数多様体論
●微分幾何学: 可微分多様体論
●位相幾何学: 代数的位相幾何学 / 微分位相幾何学 / 幾何学的位相幾何学
●解析学
●実解析 - 複素解析
●微分積分学 - 関数解析学 - 確率論 - 微分方程式論
●有限数学・離散数学
●グラフ理論
●組合せ論
●数理科学
●計算機科学 - 統計学 - 数値解析
●数理物理学 - 数理生物学 - 数理社会学
●数学教育・数学史
●算数 - 数学 (教科)
●アラビア数学 - インドの数学 - 和算 - 円周率の歴史
一覧記事
●Category:数学 - 数学関連記事の一覧です。
●Category:数学者 - 数学者について。
●Category:数学のノート - 数学関連記事の質問や会話のされるノート。
●Category:整数の類 - さまざまな整数列の一覧。
●数学記号の表 - 記号の一覧です。
●数学定数 - 数学定数の一覧です。
●関数一覧 - 様々な関数の記事への案内です。
●図形の一覧 - 0次元から4次元以上まで、多種多様な図形の一覧です。
●プロジェクト:数学/数学に関するカテゴリ - 数学のカテゴリの一覧です。
正規様相論理 - フォイエルバッハ双曲線 - ジェラベク双曲線 - モンジュの定理 - カルノーの定理 (円錐曲線) - アポロニウス点 - Catalogue of Triangle Cubics - Encyclopedia of Triangle Centers - フールマン三角形 - 極円 (幾何学) - フォンテーネの定理 - ヴァン・ラモン円 - 垂重円 - ソディ円 - ソディ線 - ベクタン点 - プラソロフ点 - 九点円錐曲線 - 三線極線 - テルケムの定理 - グリフィスの定理 - マッケイ三次曲線 - ファン・スコーテンの定理 - キーペルト円錐曲線 - 予想 (数学) - コンウェイ円 - コンウェイの記法 (幾何学) - 外接三角形 - 三次曲線 - 調和共役 (幾何学) - 中心線 (幾何学) - 外周三角形 - 等長共役 - 同境 - チェビアン - 垂足三角形 - ミッテンプンクト - ヴァリニョンの定理 - イギリス国旗の定理 - シュタイナー点 - タリー点 - ブロカール三角形 - パリー点 - ホフスタッター点 - クローソン点 - 単約数 - ベバン点 - ディリクレの畳み込み - フィンスラー・ハドヴィッガーの定理 - ボッテマの定理 - シュピーカー点 - エクセター点 - 戸田の定理 - ヤコビの定理 (幾何学) - フールマン円 - 等力点 - ノイベルグ三次曲線 - グルシコフ法 - 頂点 (曲線) - リベットの定理 - 角の二等分線の定理 - イヴォ・バフスカ - 松本幸夫 - カタランの定数 - 蘇歩青 - 陳建功 - 滑りとねじれのない転がし - 6の平方根 - 崔允植 - 漸化式による積分 - カルタン幾何学 - ウジェーヌ・シャルル・カタラン - 小数部分 - 双曲型トーラス自己同型写像 - 南極定理 - 対頂角 - ダルブー導関数 - 空虚な真 - ツェルメロ集合論 - 極小曲面 - 接続 (ベクトル束) - 部分リーマン多様体の接続と曲率 - 接続 (ファイバー束) - ジョゼフ・L・ドゥーブ - 多重比較問題 - 再生核ヒルベルト空間 - マッキーン・ウラソフ過程 - 平均場ゲーム理論 - 三角形の決定 - レイリー・リッツ法 - 部分集合構成法 - 計算論的哲学 - ユークリッド位相 - ウリゾーン空間と完全ハウスドルフ空間 - ストリッカーツ評価 - 定義可能集合 - 初等同値性 - 直観でわかる数学 - 絶対性 (数理論理学) - 解析的階層 - 実効記述集合論 - 贋金と天秤 - パリティ関数 - ボレル階層 - 3Blue1Brown - 代替集合論 - スミルノフ高等数学教程 - 飽和集合 - オクタント - エルゴード性 - スコットのトリック - 累積的階層 - ピアス・バーコフの予想 - 半代数集合 - パドヴァン数列 - 現代数学の系譜 - ユークリッド・オイラーの定理 - 非有基的集合論 - 離散幾何学 - 原始ピタゴラス数 - ミルズの定数 - リーマンゼータ関数の特殊値 - モーデル曲線 - ハウスホルダー作用素 - ドッティ数 - TPTP - エリオット・H・リーブ - 乱数生成 - 無限角形 - イェッセンの二十面体 - 余接定理 - 半角正接置換 - ディリクレベータ関数 - 黒田成俊 - ヤコビの公式 - 直角凧形 - 円に外接する台形 - 岡本久 - 楠岡成雄 - 高崎金久 - 大島利雄 - 円周率の近似 - 永島孝 - 紀晃子 - ウルフラム・コード - ループのアイソトピー - ディオクレス (数学者) - フィンスラー多様体 - ムーファン・ループ - バウムクーヘン積分 - 商 (数学) - 解析学賞 - 日本数学会出版賞 - 建部賢弘賞 - 準群 - 剰余 - p進周期環 - 拡散モデル - 単純多角形 - 識別的モデル - 生成的モデル - 二変数関数 - 完全平方式 - 従属選択公理 - スタンレー・スキューズ - ソロヴェイモデル - 局所回帰 - 完全集合 - スミス–ヴォルテラ–カントール集合 - Perfect set property - トリガー戦略 - 保存拡大 - 痩集合 - ベイスンホッピング法 - 関口開 - 放物線の求積 - 岩田好算 - 分出公理 - エルデシュ=シュトラウス予想 - ミルズ比 - ベイズ探索理論 - 場合の数 - 持続可能性に寄与するキラルノット超物質拠点 - 7の平方根 - Van Emde Boas木 - サレム数 - 反復対数 - グラフダイナミカルシステム 以下の記事の加筆が依頼されています(括弧内は加筆の参考となりそうな情報、特に翻訳による加筆の見込める他言語版項目)。執筆の方針などはプロジェクト:数学をご覧ください。 短い記事(3000バイト未満)依頼する理由があるならば提示してください(他言語版と同等程度の内容にしたいという場合、言語間リンクを添えるのが最も手っ取り早いでしょう。逆に、言語間リンクがあってもリンク先が短く、すでに同等内容である場合は依頼事由となり得ません)。特に付記の無い場合は(短いことが依頼事由と見なし)ファイルサイズ3kを超えていればリストから機械的に除去できるものとします(ただし、除去した項目の再依頼を妨げるものではありません)。わざわざ短い記事を自ら作ってリストするような行為はお控えください(どうしてもという場合はきちんと理由を付けてPortal:数学/修正依頼へ出してください)。
普通の記事(3000バイト以上10000バイト未満)できればリストする理由を明らかにしてください。依頼理由が解消されたと思われる場合はリストから取り除くことができます。なお理由の提示なくリストすることはできますが、ある程度の期間を経て特に理由の提示の無いものは、加筆改善が認められない場合でもリストから取り除くことができるものとします。
まずまず長い記事(10000バイト以上30000バイト未満)ここにリストする場合は、特にノート等において加筆すべき点や加筆を求める理由等を述べてください。理由の提示なき場合はリストから除去されるでしょう。なお問題点があると考えられる場合には、ここではなくwikipedia:修正依頼(or Portal:数学/修正依頼)のほうが適切でないか検討してください。
人物
その他
コメント
以下の記事の執筆が依頼されています。執筆の方針などはプロジェクト:数学をご覧ください。翻訳の際は、Wikipedia:翻訳のガイドラインもご覧ください。 数学基礎論・数理論理学数論初等数論
代数学線型代数学抽象代数学群論環論・多元環論その他
圏論位相群・リー群・リー環・表現論幾何学初等幾何学
多様体・微分幾何学
代数幾何学
位相幾何学・位相空間論その他解析学初等解析・微分積分学
複素解析その他確率論離散数学グラフ理論
組合せ論予想
数理科学計算機科学
統計学
統計検定分散分析その他その他その他数学の概念人物
日本語名不明その他コメント
修正が必要と思われる項目です(短い理由を以下に付記することができます)。ぜひ修正してください。 内容が冗長可読性に乏しい中立性に疑問翻訳に問題散文・随筆的その他
関連ウィキメディア 説明書
このページを編集したいと思う方へ。このポータルへの参加を歓迎します。ご要望、ご提案はPortal‐ノート:数学へ。
●なにかいいアイディアがあったら、それを使ってポータルを改良してください。
●このページはいわば入り口となるページで、数学のテーマについてウィキペディアからの﹁お勧め﹂を一瞥させ、このテーマへの入門的導入を与えるためのものです。このページの内容はしたがって、極めて原則的で基本的なものに限られなくてはなりません。したがって索引も組織的構成も、特別な理由がない限り、大幅な変更を加えるべきではありません。
●このテーマに関してなにか新しい記事を書いたら、またはリダイレクトの記事に内容を加えたら、このページの﹁新着項目﹂に付け加えてください。
●お知らせ: 新しい話題を書きます。秀逸な記事、良質な記事、その他おすすめ記事への推薦、大幅加筆︵目安としては、5000バイト未満の記事なら2倍以上かつ3000バイト以上の加筆、5000バイト以上の記事なら10000バイト以上の加筆、連続投稿による加筆であっても構わない︶などの報告をしてください。推薦のお知らせは、推薦がなされて、結論が出てから2週間、大幅加筆のお知らせは加筆から(連続投稿の場合最後の投稿から)1週間を目処に除去してください。
●おすすめ項目: 秀逸な記事、良質な記事である記事をここに載せてください。
●特集記事: 不定期更新。﹁おすすめ項目﹂からランダムに記事を紹介します。
●知っていますか: 数学に関する豆知識、小ネタなどを数文で紹介します。現在13個あります。追加は自由です。15個を目指して追加してください。
●抜粋画像: 数学の画像で良いものを数文の説明とともに紹介します。静止画、動画、問いません。現在9個あります。追加は自由です。まずは10個目指して追加してください。
●分野: 分野を載せています。数学のカテゴリはまだ発展途上ですので、はっきりとした位置づけは決まっていません。
●新着項目: 数学関連の新着記事があったときに更新します。リダイレクトを消去し加筆した場合も追加してください。自分で投稿した場合や見落としがあった場合はどうぞご自由に追加してください。ここに掲載するかどうかは、各一覧を見て載せるのが適切か否かを判断して下さい。追加時に各一覧になければ、各一覧にも追加してください。2ヶ月で除去します。
●依頼: 今のところ加筆、執筆、修正依頼がありますので、適宜に依頼したいものの追加、済んだものの除去をしてください。
キャッシュをクリアする←ページ変更が反映されない場合、クリック。
|