1. イケ京 2004/08/18(水) 00:27:53

前スレでは、やたら数学ネタでしたが、、
なんか理学人のレスが非常に多いですね（ｗ

前スレ
http://www.kyoto-u.com/lounge/talk/html/200408/04080002.html

2. （たまに）北部人 2004/08/18(水) 00:44:06

基礎数学と離散数学ですかぁ。
離散数学は少し僕のやってる研究に関係があるようなないような・・・
なんかグラフ（で表現してしまって）を用いて組み合わせ論的に数えちゃおう
ってなことをふと考察中なんですよねー（＾＾；）

理系以外の人も勉強したら書き込んで下さいね。
人の専門って分からなくても面白そうなのありますし。

3. イケ京 2004/08/18(水) 00:47:54

代数系とは関係大有りですね。
代数と論理も関係ありですよ。
グラフと組み合わせも関係ありです。
いろいろつながってます。
さすがに圏論には手を出しませんでしたよ（ｗ
数理解析研の図書館はその手の書籍がたくさんありますので、助かります。

4. （たまに）北部人 2004/08/18(水) 01:02:40

そうですね、代数幾何的な不変量はプログラムで計算できる事も多いですし、
かなり組み合わせ論的ですね。
他にも最近はモデル理論的（？）な代数幾何の再編も流行り（？）みたいですし。
数研の図書の人は親切なのでいいですね（数学教室は・・・）

5. イケ京 2004/08/18(水) 01:08:56

そうですよ。
モデル論的代数解析の例の本である部分を勉強してあるテクを身につけました。
数研は離散数学とかＣＳのメッカですから、膨大な書籍です。
僕は基礎論的観点から研究してます、いわゆるヒルベルト流ですが、、、

6. 来た白川追分ちゃん 2004/08/19(木) 22:17:00

おひさしブリです。
↑数理解析研ってまだ遠い存在です。
陽一郎せんせ（容貌も含めて），森 重文せんせって
すごいですよね。

7. イケ京 2004/08/19(木) 22:35:34

お久しぶりです。
そういう純粋数学系は北部人さんですね。
僕は純粋数学からはずれたＣＳ系です。
高校のとき情報系進学を考えてました。
プログラムが好きですね。
でも、たまに、他大学の圏論とかやってる人と話すと、数学ばりばりって感じで恐れ入ります。
ここずっと、半群系のオートマタとか、ＣＳの代数、論理しかやってません。

8. 来た白川追分ちゃん 2004/08/19(木) 22:41:49

半群って　応用されるんですか。。。
純粋な半群 は 共立の半群論 図書で立ち読み
しました。Ｙ（山田）−半群とか　群論と近しい
性質を追求してるんですね。

9. イケ京 2004/08/19(木) 22:48:32

代数的には半群ですが、オペレーショナルにはオートマタですよ。ＣＳにはいろいろ面白い話あります。
この前、どこぞで、半群専門の人と話す機会があったんですが、グラマーを代数的にあつかってるセミグループ屋ですが、グラマーが複雑になると代数ではうまくあつかえないらしんですよ。その場合はオペレーショナルに扱うほうがよいらしいです。

よくわかりませんが、ああいう代数とオペレーショナル名世界（論理orオートマタ）とは表裏一体なんでしょう。
基礎論では、そうやるようです。

10. 来た白川追分ちゃん 2004/08/19(木) 23:01:33

>グラマーを代数的にあつかってる

ブール代数　みたいなもの（？）
　ヒルベルトの形式的体系？
　ゲンツェンの形式的体系？
とか小耳にはさんだことが…

素人ですみません。。。。(T_T)

11. イケ京 2004/08/19(木) 23:10:16

まあ、そんなエリアです。
以前、某大学の計算機系の基礎理論のTAまがいやって感じたんですが、その方面では、ラティスとか、ゲンツェンとか、ゲーデルとか、タルスキーとかを重宝してるようです。
数学系の人から見ると、離散数学＝グラフ理論＝秋山仁と思うけど、向こうの人たちはゲーデルとかまで含んでます。

12. 来た白川追分ちゃん 2004/08/19(木) 23:22:46

秋山仁さんは　数学的には「一発屋」m(_ _)mのような
感じがしてます。たぶん先入観かもしれません。

