超準解析（NonstandardAnalysis）

超積と超準解析が絶版になったから最近の人はどうやって知るんだろ

超積と超準解析は分かりやすくて面白い本なので皆さんよみましょう
数学基礎論全く知らなくても読めます

まえ超準解析スレあった気がしたが落ちたのかな。

>>1
図書館とか、あとは洋書じゃない？
なんかDoverから2000円弱くらいで出てるよ？
斎藤のとはやり方が違うけど。
GTMにもnon-standard analysisの巻はある。

前スレ
http://science4.2ch.net/test/read.cgi/math/1152154391/

とりあえず、これは貼っておかないと駄目ですぅ

キースラーによる「無限小解析の基礎―微積分の新手法」のオンライン版
http://www.math.wisc.edu/~keisler/calc.html

あれもこれも絶版か

スタンダードでは無いがコンウェイの超現実数の再出版バージョンの方ならまだ大丈夫

>>7
旧訳は酷かったな。新訳は読解可能なのだろうか？

>>5
それは「無限小解析の基礎―微積分の新手法」の原書とはまた別。
その本は高校用に書いた無限小解析の教科書で、
「無限小解析の基礎」には超実数体の構成法などを書いているが
リンク先のファイルには無いはず。

>>7
KnuthじゃなくてJ.H.Conway？

アイデアはコンウェイ。著者はクヌース。

↓うるせーんだよ
↓このスレを見ている人はこんなスレも見ています。(ver 0.20)

>>1
和書でも中村徹「超準解析と物理学」とか竹内外史「無限小解析と物理学」がまだ生きている
から読めないわけではない。

「超積と超準解析」ヤフオクで４０００円も出して買っちゃった。
元を取るために、この正月休み中に読破するぞ　ノ

>>13
あの糞馬鹿高いの落したのはおみゃーか？

「あの」かどうかはわかんないけど、４０００円を糞馬鹿高いと
いうなら、それはすまんかったと言っておこう。

>>15
せっかく買ったんだ、がんばって読破してくれ。

大学の図書館で借りている俺。

>>13

この本は、高階述語論理に基づいて定式化している部分があるので、
それを一階の述語論理に翻訳するのは、いい演習になる。
がんばれ。

499

Davisの超準解析がいつのまにかDover化されてるね。
日本語訳買わなくて良かった。

まだAmazonでは見つからないようだ
覚えておこう。

これね

Applied Nonstandard Analysis (ペーパーバック)
Martin Davis (著)

http://www.amazon.co.jp/dp/0486442292/

>>23
ありがとう。「洋書」にしないと見つからないのかｗ

age

超準解析の存在意義って何？

群論の存在意義って何？

「超積と超準解析」の巻末の討論でも読んでくれ。

まあこの手の質問は存在意義より効能が知りたいんだろうけどｗ

超準解析（非標準解析、以下NSA）を用いて証明できることは、
NSAを用いなくても普通の解析学の範囲で証明できる。
（こういう保存拡大性が成り立つのではないか、というコメントが巻末討論にある）

ただしNSAは、通常の解析学の議論より非常に直観的であり、
新しい定理などを発見する際にはNSAを用いたほうが見つけやすいことが多い。

2 階の超準理論は 3 階の標準理論と同じ強さになるという
結果があるということが、20 年くらい前の「数学」の論説
に書いてある。

ｎ階の超準理論はｎ＋１階の標準理論と同じってことなんじゃない？

639

お薦め：

Alain M. Robert
「Nonstandard Analysis」

アマゾンで探すときは「alain robert nonstandard」で絞れる．安い方．多分1700円台．

斉藤の「超積と超準解析」のあとがきを読んだやつは知っているとおもうが、
E.Nelson の internal set theory というのがある．集合論全体を超準化したというか
（あ、言ってて意味わかんねえや）．

それを解説したやつ．前半が基礎固め．後半が応用．まだ全部読んでないけど、よさげ．

