Portal:数学
お知らせ
- 数学史、セル・オートマトン、計算可能性理論、ゼロ除算、ジョゼフ・フーリエが良質な記事に選ばれました。皆様の編集ありがとうございます。これからも、いい記事にしていきましょう。
- 数学者の一覧は時代や地域別のカテゴリで代用することになりました。数学者記事への時代順カテゴリ（Category:20世紀の数学者など）の添付にご協力をお願いします。ソートキーは生年月日を元にしたものになります。詳しくは各カテゴリページの説明やノート:数学者の一覧を見てください。
- ノート:数学に関する記事の一覧で、数学項目における一覧・ポータル・カテゴリそれぞれの意義・編成・役割分担などに関する議論があります。
- 新着項目のピックアップなどポータルのメンテナンスをしていただける方、数学に関する項目の一覧の整備をしていただける方、随時募集しています。多少適当でも構いません、気の向いた時に是非。
特集項目ラムダ計算（lambda calculus）は、理論計算機科学や数理論理学における、関数の定義と実行を抽象化した計算体系である。ラムダ算法とも言う。 関数を文字ラムダ (λ) を使った式によって表記する。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。 ……もっと読む おすすめ項目 |
分野一覧記事
|
新着項目
非線型性 - 対角線共通部分 - フォドアの補題 - ダイヤモンド原理 - 定常集合 - Club集合 - ノイマン級数 - 連鎖律 - 秋季賞 - 代数的位相幾何学 - ベルヌーイの不等式 - 和集合の公理 - 可算鎖条件 - 対の公理 - ピエール・ヴァンツェル - 立方体倍積問題 - 今野紀雄 - 中川健治 - 伊藤栄明 - ピエール＝フランソワ・フェルフルスト - 神保雅一 - ボックス＝ミュラー法 - ベール関数 - 遷移行列 - ルベーグ＝スティルチェス積分 - リーマン＝スティルチェス積分 - 有限演算 - ボホナー積分 - ランチョス法 - 拡散数 - フェイェール核 - 岡部靖憲 - モーメント (確率論) - ラドン測度 - 線型汎函数 - ダニエル積分 - 凸解析 - ヘンストック＝クルツヴァイル積分 - 逆べき乗法 - べき乗法 - アダプティブ有限要素法 - 二重指数関数型数値積分公式 - スメイルの問題 - 多重積分 - 逐次積分 - オットー・ヘルダー - 予測子修正子法 - リーマン積分 - Template:素数 - ブール代数に関するストーンの表現定理 - アルキメデスの牛の問題 - 重み付き残差法 - 数学的対象 - ハートマン＝グロブマンの定理 - 尖点表現 - スツルムの定理 - 数学における統一理論 - 弧長 - リンデレフ空間 - 清水邦夫 (数学者) - 位相の特徴付け - 二五進法 - 閉包 (位相空間論) - 空間 (数学)
修正依頼
- デデキント環 - 分岐点 (数学) - 伊藤の補題 - Category:図形数の項目
加筆依頼
- モンスター群 - 変曲点 - スプライン曲線 - 外測度 - サドルノード分岐 - ハウスホルダー変換 - 局所環付き空間 - 内挿 - アッカーマン関数 - 位相同型 - 動く特異点 - エディントンのイプシロン - オイラー数 - オイラー路 - 計算 - 整関数 - 超立方体 - フックス型微分方程式 - 無限小 - 三角行列 - 開集合 - 閉集合 - ガウスの微分方程式 - 垂直 - 算術 - 特異点 - 対称差 - 投影図 - 多重対数関数 - 有理関数 - ホップの拡張定理 - ヤングの不等式 - ボルツァーノ＝ワイエルシュトラスの定理 - 部分積分
- トーマス・ベイズ - アレクサンドル・リャプノフ - エミール・ボレル - エドゥアルト・ハイネ - スティーブン・ウルフラム - リチャード・ハミング - 速水謙 - ソフス・リー - コンスタンティン・カラテオドリ - ロドルフ・ラドー - 小野薫 - 陳省身 - シン＝トゥン・ヤウ - デニス・ゲイツゴリ - 毛利重能 - サイモン・プラウフ - 吉田光由 - ヴァツワフ・シェルピニスキ - 西浦廉政 - 俣野博 - フィリッペ・ファン・ランスベルゲ - セゲー・ガーボル - ソーンダース・マックレーン
- その他 {{Sci-stub}} の貼られた自然科学関連のスタブ項目
- {{Math-stub}} の貼られた数学関連のスタブ項目
執筆依頼
- 平行線公理 (en) - 連鎖律 (en) - 解析空間 (en) - ワイル群 (en) - 複素多様体 (en) - スコット連続 (en) - スティルチェス積分 (en) - 固有方程式 (en) - 超複素数 (en)- 数理計画法 (en) - 情報幾何 (en) - ムーンシャイン (en) - マリアヴァン解析 (en) - 量子群 (en) - ツェルメロ＝フレンケルの公理系 (en) - モノドロミー (en) - A-安定性 (en) - 安定性 (数値計算) (en) - スティフネス (en) - 安定性 (力学系) (en) - ブッフバーガーのアルゴリズム (en) - 超越次数 (en) - バナッハ環 (en) - 特異値 (en) - 数値線型代数学 (en) - ベルヌーイ多項式 (en) - 三次元空間 (en) （現在3次元へのリダイレクト） - 四次元空間 (en) （現在4次元へのリダイレクト）- 五次元空間（現在5次元へのリダイレクト） (en) - グレンジャー因果性（en）- 演算子法（en） - 乱数表 (en) （現在野球における乱数表へのリダイレクト） - フラッシュ暗算 （現在暗算へのリダイレクト） - 胞 (en) - Template:多面体の赤リンク - 中国の数学 (en) - コーシー積 (en) - 掛谷集合（en） - 加重平均 (en) - 一般化線形モデル (en) - 一般化線形混合モデル (en) - 共分散分析 (en) - 多変量分散分析 (en) - 多変量共分散分析 (en) - 多変量正規分布 (en) - ベルトランの逆説 (en) - クリーネ代数 - 量子集合論 - 自動律 - 個数定理
- 人物: オスカー・ザリスキ (en) - カリアンプディ・ラダクリシュナ・ラオ (en) - 室田一雄- 新井紀子 - 銀林浩 - 吾妻一興 (en) - ニヤンタ・デシュパンデ
- その他 Category:出身別の人名一覧の赤リンク部分 - ポール＝エミール・アペル (en) - オットー・テプリッツ (en) - エリック・ゴーレス (en) - ケメーニ・ヤーノシュ (数学者) (en) - トゥラーン・パール (en) - ハール・アルフレード (en) - フェイェール・リポート (en) - フェケテ・ミハーイ (en) - ポーヤ・ジェルジ (en) - ラーンツォシュ・コルネール (en) - リース・マルツェル (en) - レーニ・アルフレード (en) - アルトゥル・シェーンフリース (en) - アルフレート・プリングスハイム (en) - ハインツ・ホップフ (en) - スタニスワフ・サクス ((en) - サミュエル・ディックスタイン (en) - ヴィトルト・フレヴィチ (en) - エーミル・レオン・ポスト (en) - サロモン・ボホナー (en) - ヴィトルト・フレヴィチ (en) - イザーク・ヤーコプ・シェーンベルク (en) - アレクサンドル・ベイリンソン (en)
- 数学離れ
このポータルについて
このページを編集したいと思う方へ。このポータルへの参加を歓迎します。ご要望、ご提案はPortal‐ノート:数学へ。
- 画像を入れるよう、試してください（または、なにかいいアイディアがあったら、それを使ってポータルを改良してください）まずはカラーバーの画像など
- このページはいわば入り口となるページで、数学のテーマについてウィキペディアからの「お勧め」を一瞥させ、このテーマへの入門的導入を与えるためのものです。このページの内容はしたがって、極めて原則的で基本的なものに限られなくてはなりません。したがって索引も組織的構成も、特別な理由がない限り、大幅な変更を加えるべきではありません。
- このテーマに関してなにか新しい記事を書いたら、またはすでにある記事に大幅な加筆を加えたら、このページの「新しい記事」に付け加えてください。
- 特集記事: 不定期更新。今のところ選出方法は決まっておらず、ある程度充実した項目を任意に紹介します。
- お知らせ: 新しい話題を書きます。秀逸・おすすめ記事記事への推薦、大幅加筆（目安としては、5KB未満の記事なら2倍以上かつ2KB以上の加筆、5KB以上の記事なら5KB以上の加筆）などの報告をしてください。
- 新着記事: 数学関連の新着記事があったときに更新します。自分で投稿した場合や見落としがあった場合はどうぞご自由に追加してください。ここに掲載するかどうかは、各一覧を見て載せるのが適切か否かを判断して下さい。追加時に各一覧になければ、各一覧にも追加してください。1ヶ月くらいたったら消します。
- 分野: 分野を載せています。数学のカテゴリはまだ発展途上ですので、はっきりとした位置づけは決まっていません。
- 依頼: 今のところ査読、翻訳、加筆、執筆依頼がありますので、適宜に依頼したいものの追加、済んだものの除去をしてください。
|
||||||||||||||||||||||||||||||||||||||||