ゲーデルについては「不完全性定理」の人でしょうか。基礎論に頭をつっこんだ変わり者から少し聞い
たことがあります。
…無矛盾な形式体系は不完全である…
あ
ははっ、的はずれな事言っているかも知れない。
勉強不足ってか、現段階では「知識不足」とよんでく
だちゃい。

13. イケ京 2004/08/19(木) 23:29:03

秋山仁は受験数学でテレビでてるの見ましたが、個性的な人ですね。

数論の公理化＝数学理論の不完全性です。
まあ、公理化できないのが世の中という発見です。
ゲーデルは晩年ノイローゼになったほどに天才なんでしょう。科学の限界を示したんでしょう

14. （たまに）北部人 2004/08/19(木) 23:32:37

ゲーデルの不完全性定理は僕もあまり知らないんですけど
前になんとなくこんなHPを見て、意外に簡単？？
http://www.rinku.zaq.ne.jp/suda/incomplete/chap01.html

なかなか難しそうで面白そうですね。

15. イケ京 2004/08/19(木) 23:39:52

なかなか奥深いですよ。
証明の方法もゲーデル手法、タルスキー手法、などいろいろあって、、
ゲーデルは帰納関数をつかったそうですが、今では計算可能性のコアですけど、、
シンプルだからこそ、いろいろな事を言えているので、難しいんでしょう。
アイシュタインとゲーデルは２０世紀最大の科学者と言われてるらしいですが、、

16. 来た白川追分ちゃん 2004/08/19(木) 23:46:49

この前　読んだ本　に

無限の強さ（メヒティカイト）に関して
「アレフニュル」と「アレフ」の間の濃度が
「ない」と仮定したのと「ある」と仮定したのは
無矛盾である。
証明したのは確か、マッハボーイ（米or英）でしたか。

こんな話ですよね、全く未知の世界なので、
「知識不足」は笑って済ませてください。

不思議な事ですね。
一番大きい数　のスレ　で触れようと思ったのですが
場違いかと…。

17. イケ京 2004/08/19(木) 23:51:23

＞「アレフニュル」と「アレフ」の間の濃度が
「ない」と仮定したのと「ある」と仮定したのは
無矛盾である。

不思議ですね

ゲーデルとかコーエンとかの連続体仮説がらみと矛盾するかどうか、今酒飲んでるんで判断つきませんが、、

どうもコーエンの連続体仮説って本がその方面が良い本らしいです。
さっき、酒のみながら、京大名誉教授森毅の無限集合？の本でそんなことかいてました。

18. イケ京 2004/08/20(金) 10:07:35

ゲーデルの不完全性定理の意味はこれがわかりやすそうです

http://www1.ocn.ne.jp/~yoshiiz/incomplete.html

19. 來た白川追分ちゃん 2004/08/20(金) 13:05:53

↑斜めに読みました。一つ一つは難しいので直観的にとらえて全体を解釈したつもりになりました。
やっぱ「数学基礎論」ですね、
僕らのような純粋数学の初学者から見ると、芥川龍之介の
「ギリシャは東洋の永遠の敵である。しかし、またしても心ひかれる・・・・」
の感じがあります。

ヒルベルトプログラムの方が心安らかに数学ができそうですが、
数学の論理性が行き詰まると，基礎論をベースに再構築ってな事が起きるのでしょうかね？

20. イケ京 2004/08/20(金) 14:59:31

＞数学の論理性が行き詰まると，基礎論をベースに再構築ってな事が起きるのでしょうかね？

なかなか本質的な視点ですね。

北部人さんも指摘されているように、、

＞他にも最近はモデル理論的（？）な代数幾何の再編も流行り（？）みたいですし。

下記の本がそのよい例です

http://www.amazon.co.jp/exec/obidos/ASIN/4535783276/qid%3D1092980987/250-9936808-2239419

僕は全然、モデル理論詳しくないんですが、
たまたまある研究の必要性から、実閉順序体の理論のモデル論を少しだけ勉強しました。

21. イケ京 2004/08/20(金) 15:05:03

それと、
どこぞでトポロジーやってる人と、たまたまゲーデルの話してたらどうもかみ合わないともったら、トポロジーの人はゲーデルというと連続体仮説が頭にあったようです。
ゲーデルは完全性定理、不完全定理、連続体仮説の３？つの仕事してますので、、

22. 過去にこんなんありました 2004/08/20(金) 18:38:54

無限の定義スレ

