HRIZM

南房総鋸山行ってきた(1)

平泉 — Sat, 14 Apr 2012 15:38:30 +0000

以前大学の仲間と行ってきたのですが、濃霧という最悪の状況で悔しかったので、
青春18きっぷを使って再訪してきました。2回目ですが、やっぱり足場が悪くてひどいもんでした。

というわけでスタート地点は横須賀は久里浜港。東京湾フェリーを使えば久里浜港から鋸山のふもとにある金谷港まで700円で行くことができます。
電車を使って千葉経由で行くととんでもない時間と距離の無駄がでますが、これで一気にショートカットです。

というわけで10時20分、久里浜港を出港！！

(左)：金谷→久里浜のフェリー。300mmのレンズが役立っている。
(右)：船のすぐ前を横切っていった巨大コンテナ船。そうかと思えば釣り船が停まっていたり東京湾はカオスだ。

そうこうして11時過ぎ、金谷港に着いた。金谷港から少し歩いた所に、鋸山ロープウェイの乗り場があって、
そこから一気に山頂へ向かう。

山頂へ上がると、こんな凄い景色！！！この景色が濃霧で見えなかったとは……

電車が走る様子も山頂からならこのとおり。リアル鉄道模型。実写版A列車。

記事分けないようにしようと思ったけど、今回ばっかりは写真の枚数多いから記事分けよう(意志薄弱)。
⇒次回に続く

南房総鋸山行ってきた(2)

平泉 — Sat, 14 Apr 2012 15:38:28 +0000

前回の続き。

鋸山は、山全体が「日本寺」というお寺になっていて、そのお寺の観光も兼ねていた。
他人と来るとこういう所はなかなかじっくり見られないので、
やはり神社とかお寺は一人で見に来るのが良い。

(左)：交通安全のご利益がある百尺観音。すげーーでかい。Topgearというイギリスの番組の日本スペシャルで出てきたりもする。
(右)：地獄のぞき。根元まで行ったけど、怖くて足がすくんでやめた。(高所恐怖症)

お待ちかね！仏像ギャラリー！！(つってもイイ感じの写真あんまりなかった。本物見るのが一番いい)

そんな感じで山を降りてくると、今度は大仏がある。岩を彫って作った仏像で、
金属を鋳型に流して作った鎌倉や奈良の大仏とはちょっと違う、磨崖仏というやつ。あんまり詳しくはないけど。

桜がいい感じに咲いてたので絡めて撮った(構図はほぼいっしょ)。

ついでに桜の写真も単品でいかがでしょ。

日本寺のいいところは、陽もあれば陰もある所。例えば：

こんな感じ。

そうこうしてるうちに、日が傾いてきて帰りの時間がやばくなってきたので帰り道。
ちょっと郊外とか、地方に出たりすると思うけど、歩行者にやさしくない！房総も歩きはちょーこわい。
そんな中で見つけた線路沿い。菜の花と209系！

すっかり春ですなー。この時期が一番なんだかほっとするね。

そういうわけで、僕の春休みはおしまいです！
しばしお散歩は取りやめ、これからまた数学しま～す。

第3次関西訪問記(1)

平泉 — Mon, 02 Apr 2012 15:39:27 +0000

「関西すうがく徒のつどい」というTwitterのオフ会(？)に参加してきました。
今思うとオフ会なのかセミナーなのかよくわからない。で、大阪の後編はいつになったら？＞おれ

とりあえず前編は写真をメインに。

(左)：鴨川を渡るビジネスマン。うしろは応援団。　(右)：鴨川のカモというダジャレ写真。

(左)：上から見た銀閣。　(右)：ちらっと見える銀閣。

(左)：東求堂。　(右)：それに続く庭園の道。

(左)：お茶屋に入った。　(右)：わらびもち食べた。

京都の帰りに寄り道した松本編。

(左)：四柱神社。　(右)：カエル湧水。　(下)：国宝松本城。

後編は文章が中心です。
⇒次回に続く

第3次関西訪問記(2)

平泉 — Mon, 02 Apr 2012 15:39:20 +0000

前回の続き。
こっちはどっちかって言うと「関西すうがく徒のつどい」(以下つどい)の感想、反省。
ほんとはtwitterに書いてもよかったんだけど、長文になりそうだし、
折角だからずっと見られるところに置いておこうと思ったもので。

まずはつどいに参加したみなさま、お疲れ様でした。
たくさんの人と交流、話ができてよかったです。ただ全員と話をしきれなかったのが心残りです。また、つどいの運営のみなさんも本当にお疲れ様でした。あれだけ(最終的に50人以上！)の人数を把握して会を運ぶのは僕にはできないなあ(正確にはやりたくないなあ(おい))、すごいなあと思いました。