M.Davis、斉藤、中村の本みたいに標準モデルと超準モデルが別個に存在しているのではなく、
一つの集合論モデルに二つの意味論がオーバーラップしているというか．そのへんの
オーバーラップの様子を公理にしてある．

意味わかんない文章でスマソ．

いや分かったｗ
ありがとう探してみるよ

f(x) = x sin( 1/x ) for x∈R-{0}
　　 = 0　　　　　　 for x = 0
が一様連続であることを示せ。

これ質問スレにあったぐらいの問題だから、やったことある人もいると思うけど、NSAが得意とする問題だと思う。

質点を表すのに、デルタ関数を用います。
（運動）エネルギーが一点に集中したとき、デルタ関数の平方根が現れます。

これは、シュワルツや佐藤の超関数では表せません。

ウィーナー測度と経路積分の差と思ってください。

デルタ関数なんて、嫌いじゃぁぁぁ！

竹内外史「無限小解析と物理学」は面白いが、従来の解析の結果を超えていない気がする。

その点、中村徹「超準解析と物理学」は経路積分を論じて、従来の結果を少し改良していると思う。

以上、独断と偏見。

やはり数学として新しいことが出てこないとね。

面白いというだけなら、ゲームの方が面白い。

超準解析を用いると示せてかつ普通の解析だけでは示せない
命題は存在しますか。

何言ってんの？寝言？

>>40
>>超準解析を用いると示せてかつ普通の解析だけでは示せない
命題は存在しますか。

本質的にL＾2 で論議する波動方程式・シュレディンガー方程式は
超準解析が役に立って不思議でありません。特に非線形では高階の微分が使えないので。

非線形偏微分方程式なら超準解析よりコロンボの超関数の方が使いやすそうです。

E,E,Rosinger;　Generalized solutions of nonlinear partial differental equations
North-Holland, Mathematical studies 146

には関心を持っている人が結構多いみたいですが、まだ一つの分野として認められていません。

超準解析を解説したりしている人の多くは、本質を理解していない気がします。

シュワルツや佐藤の超関数では記述できない対象で、
解析学として意味があり、超準解析なら記述できるものが存在します。

ただ取り扱いが難しいので、すぐ取り組んでもなかなか成功しません。
各人がそのような問題に行き当たったとき、超準解析の存在を思い出すことです。

超準解析を勉強したのはもう20年も前だなあ。
sentence が internal（inner だっけ?) か否かをいちいち考えながら
議論するのはメンドくさいと思う。昔、超準解析を理解していると称する
オッサンが「超準解析でも数学的帰納法は成立する」と騒いでいたので
「無限大自然数の全体に最小値はあるんですか」と聞いたら絶句していた。
（理解しとらんがな）

まあ標準理論の方が気楽でいいな。

別に必ずしもinternal set theoryとかやらなくても
超準解析は出来るんじゃなかったっけか

>>1
勿論、俺なんかが読める本ではないが
超準解析を記した本としては先輩の知る中では至高らしい。

それにしてもこの先輩、至高と表現すり辺り可成り大袈裟である

age

>>42-43
超準解析ってそんなに汎用性高いのすか？

知らん

>>48
可測基数が存在すればね。

>>48

Alain Connes が解析系でフィールズ賞取ったのも
作用素環と超準解析を合体させた論文による。

もし作用素環だけに関する論文だったら、
多分フィールズ賞にはならなかった筈だ。

今の現状は知らないが、
フィールズ賞を受賞するる基準において
昔は解析系は軽視されていたそうだ。

>>48
Ax-Kochen による弱い形の Artin 予想の解決も超準解析が役立っている。
論文の表に現れない所ではもっとめちゃめちゃ使われたんだろうな。
Blum の微分体論然り。表に出てこなくとも裏で使われている。
発見的方法としても重要だ。

有難うございます
へー、逆に応用性ないと思ってた
そんなに有用なんだ、ビックリした

>>48

そう言えば、
高校数学に出てくる(数列の)極限の公式を操る際に、
私達は無意識のうちに超準解析の思想を炸裂させている。

