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

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

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