0 x 0 行列の行列式

ときどき,「0 x 0 行列の行列式」を考える必要が生じる.0 x 0 行列の行列式はいくつなのか,行列式の定義に従って考えてみたい.行列式を定義する方法はいくつもあり,人ごとに(或いは場面ごとに)定義のしかたの流儀が異なるかもしれない.ここでは,次…

鶏などのアヒージョ

【材料】 鶏もも肉 178g むきえび 82g えりんぎ 100g オリーブオイル 300ml ミニトマト にんにくおろし スプーン山盛り2杯 刻みネギ 2つかみ 茅乃舎「野菜だし」 1袋鶏もも肉とえりんぎは1口大に切り,「野菜だし」の 2/3 くらいをまぶした.残りはむき…

大人のチキンライス 1

【材料】 炊きたてのごはん(2杯分) 鶏もも肉 168g トマト半分 80g 茅乃舎の野菜だし 1袋 ケチャップ 大さじ1 オリーブオイル 大さじ1 1/2茅乃舎のだしを買ったら「お料理読本」がついてきた. このレシピはそれを参考にしている.(大人のチキンライス…

SGL 演習問題 I.9

Mac Lane and Moerdijk, "Sheaves in Geometry and Logic"(以下 SGL)の演習問題 I.9 は普通に考えるとおかしい(但し,問題文自体が不正確なので間違いと言い切るのも難しい).結論があまり僕にはなじみのないもので面白かったので書いておく.演習問題 I…

HTMLにPDFを埋め込み,かつ更新を簡単に反映する

【背景】 自分だけが閲覧できるブログで,数学的な内容のメモを残している. しかし MathJax などでは使える命令に制限があるため,自由にメモを書きにくい.一方で,ローカルで LaTeX から PDF を生成してアップロードする方法では,PDF そのものをよく更新…

かぼちゃの煮物1

材料: かぼちゃ 426g 水 500ml 砂糖 大さじ5 醤油 大さじ1 塩 小さじ1/2 かぼちゃの種とワタをスプーンでとった.ワタは取れているとは言いがたかったけど…… それを,固い皮に苦労しながら 2, 3 cm 角に切った.(新しい包丁でなければ切れなかったのでは…

なめたけ1

材料: えのき茸 137g(根もとを切り落としたあと) あごだし 80ml みりん 大さじ2 しょうゆ 大さじ3えのき茸をざっくり半分の長さに切って鍋に投入. あごだし 50 ml を加えて中火〜強火で加熱を始めたが, ほとんど液体がなくて不安だったので,すぐにも…

Mac OS X の「キーボードビューア」にショートカットを設定する

目的 Mac OS X で「キーボードビューア」を開くキーボードショートカットを設定する. 方法 1. まず下記から,キーボードビューアを起動するシェルスクリプト keyboardViewer をダウンロードする.ファイルは任意の場所においてよい.(以後,ファイルのフル…

上質の言語パズル!言語学の知識不要,「国際言語学オリンピック」が面白い

パズル好きの人に,ぜひ「国際言語学オリンピック」の過去問をおすすめしたい.(リンク先から,問題と解説が全てダウンロードできる.) この大会では,世界のさまざまな言語に関する問題が出題される.たとえば2014年の問題は,第1問がベナベナ語の動詞に…

焼きおにぎり1

材料: 醤油 大さじ1+小さじ1 みりん 小さじ1 あごだし 小さじ1 冷凍ごはん 2包 冷凍ごはんを解凍して2つのおにぎりを,醤油大さじ1・みりん小さじ1・あごだし小さじ1を混ぜたものの上で転がした……が,そのとき握りかたが足りずバラバラ崩れてしま…

鶏の照り焼き2

今日は味の素の「お肉やわらかの素」を使った.材料:鶏もも肉 300g強味の素「お肉やわらかの素」 小さじ3濃口醤油 大さじ1みりん 大さじ1料理酒 大さじ1 1/2砂糖 小さじ1弱鶏もも肉の両面に「お肉やわらかの素」を振りかけて数分置いた.熱したフライ…

「原論」と二等辺三角形

エウクレイデス「原論」の定義に従えば,正三角形は二等辺三角形ではないらしい,という話を小耳に挟んでびっくりしたので,原文を確かめてみることにした. 結論としては,やはりそんなことはなさそうで,正三角形は二等辺三角形と考えられているのではない…

はてなブログ移行

Google の Blogger が意外に記事を書きにくかった(全体的に重かった)ので,はてなブログに過去の記事ごと移行しました。

味噌汁1

材料:かつおかれぶし 4gお湯 200cc味噌 大さじ1鰹節にお湯を注いで蓋をして 3 分待ち,濾してかつおだしにした(この作り方は白ごはん.comに書いてあった).試しにかつおだしだけ飲んでみたらすごく薄かったけどこれでいいんだろうか.そのあと大さじ1の…

和風ローストチキン1

材料:手羽元 7本 (399g)濃口醤油 大さじ3料理酒 大さじ1醤油と酒を混ぜたものに,手羽元をビニール袋で50分くらい漬け込んだ.そのあと,レンジを230℃に予熱し,そのあとオーブン機能で200℃30分加熱した.予熱後,レンジのドアを開けたままレシピを見た…

鶏の照り焼き1

材料:鶏もも肉 329g濃口醤油 大さじ2みりん 大さじ1と1/2料理酒 大さじ1と1/2砂糖 大さじ1/2まず鶏もも肉の厚い部分に切り込みを 10 回くらい入れる.また,皮をフォークで刺しまくっておいた.タレは,前回は濃口醤油大さじ1と1/2で味が薄い気がしたの…

素うどん1

ダシの量を覚えておくためだけのメモ.材料:「おばあちゃんに教わった讃岐のうどん」1袋アゴ出汁「だし道楽」50mlお湯300mlうどんをパッケージの指示通りに茹でて,ダシとお湯を合わせたものに投入する.パッケージには「沸騰したお湯に入れ,麺が浮き上が…

小エビ入りニラ玉2

昨日も作って成功したけど,焼いた時間を記録しておく.材料:ニラ半束 (58g)卵「集」3個 (180g 強)キューピー あえるパスタソース 香ばしえび塩ニラを切って,フライパンにゴマ油小さじ2を熱してニラだけ炒める.ニラを強火力コンロ,中火で4分半炒める…

小エビ入りニラ玉1

材料:ニラ半束 (38g)卵「集」3個 (188g)キューピー あえるパスタソース 香ばしえび塩ニラを切って,フライパンにゴマ油小さじ2を熱してニラだけ炒めた.ニラ単独で食べられるくらい熱してから(一部が焦げ始めているくらい),卵と「香ばしえび塩」を混ぜ…

だし巻き卵1

材料:卵「広島の卵」3個(重さを量り忘れたけど昨日と大差ないはずなので 170g くらい)あごだし 大さじ1料理酒 大さじ1ごま油を卵焼き器に小さじ2くらい熱して,キッチンペーパーで全体に伸ばした.この新品の卵焼き器は高性能で,一定の温度以上にな…

エビ入り卵いため1

材料:・卵「広島の卵」3個,171g・「あえるパスタソース 香ばしエビ塩」(キューピー)材料をすべて混ぜる.フライパンにサラダ油大さじ1杯を熱してそれを投入する.中火で2分炒めた.結果:過去に何度か,ほぼおなじレシピでやったときより味が薄かった…

チャーシュー1

次回のために,材料などの条件と結果をメモしておくことにした.今日はチャーシュー.材料:・豚バラ肉ブロック 325g・「おいしい煮豚のたれ」(日本食販)小さめの鍋(赤いやつ)を使って,強火力コンロで煮た.汁が肉を覆ってないのが気になったが,少々い…

Notability + Apple Pencil

iPad Pro と Apple Pencil で手書きのメモを作成する(または板書をとる,講演原稿を書くなど)ために,Notability というアプリを使うことにしました.Apple Pencil に特に対応している手書きメモアプリの中で,Notability を使う決め手になったのがこの設…