>>54
それはお前だけｗ

>>48

そう言えば、
高校数学の(数列の)極限の公式を操る際には、
私達は無意識のうちに超準解析の思想を炸裂させている。

>>55

このことは大学生にとっては当てはまらないが、
高校生はε-δ論法を知らないんだぞ。
高校生は超準解析の思想を無意識に使って極限を計算しているんだよ。

>>57
どうしようもない馬鹿
可測基数も知らないくせに

>>58

通常の公理系であるZFCでは可測基数の存在性は証明出来ないんだぜい。
だけど超実数はZFC内で構成可能だ。
それだったら、高校の連中がどのように計算しているかを考えるとしたら、
可測基数の存在性を無意識に仮定して計算していると考えるより、
超実数の存在性を無意識に仮定して計算していると考える方が自然だろ。

失礼。

ZFCの中で可測基数は存在しない

は

ZFCの中で可測基数の存在性は証明出来ない

の間違いだね。

あ、余計なこと書いちゃった。

可測基数の存在性の存在を仮定すれば色々なことが発見的方法で証明出来る。
証明は、これを使わずに普通に証明すればよい。
と、云っているのだ。

高校生には、無理だね。

Nappy New Year to YOU and to US ALL

無限小解析とはどう違っていくんでしょか？

また超準無限小解析はたまた無限小超準解析なんて
作り得るんでしょか？無意味？

>>65

超準解析と無限小解析は同じもの。
次の２冊を読み比べるとよい；
１：超積と超準解析　東京図書
２：無限小解析と物理学　遊星社。

ナールホド、大変感謝
１はググッてゲットですね

超関数を超準解析で扱うのはあるよ。
ある意味、超関数は無限小解析だな。

助けて下さい

ある人は「超現実数でも1=0.999…だよ」と言い
別のある人は「Conwayの超現実数だと1≠0.999…だな」と言い
また別の人は「Conwayの超現実数でも1=0.999…だバカ」と言います｡

果たして真相はどうなのでしょうか?

>>69

確か、こういうことを議論しているスレがあった筈だ。
そこに行った方が良い。

>>68
あーそっか、そういうのもあるんだ
超々準解析っぽい

超準解析的超関数は、単に関数列を超準解析的に考えて、関数列の極限と見たに過ぎない。

超関数列、関数列のどちら？
どの超関数論によるのかで違うかも知れないのでご教示ください。

>>72
で関数列と書いたのは通常の関数列です。
だから通常の関数の任意の列は極限を持つ。

>>69
0.999....の定義の仕方によるんだ
どんな流儀でも普通の「数列0.9, 0.99, 0.999, ... の実数の集合における極限値」と同値の定義にする限りは
「1=0.999...」なんだ
ただ超準解析や超現実数では「無限大の数c」というのをちゃんと定義できるから
0.999...を「1-(1/c)」とか「1-(1/10^c)」と定義する事が出来るんだ
そのような定義をすると「1≠1-(1/c)=0.999...」ってなるんだ
だけど超現実数でも普通の定義をする限りは「1=0.999...」なんだ

>>75
有難うございました、このスレでの回答という事もあってか
一応の納得ができました｡

タケモト

たぶん>>44のレスで言及されてる人は
Peano算術とかの超準モデルのことが念頭にあったんじゃないかな

質問。
順序数と超自然数はどう融和するの？
自然数の向こうに超限順序数があらわれますが、これと無限大超自然数では
どっちが大きいと考えるべき？

>>79
本人の好きに考えればよい。

>>79
もう少し勉強してから出直してきた方が良いんじゃないの？

実数の集合Rに新しい数iを追加して
公理「i^2+1=0」も追加するとa,b∈Rに対しai+bを複素数だと考えることが出来る

同じように自然数の集合Nに新しい数cを追加して
公理「c>1」「c>2」「c>3」…を追加すればcを無限大超自然数だと考えられる

これを踏まえれば順序数と比較出来るかどうか分かるね

