スキップしてメイン コンテンツに移動

3月10日-11日鳥羽・名古屋

1泊2日で鳥羽と名古屋に行ってきた。ということで、メモ的な。

鳥羽

主目的地は鳥羽水族館。 一人で来館する人を対象とした「ひとリウム」という企画をやっていて、しかも3月10日はへんな生きもの研究所の生物がテーマだという。 へんな生きもの研究所の飼育日記がいつも面白いので、これはちょっとそそられる、というのが唐突に鳥羽なんぞに行く動機である。

朝の8時前に家を出て、1時少し前に鳥羽駅に着く。 そこから10分ほど海沿いを歩くと鳥羽水族館である。

実際にイベントに参加してみたら意外にも女性の方が多かった。 参加者は10名ぐらいだったか。 話をしてくれた飼育員はいつもその飼育日記を書いている人ではなく、 最初に餌やりを5種類ほど見せてくれたのだが、 もっとへんな生きものたちへの偏愛を語ってくれるのかと思っていたので、いささか拍子抜けの感が。 その後、水槽を裏側を見せてくれたりなどイベント自体は30分ほどで終了。

一通り館内を見て回って思ったのは、水槽の中の生き物が他の水族館に比べて密度が高いということ。 ウツボがうじゃうじゃとか、伊勢エビがわさわさとか。

へんな生きもの研究所にももう一度行ってじっくり見て回った。 ユミヘリゴカクヒトデのシダムシ(寄生する甲殻類)の標本とか、 その飼育日記で取り上げられ新種と確認されたトリカジカエラモグリというウオノエの一種の標本とか、 鏡餅のように二段重ねになるウニとか(意外に実物は小さい)、 移動はしないけど体の各部はそこそこ動いているダイオウグソクムシとか。 飼育日記がよりいっそう楽しめそう。

水族館をじっくり見ても3時間も持たなかったので、少し散歩。 鳥羽市立図書館にポータルを落としに行き、鳥羽城跡を経由して駅へ。

名古屋

宿を名古屋に取って一泊したのは、ついでに降り立ったことのない名古屋を見て回ろうと思ったから。

ということで、基本的に徒歩で名古屋城とか…観光地っぽいのはそこだけか。 大須の近くは通り過ぎたし、堀川沿いも少し歩いた。 この日はマラソン大会(マラソンフェスティバル名古屋愛知)とかいうので交通規制で街が分断されていて、街の東側には行くのが大変そうだったので、そっち方面はまた次の機会ということに。 で、名古屋城だが、天守閣は昭和に空襲で焼けて建て直したというだけあって、いわば城の外観をした博物館みたいなもの。 リアリティの再現に向かわないのが昭和っぽいな、という感想。 本丸御殿を現在再建中で一部が公開されているが、こちらはリアリティ追求型でとても現代っぽい。

名古屋メシは、お昼にきしめんを食べたぐらい。 まあ、米を選択肢に入れない、朝は食べない、となると選択肢はほとんどない。

新幹線

さて、帰ろうと思ったちょうど午後4時過ぎに静岡県内で停電して新幹線が止まってしまった。 復旧を待つ選択肢もあったとは思うのだが、いつも西から帰るときに一瞬だけ考えて結局実行に移したことのなかった、中央本線ルートを使うときが来た! と、長蛇の列のカウンターで新幹線から中央本線の特急に変更してもらい、いざ。 17:40発の長野行き「しなの」で塩尻まで、そこから新宿行き「スーパーあずさ」に乗り換え。 塩尻では30分ぐらい待ち時間があるし駅そばでもと思っていたら19時で閉店していた。 そう、この時点で2時間が経過しており、東海道新幹線も再開したとか何とか…。 で、真新しいスーパーあずさで立川まで来ると、中央線は三鷹で乗り換えなくて良い各駅停車運行の時間帯になっていた。

ということで、中央線で東京に出て新幹線で名古屋まで、名古屋から近鉄で鳥羽、鳥羽から名古屋へはJRの快速みえ、そして名古屋から中央本線、とこの二日の主な鉄道移動が図らずも一筆書きルートだった。

このブログの人気の投稿

「函数」音訳説について探してみる