http://www.kyoto-u.com/lounge/hokubu/html/200308/03080004.html

23. ↑ 2004/08/20(金) 21:34:10

ほほう・・・なあるほど

24. （たまに）北部人 2004/08/20(金) 23:28:42

＞イケ京さん
そうそう僕の発言はその本でちらっと見た事によったんですけど中々面白そうでしたよ。
今のところ「再編」という感じだと思いますが、この分野が発展すれば未解決問題にも
利用できる可能性もあると思います。

25. しかし 2004/08/20(金) 23:32:58

↑↑↑を見ても、このサイトってとてもレベル高い人もたくさん見てるんだな。
大半は「見てた」になってるのかもしれんが。

26. イケ京 2004/08/21(土) 10:52:14

北部人さんは代数系のかたなんで、これとすぐにわかりました。
ルネにも丸善にもありました。僕は丸善で悩んだ末、買いました。
幾何的モデル理論入門に関連する研究集会が数理解析研で過去あったようです。

＞↑↑↑を見ても、このサイトってとてもレベル高い人もたくさん見てるんだな。
＞大半は「見てた」になってるのかもしれんが。

過去にこんなんありました は僕なんですが、たまたまみつけたので、、、
経済や数物系の学部からＭのレベルで幅広く無限の定義してるので、今もどこぞでそんなんあったので、温故知新かと思って、、（ｗ）

27. （たまに）北部人 2004/08/21(土) 13:09:15

まだ売ってたら僕も買おうかなぁ。
っていつ読むのやら（＾＾；）
あんま関係なさそうだし・・・

本とか論文って読むのに結構時間がかかるので、読むべきか読まないべきか
判断するのに結構悩みます。

28. イケ京 2004/08/21(土) 13:52:59

昨日もルネにあったような、、、
幾何的モデル理論入門や巨大基数の集合論はずっとルネにあります。その方面を研究している大学院生や教官しか買わないような本ですので、、

＞本とか論文って読むのに結構時間がかかるので、読むべきか読まないべきか
＞判断するのに結構悩みます。

そうなんですよね。自分の研究に直結してるものしか手出しませんので、すごく悩みます。

29. aa 2004/08/21(土) 14:57:42

>巨大基数の集合論はずっとルネにあります
あのレベルの本を和訳する意味が分からん。趣味？
「層のコホモロジー」とかも。そんなん勉強してる人は原著読めるやろうって感じ。ミルナーの特性類講義なんかは演習問題の答えが付与されていて訳者の苦労が知れるけど。

スレ違いスマソ。

30. イケ京 2004/08/21(土) 15:06:07

１０００部売れないと出版社は赤とかいってましたが、、
その手の本は出ても１０００部ー２０００部なんで、値がはります。
大手大学の図書館とか関連研究室、研究者などが買うだけになるかも、、
訳本よりも原著のほうが読みやすいでしょう。
その手の分野か分野の基礎を理解する人口の増加とか、本屋としてのポリシーがあるとか聞いてますが、、

31. イケ京 2004/08/21(土) 15:13:01

書き忘れましたが、本屋は大学教授の意見を聞きながら、どんな本を作るべきか、市場調査してます。それと、大先生に著作を頼む手前、そういう方の意見を取り入れるようです。
だから、売れない本でも出さざるを得ないケースがあるようです。

lecture notes in math. はかなり前に絶版になりましたが、lecture notes in csは冊数がすごく増加してます。これはspringerの経営難らしいです。

32. 京二 2004/08/21(土) 17:36:47

頭悪くて顔キモイやつばっかだな。

33. ははは 2004/08/21(土) 18:08:12

昨日、杉浦の解析入門買いました。
今日から読むぞ、、、

34. ↑ 2004/08/21(土) 18:09:41

まあがんばってくれ^^

35. 来た白川追分ちゃん 2004/08/21(土) 21:36:59

「解析入門�U」（杉浦）は前期の微積の代わりに
少し（第�Y章の逆函数定理のとこと第�\章複素解析）カジリました。
網羅的にコチャゴチャ書いてあるので、一冊制覇を
前提に読んではキツイと思います。
工学部の先輩が授業で使ったとか言ってましたが，
全部マスーター（理解）するよりは、ピンポイントで
読む方がいいのでは…　と（数学に重きを置いてい
る）自分的には思われ。。。

36. （たまに）北部人 2004/08/21(土) 22:56:32