講演は実は全部魅力的で全部聴きたかったのですが、そうもいかなかったのでそれが残念でした。時間の兼ね合いもあるので仕方がないですけどね。できるならば体がふたつ欲しかった。
僕が聴いた講演の各々の感想を簡単に書くと：
@noukoknowsさん：
数理哲学の話は実はサッパリ知らなかったので、「そ、う、な、んだー」と思いながら聴いていました。
僕はアホチンなのでフレーゲは名前しか知りませんでした。
なので、フレーゲの凄さが伝わってきてよかったと思います。
従来の論理学を考えると確かに述語論理ってすごい発明だな。
@Prooftheoristさん：
実は一番楽しみにしていた。実を言うとLKの勉強はあんまりしていなくって、
証明図書く練習したくらいでカット除去定理とか公理系の無矛盾性の証明とか
その辺には全く触れられていなかったので、それのストーリーの雰囲気
(「ストーリーの雰囲気」って「頭痛が痛い」と似てる感じがする)が掴めて助かった。
内容的にはLK知ってる前提だから(そのハードルが高いので)中～上級者向けの講演だったんじゃね？という気がした。
@kotori_yさん：
僕の友達ことりんの話。「ガチ解析学徒向け」と銘打ってる通り、
ガチ解析わかんない学徒の僕は最初の半分くらいしかわからなかった。
いや、それでも前提知識がかなり抜けてるので、
「その前提知識を認めた上で」発表を聴いて前半しかわからなかったのでアレでした。
にしてもなんで解析やってる人はあんなにかっこよく見えるのかな。隣の芝生がなんとやらかな。
@tenapi先生(立場を考えたら先生と呼ばねばならない！)：
さすがプロ、というか僕が独学なせいなのかなんなのか、序盤の説明がとってもわかりやすかった。「俺もひらいゼミでこういう風に説明すりゃよかったかなあ」と思った次第であります。
話がちょっと位相空間っぽい話になってきた辺りで「まあそうなんだろうけどすぐわかんねえなあ」っていう事件があったりして、やっぱ位相復習しないとやばいな、と思った。
あとノート取ったほうがよかったと反省した。

自分の発表の反省。
緊張しーな上、あんだけ大勢の前で発表した経験はあんまりなかったので、
自分でもなに言ってんだかわかんなかったりして大変でした。
で！まさか簡単な算数を本当に間違えてると思わなかった。いや、ほんとうの事を言うと、
もともとは$\left(\frac{73}{103}\right)$の計算だったのです。
で、どっかでそれが$\left(\frac{73}{101}\right)$になってたのですね。
家に帰って計算したペラ紙を確認したら、ちゃんと正しい計算はしてました。
それにしてもスライドをよく見なおしていないことの証になってしまった気がするので、
これからはスライド作ったら細かいところもちゃんと見なおさないといけないなあ、と思いました。
まあ算数できないのは本当だった上、なんか上手いこと笑い(笑われ？)になっていたのでそれが救いでした。

懇親会以降の話。
いろんな人に構ってもらえてありがたかったです。
特に、トイレ行って戻ってきたら、1、2年生とおぼしき人たちが席を空けてニヤニヤしてて、
「平泉さんここ座ってくださいよ！」と言われて質問責めをくらったのがおもしろかったです。
多分キミ達は僕よかよっぽどマトモな教育をされるはずだから、僕に聞くより別に聞く人いるだろ、と思わなかったわけではないけれど、あいつら結構人をのせるの上手いね。いや、僕が乗っかりやすかったのか。
ほんとはもっといろんな人とおしゃべりしたかったので、席替えとかあると楽しかったかなあ、と思った。時間はどうにもならんかなー。永久にしゃべってたかったなあ。やっぱり同志としゃべるのは楽しいよ。

という感じで、あんまりぼーっとして書きなぐっていくとあっという間に2000字を越えてしまいそうなので、ここらでやめておきます。次回は夏に開催とのことなので、大学院試とかぶったら行けないなあ、とか思うのですが、そこらへんは上手くやってくれるでしょうきっと。そういうわけで次回もまた呼んでくださいなー。

うめーこの梅(1)

平泉 — Tue, 20 Mar 2012 12:24:26 +0000

大倉山公園の梅林がいい感じらしいので、行ってきた。
ほんとうは土日がいいなと思っていたのだけど、あいにくの天気だったので、今日(20日)にした。

【ひとりごと】
大阪後編、ほんとにどっか行っちゃったね。そのうち書かなきゃ。(といってもう4ヶ月経っている)

というわけで東急大倉山駅。実は菊名からここまでは歩きだったんだけど、めんどくさいから割愛！

駅横の坂を登る。坂の時点で結構な人がいる。
僕が住んでいるところも割と坂が多いのであまり坂は気にしないが、それでもこの坂はなかなか急。