ω=(0,1,2,3,…)として、あとは順序数での演算と超自然数での演算を対応させる。

{0, 1, 2,.........}じゃなくて(0, 1, 2,.........)と書いたら
普通はω上の恒等関数の意味になるかと。

順序数算術の加法とか乗法で交換法則は成り立たないですよ。

Surreal number風に定義してくれ。

age

surreal numberだと
0={|}
1={0|}={{|}|}
2={1|}={{{|}|}|}
…って感じに定義しといて
w={0,1,2,3,4,...|}
だな

それぞれの定義を理解出来るのなら
順序や代数的な同型になるかどうかも出来る

1 + ω と ω + 1 が違うというとびっくりするヤツが多いね。
ω*2 と 2*ω についても然り

1 + ω と ω + 1 が違うというとびっくりするヤツが多いね。
ω*2 と 2*ω についても然り

そういう奴はsurreal number を使えばいい。

620

>>68
>超関数を超準解析で扱うのはあるよ。
>ある意味、超関数は無限小解析だな。

今のところ、そう言ってもいいのですが、正確には超関数は無限小解析の一部。

僕の書いた
>>36ー43
をごらんください。

>>36-43とな、フーム…

520

「新しいものを数学に取り込む」ことによって解析学は進歩してきました。

超準解析はその意味で有望です。

しかし「余計なもの」が入ってきてしまうため、取り扱いにくいのが欠点です。

保守

074

うるさい。

二年八時間。

712

真田虫幸村氏にお呼びが
http://science6.2ch.net/test/read.cgi/math/1203116217/263-281

age

そのスレ変なオッサンが自己流で矛盾した式計算をやってるだけだから。

数学的矛盾はしてないな、それ以前の問題

意味不成立

モデルの概念さえ理解出来れば
「超積と超準解析」の内容もそんなに難しくない

そういうのはメタ数学の範疇であって面白くないんだよ。

事情は分かりませんが>>101でやってください

>>44
最小値は存在しないけど、超限帰納法はできますよね。

>>109 できません。勘違いでした

保守

超積と超準解析

趣味で数学を学んでいる物なのですが、
超準解析を勉強したいと思っています。

予備知識として高校までの数学と集合論と複素関数論と微分方程式論があります。
測度論と位相空間はほとんど知りません。ルベーグ積分とか距離空間程度までです。

このレベルの私にオススメの書籍はありますでしょうか？
ただしあくまで趣味の程度ですので、
激烈に厳密な話になってない書籍がいいです。
よろしくお願いいたします。

キースラー「無限小解析の基礎」

和書は超準解析の本数えるくらいしかないよねー

中村徹「超準解析と物理学」

みなさんありがとうございます。
>>114
Amazon.co.jp: 無限小解析の基礎: ホーム
ttp://www.amazon.co.jp/s/ref=nb_ss_gw?__mk_ja_JP=%83J%83%5E%83J%83i&url=search-alias%3Daps&field-keywords=%96%B3%8C%C0%8F%AC%89%F0%90%CD%82%CC%8A%EE%91b&x=6&y=21
なんと、現在お取り扱いできませんだそうです。。。
>>116
今度探して読んでみようと思います。

超準解析においては、正の無限大∞に大小関係を付けるのですか？
（順序数ないし集合の濃度みたいに）
その逆数たる+0にも大小関係を付けるのですか？

>>5のサイトにあるpdfのChapter 1を見れば、だいたいどんなことをやっているか分かると思う

>>119
ありがとうございます。読みます。

age

ひとくちに超準解析っていったって、一つだけなわけじゃないし

とりあえず基礎で良いから日本語で欲しいよなぁ。
何でこんなに日本語の書籍少ないんだ。
英語読みたくない〜

『超積と超準解析』を図書館で借りてみた。
・・・難しくね？
フィルターとか初めて聞いたんだけど、
他の分野でも基本的な用語なの？

>>124
難しいとｵﾓﾀ。