＞aaさん
まぁ訳してくれた方が安く手に入るし分かりやすいし、個人的には
ありがたいですけどね、英語苦手だし（＾＾；）
「層のコホモロジー」はなかなか良かったですよ。
（原著と比べてないので差は分かりませんが）

37. 誰か 2004/08/21(土) 23:16:50

最近復刊した松本幸夫のトポロジー入門を読んだことある方いらっしゃいます？
集合位相初めてやるんですが松坂和夫のとどっちがいいですかね・・・。

38. aa 2004/08/22(日) 09:30:22

>誰か
集合位相初めてやるなら松坂だろう。
トポロジー入門は基本群メインだし。ファンカンペンの定理の証明を知りたい時に読もう。もしくは松坂メインでトポロジー入門の対応箇所を適宜参照したら？

てか何で数学スレになってんだ？

39. 来た白川追分ちゃん 2004/08/22(日) 12:30:21

>誰か
aaさんに賛成です。
最初の集合のところが長いのですが我慢してマスター
して（基礎知識あるんやったら1〜3章とばして）第4章
から本格スタートしたら良いと思います。

40. サン 2004/08/22(日) 16:28:33

思い切って明治の文学を読むことにした。

41. ゆっきー 2004/08/22(日) 16:45:24

私も勉強しよーっと。
みなさん結構勉強してるんですねΣ('□')

42. はなちゃん 2004/08/22(日) 17:19:28

理系マニア弾劾

43. 誰か 2004/08/22(日) 17:23:49

>aa
>来た白川追分ちゃん
どうもです。
ではとりあえず休み中に一通り松坂を読んでみます。

44. くだらない質問ですが　　　　　　　　　　　　　　 2004/08/22(日) 18:28:28

みなさんは学術書を読む時ノートにまとめたりメモしたりしながら読み進めますか？
わたしも今年の夏休みはバイトもせずに暇なので勉強しようと思うのですが、普段自主的に勉強することがないので、なかなか頭に入りません・・・。
このスレッドと比べると、ぐんとレベルの下がる質問ですが、もし良かったらどういう風に勉強しているのか聞かせて下さい。ちなみにわたしは文系の者です。

45. 知人の官僚や 2004/08/22(日) 19:04:17

浅田彰などの文化人、それに欧米主要大研究者を見る
限り、ノートにまとめることはないです。注やメモを
入れる程度。必要に応じて線を引いたり。基本的にレ
ポート・エッセイ・論文提出目的あるいはゼミの共同
討議に備えて学術書を読みますし。ノートにまとめる
としたら授業や会議の発表に使います。

いつもガリ勉というか立花隆の言う文化的存在でない
と「自主的勉強」は難しいですし内容が「なかなか頭
に入りません」。はじめのうちは仕方ないですよ。学
術書といえども長時間読み続ければ、そのうち芸能・
スポーツニュースや時事雑談なみに内容がスラスラと
頭に入ってきますから。

46. イケ京 2004/08/23(月) 13:34:18

＞ノートにまとめるとしたら授業や会議の発表に使います。

そうでしょうね。
まあ、徹底的にやるのは、研究に最重要な参考論文だけですね。所詮、普通の専門書はその分野の基本しか書いてないですからね。

＞学術書といえども長時間読み続ければ、そのうち芸能・スポーツニュースや時事雑談なみに内容がスラスラと頭に入ってきますから。

相当に慣れてくると、その分野のはそうでしょう。

47. まつぼっくり 2004/08/23(月) 16:48:50

実家で、「蒋介石」を読んでいる。
ようやく中国の地理が掴めてきた。

48. ↑ 2004/08/23(月) 16:54:05

中国史は複雑だが、興味深い

49. 関係ないですが 2004/08/23(月) 17:01:25

中国史まわりで、匈奴とフン族とはイコールですか
高校の世界史でどうなんだろうと思ったんですが、、

50. ↑ 2004/08/23(月) 18:33:30

フン族は、中央アジアの騎馬民族。
匈奴と同一かは不明。４世紀から西進を始め東ゴート
を服属させ、西ゴートを追って民族大移動の発端を
つくった。
後には、アバール族やマジャール人と同化する。

ハンガリーの名は、フンに由来するそうだ。

51. ちょっとまて 2004/08/23(月) 18:36:51

