HRIZM

グダグダで運営中です



2011-04-09

イントロダクション

このサイトでは、平泉ことHiraizumi Masamune(どっちでもよくね)が撮った写真を公開しています。ジャンルの幅はあまり広くありませんし、好きなものをのんべんだらりと、不定期に撮って更新しています。

あまりコンテンツを多角化したくないので何をメインとするかをしぼっていきたいところですが、Blogというツールの性質上コンテンツが増えていくかもしれません。しょうもない話やひと言系はしかるべき所でやるつもりです。ここに書く気はありません。

 

写真のジャンルは左の「カテゴリー」から選択ください。

2012-01-03

あけましておめでとうございます

大阪後編がまだだけどまあいいだろ。

1月2日、鶴岡八幡宮に初詣に行ってきた。

人は多かったけど、人の流し方というか、そういうのが上手かったからそこまでストレスはなくお参りできた。「大学院試がそれなりになりますように」という意識の低いお願いをした。その意識の低さも手伝ってか、おみくじは「試験は努力が足らない結果になるぞ?」という内容だった。

その後は友人の車(軽トラ)を使って一路三浦を目指す。コロプラというゲームのスタンプ集めをしていて、三浦半島が丸々空いていたのです。途中で寄った「秋谷の立石」(まだ横須賀市内)がアツかった。

「立石」とか「立岩」系で一番気に入ってるのは山形にある「暮坪の立岩」なんだけど、規模の割にあんまり有名じゃない。

その後は三浦市内に移動、夕焼け特集。エローい夕焼けがいっぱい撮れた。


帰り、城ヶ島大橋を通った時に富士山が見えた。

神奈川に住んでるとやっぱり富士山が近いからいいねえ。静岡山梨はもっといいんだろうなあ。

2011-12-28

大阪乗り鉄記 #1

乗り鉄しに数学の研究会に参加をしに大阪に行ってきた。高速バスで東京から大阪まで移動、なんばに着いたのが朝の6時過ぎ。高速バスでは寝られず、完璧にグロッキーで白目をむきつつ食事を済ませた。
会場が高石市にある浜寺公園内にある施設だったので、南海に乗るのもなんだし阪堺電車に乗ることに。帰りは研究会の参加者と一緒になる可能性があるし、そうなると路面電車なんか絶対乗れないしね。というわけでなんばから恵美須町まで歩く。思っていた以上に通天閣がすぐ近くでびびる。(が、急いでたので写真は無し)
恵美須町に着くやいなやもう電車の発車時間だったので、恵美須町の駅舎の雰囲気の良さも記録できず泣く泣く電車に乗る。

続きを読む..

2011-12-06

本届いたよ


J.P. SerreのA Course in Arithmeticと、Wilfrid HodgesのA shorter model theoryが届いた。
ていうかA shorter model theoryで日本語の検索すると、我がサイトが検索結果のかなり上の方に出てきて笑った。マジかよ日本語。本の内容なんか書いたらわりとお役立ちできるかね。
にしても「代数幾何 マイナス 体」が本によると昨今のモデル理論でやってることを上手く言い表してる感じらしい。

実はA shorter model theoryは知り合いの大学院生に「わかりやすい」つっておすすめされたりしたから注文してみたんだけど、確かに例がいっぱい載っててわかりやすいかも、と思った。数理論理学、特にモデル理論に興味のある方は読んでみるといいかもしれないです。

2011-11-20

A Course in Arithmeticを読む(1)

学祭期間中で暇なんだよね。
というわけで第1回。

いちいち写真を貼り付けながら記事を書いたら、写真需要と数学需要の両方が満たせて合理的!と思ったが、これはこれでお互い邪魔くさいな。

第1章 有限体の、セクション1のGeneralitiesから。たぶん一番とっつきにくい。というか僕はとっつきにくかった。

Let K be a field. The image of $\Z$ in $K$ is an integral domain, Hence isomorphic to $\Z$ or to $\Z/p\Z$, where $p$ is prime; its field of fractions is isomorphic to $\Q$ or to $\Z/p\Z = \F_p$.

たぶんここがネズミ返しになってるんじゃないかって気がする。いきなりぶっ殺しにかかってるというか、原著を読む限り何の前置きもない。訳書は多少ここに注釈が入っているのだけれど。1行目のThe image of Z in K というのは、たとえば
\[\tau:\ \Z\ \longrightarrow\ K\]
を$n \longmapsto\ n\cdot\ 1_K$によって定めてやると、これが準同型になっていて、準同型定理から$\Z/\ker(\tau)\ \cong\ \tau(\Z)$が導け、$\tau(\Z)$が整域だから$\ker(\tau)$が素イデアルとなるので、あとは0かpかで場合分けすればOK。
これは要は標数の定義で、「n個の1の和が0になる最小の整数n」と定義するより「標数0」がより明示的になってる。

ちょっと書いたら満足してしまった。TeXのコマンド打ちたいだけだかんな。

2011-11-19

読んでる本&今後の方針

今後の数学の記事の指針を書いておこうと思う。ただこのまま数学Blogになるのもいただけないので、なんとか定期的に写真はアップしたい。ストックの写真はあるんだけど、時期を逃しまくっている。毎日持ち歩ける小さいカメラが欲しいね。金がないけど。
あと一人称を「僕」に統一する。何か数学の記事で「俺」とか恥ずかしくて言えない。なんとなく。


今読んでる本たち。
【数論関係】

  • 数論入門 – 山本芳彦
  • A Course in Arithmetic – J.P. Serre

両方とも大学の研究室のセミナーでやってる。ただ数論入門の方は自分以外の大多数がやってて、僕はA Course in Arithmeticをメインで読んでる。ぶっちゃけムズい。

【ロジック関係】
  • 数学基礎論 – 新井敏康
  • 数学基礎論講義 – 田中一之
  • Set Theory – K. Kunen

そのうちShoenfieldのMathematical LogicとHodgesのA Shorter Model Theoryが加わる予定。
いっぱい読んでるように見えるけど、それぞれのいいところ、欲しいところをつまみ食いしながら。他にもいろんな本とかpdfも読んでる。Set Theoryは完全に独立して読んでるけどね。


そんでもって今後どうするか。
数論に関してはA Course in Arithmeticを読んでてわかりにくかった所とか、詰まった所を書いてく予定でいる。
B3の僕が無謀にも読もうと思うくらいだから、日本中にはそういう人がたくさんいるだろう、と思って読んだ人のノートとかないかなと思って検索したら全然見つからなくて困ったので、今後どこかでそういう無謀な人間が現れた時のために記事として残しておこうと思う。所詮アホの背伸びだし、足らない議論とか的外れなことを100%言ってそうなので、気付いた方はツッコミを入れてくださると助かります。
ロジックに関しても同様の方針。でも意外とロジック関係はWeb上の情報は多く流れているので、あんまり必死こいて記事を書く必要もないのかなと思っている次第。気が向いたら書く。