フィルターについては「位相のこころ」（ちくま学芸文庫）などを
ざっと見るのが手っ取り早いと思う。
不勉強なんで俺も集合論関係でしか見たことないわｗ

>>125
難しい。
そして気がついたら超実数がいつの間にか導入されてるんだからなぁ。
ううーん。
でも良さそうな本だね。

>>124
フィルターは開集合系による位相の定義の代わりに使われることも一時期ありました。
大学の図書館でブルバキの Topology Chap1-4 なんか見ると載ってますよ。

でも、『超積と超準解析』を読むのには全然不要な知識です。大事なのは、
フィルタを用いた同値関係が、極大フィルタのときに都合良いものになることを
把握する事です。

>>127
ありがとうございます。
>大事なのは、フィルタを用いた同値関係が、
>極大フィルタのときに都合良いものになることを
>把握する事です。
教えを理解出来るよう精進いたします。

>>127
一時期っていまはどうなの？

>>129
ここ二十年くらいは全然流行りませんね。フィルターによる位相の定義と開集合系による
位相の定義は同値なのでどちらを使っても良いわけですが、教育効果的な視点ではマイナ
スポイントを幾つか思いつきます。


（１）「開集合」の方が実在感が強いかもしれない
フィルターは集合族になってしまうので、大学二年生で一般位相を教える時には開集合の
方が受け入れやすいかも。

（２）第二可算で充分
フィルターを考えるご利益というのは第二可算の枠にとどまらない位相空間で収束を記述す
ることなのですが、まあ、先進的かつ野心的な研究でもしない限り微分幾何では第二可算、
つまり点列で収束が記述できる空間を考えていれば充分です。したがって、わざわざ
ジュラルミン製の盾を用意せずとも手持ちの鍋の蓋で収束に立ち向かえるわけです。
（大学教育の範疇では。）

（３）位相は解析学だけのものじゃない
代数幾何学におけるザリスキ位相などは、どちらかというと単に「便利な言語」とか
「議論の経済」の観点から使われているような印象（キチンと学んだ事がないので）
を受けますが、いずれにせよ収束などは問題にしないようです。ならば、フィルタの
利点は全く意味を持ちません。

（４）局所的な議論も開近傍で間に合う
コレが一番痛いかも。開近傍系による連続性などの扱いをなるべく綺麗に整理しようと
すると近傍フィルタになるのですが、解析学で連続性に関する細かい議論をするときには
別に綺麗である必要はないのです。


．．．とまあ、非常に個人的な感想を述べてみました。私は数学プロではないので、是非この
板をのぞいているプロの方の意見もお聞きしたいです。

>>127
ついでに訂正

×　　Topology
○　　General Topology

>>130
なるほど、参考になります。

保守

保守

保守

保守

hash

保守

真田虫と云う存在を保守せぬ訳には遺憾
せめて過去ログに保存たいのじゃが

荒らすな

日本でこれ専門にしてる人っているのー？

単なる道具だしねぇ。超準解析の枠組み作りなんかも河合とかネルソンので大体終わってるし。

無限小解析
http://science6.2ch.net/test/read.cgi/math/1205683218

Lectures on the Hyperreals: An Introduction to Nonstandard Analysis はどう？

>>144
その本知らないなぁ。

GTMの本じゃなかったっけ

三年二十一日三時間。

321

超準解析って一言でまとめると
ある種の議論は無限であっても
有限であるかのごとく扱える　でいいか？

>>149
端折りすぎだが、第一歩の感覚としてはそんな感じだ。

問題は、極限を含んだような議論を有限の議論で済ませる上手い仕組み
ってのをどうやって作るかということ。徒手空拳で立ち向かえる話ではなく、
それなりの数学者たちが挑んだがうまくいかなかった歴史がある。

A.ロビンソンは、今日の言葉で整理すればある数学的なシステムを規定する
公理系のモデルから、第一階の述語で述べられる事柄について同等なモデル
（超準モデル）を、片方が片方に埋め込まれる形で作れる事を示した。

↑相当いい加減な説明。要するに elementary embedding の事を言いたいんだが。