ここは、数理系統の話題だったような。。。
数理系統の方議論を続けてください。

52. 上 2004/08/23(月) 18:41:40

別にそんなことはないよ。
たまたま数学の人が集まってただけ。

53. ルネ 2004/08/23(月) 19:10:00

ルネの品揃え、今一つな気が。
岩波の「現代数学の基礎」シリーズが2種類くらいしかおいてなかたよ。
ひょっとして「現代数学への入門」シリーズみたいに単行本化するまで休版なのかもしれないけど。

54. もてないだろうが 2004/08/23(月) 19:15:44

＞ルネさん
https://mall.seikyou.ne.jp/s-coop/WFLoginU.aspx
ここから注文してみたらどうですか？書籍検索すれば、絶版かどうかも分かりますよ。

55. 來た白川追分ちゃん 2004/08/24(火) 14:47:11

>イケ京 2004/08/23(月) 13:34:18
理系なので僕は、読んで理解することだけでなく，ノートにlemmaとかpropertyが成り立つようなサンプルとかを書きまくってます。（成立すること自体も疑ったりする性格です）
また，面白いところの定理は結果だけいただいて、自分で証明をつけることもあります（意地）。
もちろん学んでいるすべての分野はできない。。。。
（時間のとれる 学部 年少組だからできる事でしょうか？）

56. イケ京 2004/08/25(水) 08:21:56

論文読んでても、この証明本当に正しいんかあって思って、疑いますね。それで１ヶ月すぎたりして、、、
ちゃんとした数学の論文にも誤りあるそうですよ。いわんや、書籍には間違いや誤植多そうですね。

＞時間のとれる 学部 年少組だからできる事でしょうか

学部生はある意味うらやましいです。
Ｄあたりになると、すべてが論文書くために、、、となります。

57. 來た白川追分ちゃん 2004/08/25(水) 09:15:03

>証明本当に正しいんかあって思って
も，論文レベルだと　確認苦しそうですね。
評価されているpaperならこじつけてでも納得するんでしょうが，
そうでない場合，判断迷いそうっすね。
学部の内容だと，同じテーマの本がたくさんあって(脳を弛緩させる△波
の出ている)図書館で確認したり，ルネ読みで他の証明法なんか参照でき
ますけど…。
某書物で「この部分は明らか」って書いてあるのを，納得するように証明
書いていったら「レポート用紙３枚かかったぞ…（？）」っていう先輩の話
も聞きますしね。（笑）

58. イケ京 2004/08/25(水) 10:04:01

論文の中にもこれは簡単だとかいてあって略した証明しかなくて、それを完全にするのに数ヶ月要したこともあります。どこが簡単なんかってね（ｗ）
それは、その論文の参考文献完全に理解した人のみの話なんでしょうけど、、

59. イケ京 2004/08/25(水) 10:17:22

昨夜、数年前に買って読みかけてた、京大教養元教授森毅先生の無限集合論をなんとか最後まで読み流せたんですが、、たかが７０ページなんですが、
カントールのパラドックス、ラッセルのパラドックス、ゲーデルの不完全性定理はエピメニデスのパラドックスを基礎としていることは周知なんですが、、ローベルの定式化で記述してありました。
今は数理論理学も所詮、現代集合論の一部と見るほうがよいのですが、そう見ると、ゲーデルの不完全性定理の原理？がなんかよく見えたような気になりました。

60. イケ京 2004/08/25(水) 10:54:17

＞ひょっとして「現代数学への入門」シリーズみたいに単行本化するまで休版なのかもしれないけど。

絶版本ならば、アマゾンの古本とか、東京行く機会あれば理工専門の古本屋で明倫館ってのが神保町にあります。
僕もそこで何冊か買いました。

61. 來た白川追分ちゃん 2004/08/25(水) 11:28:37

http://www.kosho.or.jp/
http://www.meirinkanshoten.com/index.asp
僕も利用してます。。。。

62. イケ京 2004/08/25(水) 12:47:32

>http://www.kosho.or.jp/
>http://www.meirinkanshoten.com/index.asp

あの明倫館がやってるですね。
数年前、調べたらなかったんで諦めていたんですが、、
これは大変有益な情報です。
明倫館は毛利藩の藩校の名前だったと思います。偶然かもしれませんが、、

63. 來た白川追分ちゃん 2004/08/25(水) 14:31:35

やった！先輩の役に立つことがあった！！　(ToT)√゜゜゜