坂を登り切ったところに大倉山公園があった。

大倉山公園内にはかの有名な(？)大倉山記念館がある。

この大倉山記念館、もとは「大倉精神文化研究所」という研究所。よくわからないけど、精神文化を研究してるんでしょう(そのまんま)。おっしゃれーな建物でおっしゃれーな研究をしていたに違いない。

おっしゃれーな入り口。実は附属図書館もある。けど休館だった。

おっしゃれーな内部。吹き抜け！

おっしゃれーなベンチ。

松ぼっくりが窓際にあった。これすらおっしゃれーに見えるから困る。うっかりアーティスティック(笑)な写真ができてしまった。

そんなわけで次回は梅林に突入！お散歩恒例(？)の鉄塔写真つき！
⇒次回に続く

うめーこの梅(2)

平泉 — Tue, 20 Mar 2012 12:21:29 +0000

【前回のあらすじ】
前回は、大倉山公園に行きました。
大倉山公園には、大倉山記念館がありました。楽しかったです。まる。

そういうわけで、お待ちかね、大倉山公園の梅林！！うおー超きれい！！そして人が多い！！
というわけでしばし梅ギャラリーをお楽しみください。

(左)：あかい。　(右)：しろい。

(左)：対角線の構図にしてみた。(たまたま)　(右)：遠くから。現在僕のPCの壁紙に設定中。

(左)：逆光を取り入れてみた。(失敗した)　(右)：オーソドックスな感じに。

(左)：お花見してる人を入れてみた。　(右)：バンジョー弾いてるおっちゃんがいた。

帰りに駅に目をやったら03系が出るところだった。日比谷線、いつになったら新車入るんかねー。

大倉山の下り坂。これ桜の時期に来たら今度は桜がいい感じなんだろうな。

おまけ。みんな待ってた鉄塔シリーズ！！巨大鉄塔が近所に2本！！激アツです。

第一回ひらいずみセミナー告知

平泉 — Sun, 04 Mar 2012 13:50:29 +0000

なんか名前が付いてしまった．

twitter関連の方とセミナーやることになりました．
場所だけ告知しておきます．参加希望の方はこちらで参加申請してください．

【2012/03/20 追記】
第一回ひらいずみセミナーは無事終了しました。

【場所】
詳細な告知が無いのでこれだけちゃんと書いておきます．
[1日目]
東京理科大学野田キャンパス(理工学部) 4号館 3階セミナー室

大きな地図で見る
キャンパスは東武野田線運河駅から徒歩10分くらいです．

[2日目]
筑波大学筑波キャンパス自然系学系D棟 D509教室

大きな地図で見る
つくばエクスプレスつくば駅からバスに乗り，「第一エリア前」で下車してください．
詳細地図は筑波大学のサイトからも確認できます．

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

平泉 — Tue, 03 Jan 2012 13:57:49 +0000

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

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

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

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

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

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

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

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

大阪乗り鉄記 #1

平泉 — Tue, 27 Dec 2011 18:37:53 +0000

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

車内は都電の6000形とか函館市電のわりかし古いやつ(形式忘れた)とか江ノ電の300形みたいな感じ。久しくツリカケの電車乗ってないからまーうるさいのなんのって！！

そうこうしてるうちに我孫子道に到着。(乗ってきたのは紺色の方)後続はすぐ来る。ガワは新しいが足回りはツリカケのまんま。結局うるさい。

堺の路面区間で一瞬意識を失うが、なんとか浜寺駅前に到着。この時点で1回目の講演開始時間の9時10分前！！撮ってる場合じゃない！やばい！というわけでこの写真は翌日のもの。

南海の浜寺公園駅の駅舎。これも翌日のもの。美しいなあー。夢にまで見た浜寺公園駅舎についにやってきた、という気分。駅舎ヲタなもんですみません。

研究会の方はというと、寝不足がたたって途中何回か撃沈している。その上あんまわかんねえ(そりゃそうだ)！！それでも講演内容でほほーと思ったやつは、グラフ理論におけるmarriage theorem(名前がこれで正しいのかは知らない)と、限定算術。特に限定算術の方は、かなり弱い体系を考えると割り算ですらどう定義していいかわからないとかで(すぐわかる事なんだろうけどあんま勉強してないからうまく言えない)、「当面は割り算の定義から」って言ってた。おもしろそう。
あとは懇親会で「英語で自己紹介しろ！」って言われて泣いたくらいだけどそれは放っとこう。
【次回に続く】

なんだかんだで今年最後の更新になるんじゃないかって気がする。今年は北に西にあちこち移動したなあ。

本届いたよ

平泉 — Mon, 05 Dec 2011 16:00:27 +0000

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

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