いい加減以前に勉強したこと無い人には意味が分からない

だよねー。自分は一番最初 Davis の本と斉藤の本を読んだけどどういうことをしてるのか全然わからなかった。
その後で、竹内の現代集合論入門のある箇所で elementary embedding の話がチラリと載っていて、
これはモデル論の文脈で理解すればわかりやすいのだと気づいた。

超準解析の理解のためには、遠回りのようだけどモデル理論の初歩をやっておくと良いのだと思う。

↑間違えた．名前は150です．

命題：コンパクト集合Xから実数Rへの連続写像fは最大値を持つ
証明：Xを含む*有限集合Aを考えるとAは*有限だから
AからRへの写像*fは最大値を持つのでx∈Aで最大になるとする
このときXはコンパクトだからy≒xとなるy∈Xがある
fは連続写像だから*f(y)≒*f(x)となるからf(y)が最大値になる

超準解析を使うと証明が直観で出来るのがよい

また超準解析チャレンジしてみるか

moke

いきなりで悪いんですが、循環少数の0.9999...を分数で表すと
何になりますか？明日までに海東が必要なんです。
お願いします

>>157
あなたには明日までにわかることは不可能。
一生わからない可能性も大。

>>157
0.999...=1か0.999...≠1かどうかは「0.999...」なんてもんをどう定義するかによって決まるのであり
前者ならば0.999...は1なんだから分数で表せば1/1
後者なら0.999...はよく知った数ではないんだからよく知った分数では表せない

「0.999...」があやふやなものである限り回答は無く
「0.999...」があやふやなものでない限り簡単な回答しか無いんだ

「0.999...」をあやふやなままで分数でどう表すか聞くんじゃない
帰りなさい

>>69あたりのネタだろ
つき合うな

Nonstandardってふつうじゃないぐらいなのに超準っておおげさすぎない？

実数→超実数
標準→超準
って対応だ
英語でも超実数はHyperrealと言うし超をつけるのも普通

ハイパーリアルとかシュールリアルに超って文字がつくのはわかるが、
ノンスタンダードはぜんぜん超と関係ない、むしろ異端とでも訳すべきだよ

真面目に相手をした>>162が悪い

超準という訳がどうのこうの言ってる奴等、少しでも勉強したことあんのかよ。

それがどうした

ドシタも　こしたも

標準モデルの集合・関数などに対応するものが超準モデルに必ずあって
んでその対応物が元の標準モデルでの集合を真に含む時もある事と
標準モデルで成り立つ命題はその命題を超準モデルでの対応物にすれば
超準モデルでも成り立ち、また逆も成り立つ事
あと広大・飽和モデル
これらを考えないのなら単なる無限小解析を考えれば十分
でも人は超準解析をやたら持ち出す

>>168
同意。
無限小と聞くと、パブロフの犬の如く超準解析と云わずにおれない。一種の病気。

有理整数を係数とする多項式を扱うとき、多項式全体の環や多項式の
零点の集合を見通しよく扱うためにはＱの代数的閉包である複素数体を
考えると便利である。

一方、単一の多項式を扱っている限り、その零点は高々有限次の
Ｑの代数拡大を行えばよいのであって複素数体を持ち出す必要はない。
でも人はやたら複素数を持ち出す。

まさにパブロフ犬のごとき愚かさの骨頂だといえよう。

>>170
うるせーよ　あと日本語でＯＫ

ハイパーなら超越だろ？
超越解析。。。。亜空間解析

>>172
亜ってのは「劣る」という意味だ　亜空間ってのも subspace の訳だな。

> Ｑの代数的閉包である複素数体

ダウト

>Ｑの代数的閉包である複素数体

わはははは
ありえない

ゆとり世代って恐ろしいな

よくわからないけど複素数も代数拡大もインチキということは理解した。どっちも現実に存在しないもんね。

自然数も現実に存在しないけど何か？

現実なんて存在しないよ

パブロフの犬は風邪をひいたらパブロン飲む？