古書的な名著と呼ばれていて出回っていないものは「吉岡」とか此処で調達しているのです。（文献主義　AH〜）

64. イケ京 2004/08/25(水) 16:33:14

吉岡ってぜんぜんないでしょう。
明倫館は理工系の在庫すごいですよ。
半蔵門線の神保町ですが、三省堂とか本泉グランド？が専門書多かったように記憶してますが、、

65. 来た白川追分ちゃん 2004/08/25(水) 20:56:48

http://www.shi-ho-do.com/home.php
四方堂書店もなかなかですよ。
数学書だけでなく洋書の検索もあり，多数あります。。。。。
確か，場所は東の都　神保町　明倫館の5，6軒離れたとこっす。
何かこんな情報交換もいいっすね。このスレタイにあるように，
文献そろえて勉強しよ〜って気になりますよね。

66. 來た白川追分ちゃん 2004/08/26(木) 07:39:15

↑あっ、、四方堂は店舗営業はしてませんので。

67. （´・ω・`） 2004/08/27(金) 08:51:53

我輩は伊藤清の復刊本　確率論の基礎を最近買って読んでます。確率空間の構成方法があっさりわかりやすく書いてあるところが特徴のような気がしました。

68. 來た白川追分ちゃん 2004/08/28(土) 10:28:06

僕は「確率・統計入門」（岩波：小針）を古書屋で立ち読
みしたら広中平祐の「序にかえて」の部分を読んだらすご
く良くってその場で買っちゃいました。
中心極限定理まではスラ読みだったのですが，そろそろ純
粋確率論の本に移行しようと思います。（時間があれば）
「伊藤清の復刊本　確率論の基礎」もいいのですかな？

69. イケ京 2004/08/28(土) 17:58:55

「伊藤清の復刊本　確率論の基礎」はもっていて損のない本ですよ。
しかし、これ一冊で満足ってわけでもない本ですよ。
測度論ではなく、確率論の本質がわかりやく書いてありましたというのが僕の感想です。

70. 来た白川追分ちゃん 2004/08/29(日) 08:21:00

大学受験のときは感じなかったけど，
大学に入って　数学勉強してると
別に体動かしてるわけでもないのに，すっごいお腹が
空くのですね。
TEXTを淡々と読み進める時は別ですが，自分で定理を
証明しようとか，Propertyのサンプルを作ったりして
没頭すると，時間があっという間に過ぎたりします。
（気がつくと夜が明けてます…）

てなこともあり，僕は「ペットボトルのお茶」と「甘
いもの」が勉強の友です。（でも痩せ形なんですけど…）

イケ京さんは「勉強の友」ってありますか？

71. イケ京 2004/08/30(月) 09:00:45

＞イケ京さんは「勉強の友」ってありますか？

コーヒーとたばこです。
そのうち、TEXTからTEXになりますよ。

72. ↑ 2004/08/30(月) 17:38:56

TeXにしる！

73. イケ京 2004/08/30(月) 17:42:00

AMS-LaTeXがいいよ。

74. イケ京 2004/08/30(月) 18:34:58

そういえば、来た白川追分ちゃん さんはコテハン登録したんだね。
北部人さん、まぁまぁさんも黒だし、理学コテハンは黒で統一だね（ｗ）

75. 来た白川追分ちゃん 2004/08/30(月) 19:09:27

面白そうで，でもちょっと怖がって雑談板に加わっていたら
>（たまに）北部人 2004/07/31(土) 12:34:27
>ちゃんと青いじゃないですか(^^;
>無色だったら見えませんよ。

とか指摘されてたんで，しかも平安貴族のような兄貴分の北部人さんに
指摘されたので思い切って登録しました。
kyoto-uコテハン図鑑では、たった数時間で「通常コテハン」から
「糞コテハン」へと格上げ（？）されていました。
黒にしたのは，目立たないように…。
最初はドキドキだったのですが，絡んできてくれる人に恵まれてるって感じがします。多分理学系の先輩が多いのだと思います。大学院や研究の話が聞けて楽しいです。
ひよっこですが，よろしくおねがいします。。。。

76. そうだだろう 2004/08/31(火) 15:58:13

＞平安貴族のような兄貴分の北部人さん

うまいこというなぁ

77. （たまに）北部人 2004/08/31(火) 20:29:32

なんやその平安貴族って・・・（＾＾；）

数学の論文に誤りはつきものですね・・・
大した間違いじゃない場合がほとんどですけど。
そういや、リーマン予想が証明されたとか言ってた記事もありましたね。
僕の見たサイトのリンクがその論文にきちんとつながってたなら
単に歴史をつらつら書いてただけだったような気がしたんですが・・・（＾＾；）

78. 多分こんなイメージ 2004/09/01(水) 08:24:46

>なんやその平安貴族って・・・（＾＾；）

光源氏っぽいけど、正確には、（たまに）光源氏　でどうでしょう

79. イケ京 2004/09/01(水) 20:04:07

先日、投稿した論文の修正依頼が来て、今修正内容を練ってますが、夏バテのために、論文内容を思い出すのに苦労してます。
LaTeXと格闘してます。

80. イケ京 2004/09/02(木) 15:47:42

最近、パラドックス!（林晋編、日本評論社）を買いました。目次は以下ですが、パラドックスは数学や物理などで本質的な概念を生み出しておりますが、、

集合論のパラドックス・うそつきパラドックス(八杉満利子)
アキレスは亀を追い抜けないのか(野矢茂樹)
バナッハ‐タルスキのパラドックス(砂田利一)
双子のパラドックス(佐藤勝彦)
コラム シュレーディンガーの猫(保江邦夫)
タイムトラベルのパラドックス(松田卓也)
セイント・ピータースバーグのパラドックス(内井惣七)
コラム ドラえもんのパラドックス(林晋)
チェーンストア・パラドックス(今井晴雄)
ぬきうちテストのパラドックス(高橋昌一郎)〔ほか〕

81. （たまに）北部人 2004/09/02(木) 16:20:38

僕もこないだまでTex打ちで大変でした。
未だに使いこなせてませんが（＾＾；）
そろそろ涼しくなってきたし頑張って下さいね。

バナッハ・スタインハウスなら知ってるけど・・・（＾＾；）

82. イケ京 2004/09/02(木) 19:40:34

僕もLatexでは、新たな記号の入力では、本見ながらやってます。ＰＣ＋Latex本は一体です。

関数解析にそれありましたね。
バナッハは同一人物ですが、、、
パラドックス！は無限がらみが多いです。
僕は相対論がらみは読むつもりはないので、まぁまぁさんにでも読んで欲しいです。

83. まぁまぁ 2004/09/02(木) 21:52:48

最近日常的なエネルギーの物理（？）をやっていますので相対論は久しく見かけません。

英語は日本語である。
英語は日本語ではない。

84. 来た白川追分ちゃん 2004/09/03(金) 21:47:56

数学系だと論文書いたりするときに備えて,TeXって必要ですよね。
入門としては LaTeX が良いでしょうか。TeXはワープロと違ってむずいって聞きます。今はバリバリに数学やりたいんですけど，暇と金と忍耐力があるときに勉強しましょう。マニュアルは何がいいでしょうか。
でも必要に迫られてやる方が緊張感が作用して能率がよいのでは？って自分自身をよく知っている自分自身が耳元で囁いていますが。。。

85. イケ京 2004/09/03(金) 21:54:44

論文書くようになれば、自然とLaTeXを使いますので、慣れます。
数学記号を多用する理工系では、LaTeXが一番便利でしょう。
発表はpowerpointになります。

例えば、以下の本でしょう。

もっとAMS‐TEX
野寺 隆志 (著) 単行本 (1991/02) 共立出版

今度こそAMS‐LATEX
野寺 隆志 (著) 単行本 (1991/10) 共立出版

楽々LATEX
野寺 隆志 (著) 単行本（ソフトカバー） (1994/06) 共立出版

86. イケ京 2004/09/03(金) 21:57:36

以下の書籍にソフト付いてます。
これが一番簡単です。
またはフリーが落ちてますので、それをインストールするとか、

PLATEX2ε for WINDOWS Another Manual 〈Vol.1〉Basic Kit
乙部 厳己 (著), 江口 庄英 単行本 (1998/10) ソフトバンク

87. イケ京 2004/09/03(金) 22:02:44

LaTeXの大枠は例があるんで大丈夫ですが、数式記号毎にコマンドがありますので、最初は苦労するんでしょう。
そのコマンドは本で調べながらやればいいですよ。
僕は3年以上使ってますが、そうしてます。

88. 来た白川追分ちゃん 2004/09/03(金) 22:17:23

いつもアドバイスありがとうございます。早速動いてみます。。
レポートなんかもTeXで書くと慣れていいのかしらん？時間かかりそう…　 （＾＾；）　　　　　　　　　　　←北部人 風に

89. （たまに）北部人 2004/09/03(金) 22:57:55

僕は修士論文手書き日本語だったので、その後投稿するためのTex打ち大変でした（＾＾；）
余裕があるなら早めに練習しといた方がいいですよ。
ちなみに未だにうまく可換図式で表現できないものがあったりします（＾＾；）
Pstrickというのを使うとうまくできるみたいなんですが・・・
仕方ないので可換図式の方を強引に変えてます。

90. イケ京 2004/09/04(土) 18:32:51

修論手書きとは、、、なんとまあ、、、
wordとかは記号が打てないので、使いものになりませんからね。
僕は字が下手なんで大学院からすぐにLatex使いました。
一本論文書けばなんとかいけるようになるでしょう
可換図式ぐらいならばコマンドでなんとかいけますが、それ以上難しい図はどこぞのドローツールでeps作って貼り付けるしかないでしょう

先週、プロジェクトｘで東芝のワープロ開発やってましたが、ワープロ作った人に感謝です。
字が下手なんで、、、字が下手僕の最強の道具です。
texはスタンフォード大学クヌース教授が開発しましたが、計算機科学者で著名な人です。
クヌースのアルゴリズムの訳本も僕は読んでます。

91. （たまに）北部人 2004/09/04(土) 18:51:07

書き始めたのが12月でしたからね・・・（＾＾；）
Tex打ちを覚えながらだと間に合わなくて。
僕は手で書くの好きだし、結構自分の字も気に入ってるので（上手くはないけど）
あんまりワープロとか使わなくて、今でもパソコンは苦手なんです（＾＾；）
実際mathcalやmathfrakとか使いまくるんでWordでは無理でしたね。

可換図式もCDで書ける程度は当然書けるんですけど
斜線が出てくるともうお手上げです。
（立方体の可換図式とか）

92. TeX 2004/09/04(土) 20:43:57

できるだけ早いうちに覚えたほうがいいよね。
俺は学部のレポートで練習したなぁ。

93. イケ京 2004/09/04(土) 21:05:17

論文やレポートをLatex化しておけば、再利用も容易なんでお得な選択でしょう。

94. 猫たん 2004/09/04(土) 21:22:20

猫たんもTeX習得中です。
\epsilonとかっていちいち打つのめんどくさいなぁ。。。
たまにスペル間違っちゃう。
数式に自動的に番号ふってくれるのは便利ですね☆

95. お 2004/09/04(土) 23:54:25

猫たんさんも理系だったのか。
なんか意外。

96. ↑↑ 2004/09/05(日) 00:13:07

emacs（もしくはmedow）を使っているのならば，
YaTeX（やちょう）などの入力支援のパッケージを使えば楽になると思います．

それ以外ならば，フリーの統合環境なんかを探してきて使ってみるのもいいかもです．

97. まぁまぁ 2004/09/05(日) 12:33:00

僕のまわりではunix系の硬派ユーザーと
てふなんてつかったことなーいという軟派（失礼）ワードユーザーに分裂しているようです。
僕自身はWinでてふ使いという孤独な種族です。
あんまり高度な技術は使いこなせません、、、

98. イケ京 2004/09/05(日) 18:29:18

スタイルファイルが決まってるところではtexしか選択の余地ないでしょう。

YaTeX（やちょう）やWinでてふなんてのは使い込めば便利でしょうね

まあ、てふはクヌースが考えて文章をプログラムするという方針なんで、プログラムの得意な計算機系の方々はお手のものだと思いますが、、、

99. 来た白川追分ちゃん 2004/09/05(日) 21:03:22

TeXをダウンロードしました
http://oku.edu.mie-u.ac.jp/~okumura/texfaq/
インストールしようかという寸前で　ストップしてます。（めんどそうなので）

まぁまぁ氏のように僕も
>Winでてふ使いという孤独な種族
になりそうです。

100. まあ 2004/09/05(日) 21:21:20

数学からてふの話に発展

このトピックは発言数が100件に達しました。
これ以上の書き込みはできません。
続きは次のスレッドでお楽しみください。