Twitter に書こうかと思ったが、ちょっと長くなるのでこっちに書くことにする。 「函数」が音訳というデマと、本当の語源 というブログ記事について ツイートされてるの を見た。 詳しい内容はリンクを辿って読んでみて欲しい。 その記事中の「函数」音訳説という部分で、引用されているものが意外と新しい1980年代以降のものなので、さすがにもっと古いだろう、と探してみた。 1. 武部良明「漢字の用法」(1976) このほか武部良明『漢字の用法』(角川書店1976)にも同様の記述があるという(未確認)。 とあって、たまたま同書(三版)を持っているので調べてみた。 「関数」ではなく「関・函」の項にあった。 「函」は「いれる」意味。 したがって、「函数」という漢字の組み合わせからは、「対応して定まる数」という意味は出てこない。 「函数」については function という原語の音 fun を、「函」の音カン(現代中国語 han)で写したものとされている。 これに対し現代表記の「関数」は、全体の意味を「かかりあう数」と考え、「函」の部分を、同音で「かかりあう」意味の「関」に書き換えたものである。 2. 遠山啓「関数を考える」(1972) 近所の図書館で見つけた。 会話体の文章の中で、先生役が言っている。 はっきりはわからないが, 中国語の発音では function と似ていて, しかも意味も近いらしいのだ. 3. 遠山啓「数学は変貌する」(1971) 2012年にちくま学芸文庫から出た「現代数学入門」所収。 「関数を考える」が中学生ぐらいを対象にしたシリーズの一冊なので、そこでいきなり初披露ということは無いだろうと見当をつけて遡って探した。 機能とは簡単にいうと働きです。 ライプニッツが初めてファンクションという言葉を使った. ライプニッツはドイツ人ですが, ドイツ語は当時はいなかの言葉みたいで, フランスが文化の中心であったから, フランス語で書いてありますので, フォンクション (fonction) です. もとは日本では「函数」, あとになって「関数」と改めたのです. なぜこんな函の数という妙な言葉を使ったか, これは中国からきた字です. 中国人は各国語を音まで似せて訳すことがうまい. フォンクションは中国語で函数を中国読みしますと非常に似ているのだそ...

2025年の読書

読書メーターの記録 によるとマンガも入れて101冊。 久しぶりに年100冊に乗った。 前年からの勢いのままに菌類関係の本をいくつか読んだが深澤遊の「キノコとカビの生態学」「枯木ワンダーランド」は面白かった。 後半はファーブル昆虫記を読破した。岩波文庫の古い訳で読んだのが良かったのか良くなかったのか。 数学関係は、前半表現論の本を読んで表現とは加群のことであるという言葉で何だかすっきりした。 年の終わり近くはラングランズ予想というか楕円曲線と保型形式とガロワ表現とみたいな内容の本をいくつか。「ラングランズ予想」というそのものズバリなタイトルの本も出たのでその内読みたい。 マンガは、「ヴィンランド・サガ」も「アルテ」も「推しが武道館に行ってくれたら死ぬ」も完結して、読み続けるタイトルが少なくなってきた。

Schur Number

Youtube の Numberphile チャンネルで最近出た Schur Number の動画を見た、 そこでのシューア数の定義は OEIS の "version 1" の方 Smallest number such that for any n-coloring of the integers 1, ..., a(n) no color is sum-free, that is, some color contains a triple x + y = z. だったが、 "version 2" の Largest number such that there is an n-coloring of the integers 1, ..., a(n) such that each color is sum-free, that is, no color contains a triple x + y = z. の方が解り易いからこちらで話を進める。version 2 の方が 1 小さい値になるというだけの違いがある。 動画の内容は \(a(n) = 160\) になる証明が2ペタバイトのデータ量で凄い、みたいなこと。 結局、全ての n-coloring を確認するしかないとか何とか。 ここではそういう難しい部分の話はせずに、1, 4, 13, 44, 160 という増え方が大体 3 倍を超えるぐらいというのを納得する議論をしてみたい。 よりはっきり言うと、1, 4, 13 と増える \(a_{n+1} = 3a_n + 1\) という数列が下限になることを示す。 一つ注意を述べると、n-coloring を考えるというより \(\{1,\ldots,k\}\) の和抜き(sum-free)集合による被覆を考えれば良い。被覆ができれば彩色を作れる(自由度を失うだけ)ので。 そういうわけで \(\{1\}\) の被覆を考え始めるわけだが、そちらも \(\{1\}\) で良い。 次に \(\{1, 2\}\) の被覆を考えるが \(1+1=2\) なので \(\{1,2\}\) は和抜きではない。よって \(\{1, 2\}\) の和抜き集合による被覆は \(...