イデア界のパブロフ君は葛根湯飲んでるよ

葛根湯は効くからな

くずねそふ
は
かっこんとうのむかな

いわん　ぺとろーう゛ぃっち　ぱぶろふ
そんなこと　いわん

>>176
ゆとり教育のおかげで、
100分率を理解できない高校生が全体の3パーセントもいるらしい。
残りの7割はちゃんと理解しているけどね。

>>184
100-3=97

素数になったトムキンス

RSが主流だけど。正解したときだけジャーキーを与えると正答率が上がる。

>>185
ﾈﾀﾆﾏｼﾞﾚｽ

58

こんなの出てるぞ！　まぁ入口までだけどｗ

数理論理学
使い方と考え方：超準解析の入口まで
ttp://www.rokakuho.co.jp/data/books/0151.html

>>190
読んだけどまあまあ面白いね。超準の話は少なめだけど。

age

ことしの基礎論サマスクは超準解析だお(^ω^)　みんなも来るといいお(^ω^)

数学基礎論サマースクールー超準解析の基礎と応用ー　
日程： 8月24日（火）13：00より２７日（金）12：00まで．
場所：名古屋大学大学院　情報科学研究科．

今回は合宿形式でなくて名古屋大を会場してるってこと？宿の手配は各自で．

＜プログラム＞
8月24日（火曜日）
13：00〜14：00 受付
14：00〜17：00 超準的手法の導入と nonstandard universe の構成 村上　雅彦

8月25日（水曜日）
9：00〜12：00 弱い公理系を用いた超準解析 横山　啓太
12：00〜14：00 昼休み
14：00〜17：00 Loeb measureと確率論への応用 釜江　哲朗

8月26日（木曜日）
9：00〜12：00 ヒルベルト空間と超準解析、量子力学への応用 山下　秀康

12：00〜14：00 昼休み
14：00〜17：00 超準解析の微分方程式への応用 知澤　清之

8月27日（金曜日）
9：00〜12：00 超準解析の計算量理論，代数等への応用 安本　雅洋

もまいらも超準解析やれよ。いろいろ捗るぞ。

行きたいけど名古屋大かぁ・・・青春十八切符とか行けばいいのか・・・

道中つらいよ

事前申し込みとかあるのか？

http://twitter.com/patho_logic/status/18251758973

基礎論サマスク、興味があったら この人に聞いてみると何か教えてくれるかも

自演キモｗ

サマスクホムペとかないから仕方なく…ですよ。

あと、自分は勝手にこの人の twitter 晒してるんだよね。正直わるいなーとは思ってるけど。

数学基礎論サマースクール
　　　　ー超準解析の基礎と応用ー

ホームページできたゆー☆

ttp://math1.edu.mie-u.ac.jp/~nitta/summerschool.html

ょろι＜ｫﾈガィ ぃﾅﾆ∪まﾌ、(●´・∀・)ﾉ))

追記だゆー☆

　日時：8月24日（火） 13：00?17：00
　　　　　 25日（水） 9：00?17：00
　　　　　 26日（木） 9：00?17：00
　　　　　 27日（金） 9：00?12：00

　場所：名古屋大学大学院　情報科学研究科　情報科学研究科棟一階第一講義室
　　　　大学の案内図　　http://www.nagoya-u.ac.jp/global-info/access-map/higashiyama/　の４２番の建物です．
　　　　交通機関は　　　http://www.nagoya-u.ac.jp/global-info/access-map/access/　　　　にあります．
　　　　情報学研究科への道のりは　　http://www.is.nagoya-u.ac.jp/campusmap.html　　が参考になります。

　　　　　　　申し込みは不要です。宿泊等は各自にお願い致します。
^^^^^^^^^^^^^^^^^^^^^^^^^
　　　　　ヾ(*ゝω･*)ノ　ｺﾚﾀﾞｲｼﾞ！

キモい。見る気も失せた

まあ内容が面白いなら許す

超準解析の枠組みでフーリエ解析を扱ってる本あったら教えてください