bitterharvest’s diary

A Bitter Harvestは小説の題名。作者は豪州のPeter Yeldham。苦闘の末に勝ちえた偏見からの解放は命との引換になったという悲しい物語

Webミーティングと自動翻訳

コロナウイルスとの共存という言葉は好きではないが、世界中にこれだけ蔓延してしまうとその根絶はほとんど絶望的である。感染することのリスクをある程度覚悟しながら、社会生活を前に進めざるを得ないのだろう。博物館でのボランティアガイドも以前とは形…

曼殊沙華を満喫するために西方寺へ

9月最後の日、曼殊沙華(彼岸花)を鑑賞するために、横浜市の港北ニュータウン近くの新羽にある西方寺を訪ねた。この寺は800年前に鎌倉に創建され、500年前に現在の地に移築されたそうである(鎌倉極楽寺の境内古絵図の右下隅に西方寺と記されている)。最寄り駅…

一遍上人ゆかりの無量光寺を訪ねる

今年初めての秋晴れの日(28日)に、相模野に一遍上人ゆかりの無量光寺を訪ねた。一遍上人は、諸国を巡り歩き、行く先々で「南無阿弥陀仏」と書かれた念仏札を配布して、人々に念仏を唱えることを勧めた時宗の開祖として知られている。人生のほとんどを遊行し…

相模国一之宮の寒川神社を訪ねる

10月1日から東京都出発・到着の旅行も、GoToキャンペーンの仲間入りとなるようだ。本当に大丈夫なのかと疑われる中、昨日の朝のニュースで、推進派の人たちは社会的距離(social distance)を保てば大丈夫と主張していた。このニュースのあと、イギリスに関連…

おまかせボタン付きオーブンレンジで、野菜つき肉料理を楽しむ

コロナウイルスから逃れるために中断となっていた活動が、本格的にとはいかないまでも、いよいよ来月から開始されることとなり、少しずつ準備を始めている。巣ごもり中の大きな変化は、妻と競うように「お家パン」作りを始めたこと、それが高じて本格的にな…

ドライトマトを用いたラムチョップの煮込み

8月になってやっと梅雨が明けたと思ったら、いきなり耐えきれないほどの暑い日が訪れ、そのあとずっと続いている。先ごろのニュースによれば熱中症での死亡者が昨年をすでに上回ったそうだ。この暑さに耐えるために、我が家では夜中でもずっと冷房をかけっ…

家庭用のオーブンレンジでフランスパンを焼く

コロナウイルスとの戦いに対して、背反する政策が、政府と東京都から打ち出され、都民の対応は混乱したようである。自粛を求める都の政策に天気が加担したのであろうか、本来ならば東京オリンピックを迎えて輝いていたはずの4連休は、梅雨の典型的な空模様と…

クルミのねじねじパンに挑戦

コロナウイルスはとても正直だと思う。人と人の接触を制限すると収束し、大丈夫と思って規制を緩めると広がる。休戦のときがあるのではと儚い期待を抱いたが、最近の様子を見ると叶わぬ夢になりそうである。巣ごもりの状態が間断なく続きそうな気配さえ感じ…

横浜市農村生活館みその公園『横溝屋敷』を訪れる

家にこもっての読書にもさすがに飽きてきて、毎日の散歩で行く場所よりも離れたところに行きたいという衝動にかられ、横浜市鶴見区にある古民家を訪ねてみた。東横線大倉山駅から歩いて25分の距離だが、コロナの流行が下火になったとは言えないこの時期に、…

日本の歴史公園100選に選ばれた薬師池公園を訪れる

中先代の乱の古戦場「井手の沢」のあとに訪れたのは薬師池公園、2007年には「日本の歴史公園100選」にも選ばれた町田市を代表する公園で、季節に応じて、梅、椿、桜、花菖蒲、古代ハス、紅葉などを楽しむことができる。いまの時期は花菖蒲と紫陽花である。公…

中先代の乱の戦場「井手の沢(菅原神社)」を訪ねる

東京都のコロナウイルス感染者は特定の場所に限定されているようであり、都下のはずれに感染者がいるはずもないと考え、空っとよく晴上がった17日に、近くの歴史遺跡を訪れた。その場所は、町田市の菅原神社。この場所は、鎌倉幕府が終わり、建武の新政が成…

チキンライムアフリカ風

またまた手軽に作れるチキン料理の紹介である。前のレシピもそうだったが、今度のレシピの出どころは、堤人美さんの『こんがり焼くだけレシピ』である。この本には、野菜と、野菜・肉あるいは魚介とを組み合わせた料理、いずれもがオーブンあるいはトースト…

鶏肉のプチ塩釜焼き

コロナウィルスによる自粛が解除される中、外に飛び出す人も増えてきているようだが、もう少し様子を見極めたほうがよさそうに思えるので、家での料理作りをしばらく楽しむことにした。前回は4日もかかる長丁場のラザーニャに挑戦したが、今回は簡単に作れる…

プロのレシピでラザーニャ・エミーリア風に挑戦するー仕上げ

4日間かけての調理も、いよいよ最終段階、これまでに作ってきたパスタとソースを使っての仕上げである。ここまでの作業が台無しにならないことを祈りながら、そしてレストランで味わえるような魅力的なディナーとなることを期待して、ラザーニャ・エミーリア…

プロのレシピでラザーニャ・エミーリア風に挑戦するーベシャメルソース作り

ミートソースに加えてもう一つ用意しておくのが、ベシャメルソース(sauce béchamel)である。材料はこの通り乳製品が多い。ダマにならないように作るのがコツである。 ベシャメルソースは次のようにして作成した。中火で、フライパンにバター(40g)を溶かした…

