For WebMasters
最終更新日:2002/12/02 2002/12/02 リンク集 のページを更新しました。今年度中に 185 問題について考えるの部分にひとつ追加します。変更の可能性もあります。 2002/11/26 メールを下さった方へ。メールをどうもありがとうございます。申し訳ありませんが、返事はもうしばらくお待ち下さい。 下記の通りいくつかのサイトでご紹介いただいいています。どうもありがとうございます。 （・∀・）イイ・アクセス の 2002年11月23日（土） の「185問題について考える」 かーずＳＰ の 2002/11/22 の「185問題について考える」、「For WebMasters」 Wintet SNOW の 2002/11/22 の「教えて君対策」 目次 このページについて 更新履歴 メインコンテンツ 教えて君 特集 特集1.185問題について考える リンク集 謝辞 このサイトは、2
Paradox
仙台ロジック倶楽部 数学基礎論と消えたパラドックス 数学セミナー９３年８月号より はじめに ヒルベルトの提起した２３問題の筆頭である連続体仮説の独立性をコーエンが証明してからちょうど３０年になる．集合論の研究者たちはよく冗談に“コーエン以前”をB.C. (Before Cohen の意)といい、ゲーデル (Goedel) を B.C. の神 (God) であるといったりするが、1960 年代には数学基礎論の各分野でこのような大事件が起きており、まさに基礎論全体の変革期であった． ６０年代革命の激しさは、その教科書の変化によく現われている．古き良き時代の教科書（例、文献[1]）にはパラドックスから数学基礎論の誕生に至る歴史が悠然と述べられていたが、革命後のもの（例、文献[2]）にはパラドックスのパの字の解説もなく、それはもはや禁句になった感すらある．（残念ながら日本では今もB.C. 時代のイ
ラムダ計算ＡＢＣ
仙台ロジック倶楽部 ラムダ計算ＡＢＣ 数学セミナー９２年８月号より Ａ. ラムダ計算とは 今から６０年程前、プリンストン大学の若手論理学者Ａ．チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧なので、ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表すのです。 "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、大学に入ってから定義域や値域が関数の集合になるような高階関数（オペレータとか作用素とも呼びます）を扱いだすとすぐわかります。作用素などというとひどく特殊なもののようですが、関数f(x)にその導関数f'(x)を対応させる微分演算子Ｄ
Ｍ女史の遺したもの : 悪意のない初心者が荒らしにならないために
Ｍ女史の遺したもの 悪意のない初心者が荒らしにならないために 最近の履歴 関連リンク追加。 2chの元スレへのリンクを過去ログ倉庫に変更 （笑）の項目を格上げ。 スレッド一覧が間違っていたので修正。356以下に、354以下の枝をつなげてしまっていた。（ローカルに保存するとき番号を間違えたらしい） 目次 はじめに Ｍ女史問題とは 分析 Ｍ女史登場 タコは別に問題ない。しかし、 自分で調べなさい やったことは書け。分からないことは分からないと言え 話が通じないのはお前が悪い（大抵は） よく読め （笑） 日付をよく見ろ。相対位置は正しいか。 マルチポストは避けるべし 礼を言え 結末 関連URL 雑談プログラミングＭＬの関連スレッドナビゲータ 謝辞 本サイトの掲示板 はじめに このページ群は所謂ネチケットというものに関してのものです。インターネットにおける日本語圏での、技術系の世界のマナーを考えま
185問題について考える
目次 更新履歴 (185問題は、「タイプ:教えて君」に分類できます。教えて君については、「 教えて君 」のページをご参照ください) 185問題について考える(第1部) (2001/12/02更新 ※2001/11/19の更新時から内容は基本的に変わっていません) 185問題について考える(第2部) (2001/12/02更新) 185問題について考える(第3部) (2001/12/24更新) 過去ログ(ブラウザのバックボタンで戻ってきてください) -100 101-200 201-300 301-400 401-500 501-600 601-700 701-800 801-900 901-1000 1001-1100 謝辞 このページは、2ちゃんねるの「むかつく管理人が多すぎ」スレッド http://pc.2ch.net/test/read.cgi/hp/993833847/-100 を
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://members.at.infoseek.co.jp/ituki_k/poko_15.html
小惑星の名前研究所