プロのレシピでラザーニャ・エミーリア風に挑戦するーボローニャ風ミートソース作り

ミートソースはこの料理のかなめだ。そのため使う食材の種類も半端ではない。ひき肉を中心に香味野菜、ハーブ、香辛料などがオンパレードだ。 最初に野菜を炒める。材料は玉ねぎ(1個)、にんじん(1本)、セロリ(1本、頂いたレシピは2本の指定だが、購入のとき…

プロのレシピでラザーニャ・エミーリア風に挑戦するー生地作り

昨年暮れ、飯田橋にあるイタリアンレストランで、かつての職場の同僚と、ラザーニャを食した。とても美味しかったのでそのことを告げたところ、ありがたいことに、後日そのレシピを頂くことができた。折角なのですぐに試してみたかったのだが、運の悪いこと…

Ubuntuに搭載の代数幾何学用ソフトMacaulay2を遠隔操作でWindowsマシンより利用する

表現可能関手の記事を書いているときに、表現可能という専門用語が代数幾何学からの由来であるらしいことを知り、代数幾何学を少しでも理解しようとして、よさそうな参考資料を探して読んでいるときに、Macaulay2と呼ばれるソフトがあることを知った。これは…

レモンビスケット

馴染みの店のfacebookでレモンビスケットを見つけた。お店の人がイタリアでの修業時代のレシピを紹介してくれたものだ。巣ごもりが続く中、気晴らしにと挑戦することにした。簡単そうに見えたのだが、やっと3回目に家族に出しても大丈夫だろうと思われるも…

圏論:ストリング・ダイアグラム ー 米田の補題

4.米田の補題 いよいよ米田の補題の証明である。これは次のようになっている。局所的に小さい圏\(\mathcal{C}\)(任意の2対象\(A,B\)に対して\({\rm Hom(A,B)}\)の類が集合となっているような圏)について、共変\({\rm Hom}\)関手\(h^A:\mathcal{C} \rightar…

圏論:ストリング・ダイアグラム ー 表現可能関手

3.表現可能関手 世の中のものにはそれぞれ名前がついているのが普通で、いちいちその由来を考えることはないが、時々なぜと頭を悩ませるものがある。表現可能関手(representable functor)もその一つだ。この関手が、何を表現可能にしてくれるのだろうと考…

圏論:ストリング・ダイアグラム ー 異なる随伴の定義が同値であることの証明

2.2 余単位-単位随伴による定義 随伴の定義には先に説明したもののほかに、いくつかの同値な言い換えがある。その中で、よく知られているものに、余単位(counit)-単位(unit)随伴がある。これは次のように定義される。圏\(\mathcal{C}\)と\(\mathcal{D}\)…

圏論:ストリング・ダイアグラム ー 随伴

2. 随伴 ストリング・ダイアグラムでの表現にも慣れてきたので、いきなりジャンプして、圏論の真髄ともいえる随伴について考えることにしよう。 2.1 随伴の定義 ウィキペディアでは、随伴を次のように定義している(但しここでは記号は変えてある)。圏\(…

圏論:ストリング・ダイアグラム ー \( {\rm Hom}\) 関手

1.7 \( {\rm Hom}\) 関手 圏論らしいと思わせてくれる関手の一つが\( {\rm Hom}\) 関手である。これは射を集合として扱えるようにしてくれる素晴らしい機能である。 1)\( {\rm Hom}\)集合 \( {\rm Hom}\) 関手の説明に先立って\( {\rm Hom}\)集合を説明…

圏論:ストリング・ダイアグラム ー 自然変換

1.6 自然変換 対象の間をつないだものが射、圏の間をつないだものが関手、そして関手の間をつないだものが自然変換である。射での合成は、関手でも保存されたが、自然変換でも同じように保存される。関手は二つの圏を結ぶものであった。このため一方の圏…

圏論:ストリング・ダイアグラム ー 関手

1.5 関手 関手は、未知の圏を既知の圏から観察できるようにしてくれる、圏論の中でも重要な概念の一つである。二つの圏が与えられたとき、これらを関手でつなぐことによって、一方の圏が持つ代数的構造を、他方の圏に持ち込むことが可能になり、他方を観…

圏論:ストリング・ダイアグラム ー 合成・結合律・単位律

1.3 合成 射の合成は、圏を構成するための重要な道具の一つである。圏\(\mathcal{C}\)において、射\(f:A \rightarrow B, g:B \rightarrow C\)が存在したとき、\(f\)を計算し、その結果に対して\(g\)を計算することを、射の合成と言い、これを\( g \circ f…

圏論:ストリング・ダイアグラム ー 集合の要素

1.2 集合の要素 圏にはいろいろな種類があるが、それらの中で馴染みやすいのは集合の圏だろう。これは\(\mathbf{Set}\)で表すことにしよう。集合の圏\(\mathbf{Set}\)とは、対象のそれぞれが集合であり、集合の間の射はそれぞれが全関数であり、射の合成…

圏論:ストリング・ダイアグラム ー 射

テレビでは、連日、それもかなり頻繁に、コロナウイルスが話題に上っている。感染症の一つなので、その数理的なモデルはパーコレーションである(複雑系という学問の中で、20世紀末から21世紀初頭にかけて多くの研究成果が発表された)。そしてこれを終息させ…

圏論をビジュアルに表現する(4)-随伴とモナドの関係

6.5 随伴とモナド ストリング・ダイアグラムを用いて、随伴からモナドが導き出されることを示そう。前述したように随伴は、二つの圏\(\mathcal{C,D}\)と関手\(L:\mathcal{D} \rightarrow \mathcal{C}, R:\mathcal{C} \rightarrow \mathcal{D}\)で構成され…