壱大整域

ツイート  RSS2.0  RSSとは?

日記

TeX Live 2018をインストールした

いつの間にかTeX Live 2018がリリースされていたようなので、Windows10にインストールしてみました。

  1. TeX Liveのページに行きdownloadのページから install-tl-windows.exe をDLします。
  2. DLした install-tl-windows.exe を実行すると次の画面が表示されるので、「Next」をクリックします。
  3. すると次の画面が表示されるので、「Install」をクリックすると
  4. インストールっぽいことが始まります。
  5. ちょっと待つとこの画面が出てくるので「次へ」をクリックします。
  6. この画面になりますが、「少し時間がかかります!」とのことなので待っていると
  7. こうなるので「次へ」をクリックします。
  8. この画面になるので、好みの設定にします。

    メニューショートカットっていうのは、スタートメニューに出来るこれですかね?

    TeXworksフロントエンドというのはよく分かりませんが、私はTeXworksは使わないのでチェックをOFFにしました。
  9. 次に進むとこうなるので「導入」をクリックすると
  10. 長いインストールが始まります。これが終わると
  11. この画面になるので、「終了」をクリックしてインストール終わりです。
  12. コマンドプロンプトを開いて「tex -version」とやってみると、確かにTeX Live 2018と出て、インストールができてるっぽいことが分かります。

と、うまく行けばいいんですけどね~。実際の所、私の環境では、5回くらいやっても

というエラーが途中で出てしまい、インストールできませんでした。 3GBくらいある texlive2018-20180414.iso をDLして、その中にある install-tl-windows.bat を実行したらうまくインストールできました(手順は上に書いたのと大体おなじ)。

CTAC3日目

Category Theory Advent Calendar 2017の3日目です。

Category Theory Advent Calendar 2017 3日目 PDF

「選択公理⇒排中律」です。参考文献で上げているJohnstoneを読んで昔証明を書いたのですが、まだトポスのページが無くて出せていなかったものを引っ張り出してきたものになります。多少ギャップがありますが仕方ない。

CTAC2日目

Category Theory Advent Calendar 2017の2日目「明日使える? Kanリフトの話」です。

Category Theory Advent Calendar 2017 2日目 PDF

CTAC1日目

Category Theory Advent Calendar 2017の1日目ということで、Math Advent Calendar 2017 1日目に対抗してp進整数環の話を書きました。

Category Theory Advent Calendar 2017 1日目 PDF

ちなみに、代トポのサイトを眺める日課でFractalのページを発見して、こういうのもあるのかと思って書きました。

式変形? なんか思ったことをつらつら書いただけ

例えば群論で逆元が一意であることを示すときに、xの逆元をy, zだとして

y = y1 = y(xz) = (yx)z = 1z = z

などとします。こういう、式の変形(もっときちんと言えば、文字列の形式的な変形)だけで証明が終わったりするのが「数学」って感じがしたし、こういう証明こそがよい証明だと思ってたりしたわけです。(※個人の感想です)(※なんか中1~学部くらいの頃の感想)

圏というのを触り出すと

という二つの図式が可換の時に

が可換であることを示せ、なんて問題が出てきて(出てきませんが)

と二つの図式をくっつければそれは明らかですが,これを

h〇(p〇i) = (h〇p)〇i = (q〇g)〇i = q〇(g〇i) = q〇(j〇f) = (q〇j)〇f

と式変形でやる人はそんなにいないでしょう。(これくらいなら居るかもしれません。これくらいなら……)

図式がもっと複雑になっていくと

というような図式が出てきます。これは「θ」が「j〇f」から「g〇i」への「射」であることを意味しています。 意味はともかく「θ」は「射」なのです。するとこのような「射」を合成したくなることがよくあります。 そういうような「計算」を図式でやると

というような感じになるわけです。これをよく見ると分かるかもしれませんが(分からないかもしれませんが)、この「式変形」では文字の置き換えではなく図式の置き換えをして「式変形」をしています。そういう意味では、この計算も最初の計算も「同じ」かもしれませんが、しかし同じには全然見えません。

更新履歴

  1. 2018年5月 5日 03:21 TeXについて
  2. 2018年5月 3日 02:55 TeX Live 2018をインストールした
  3. 2018年4月 9日 22:24 図式の書き方について
  4. 2018年2月 9日 21:07 順序数・濃度の簡単なまとめ
  5. 2017年12月 3日 00:05 CTAC3日目
  6. 2017年12月 2日 00:12 CTAC2日目
  7. 2017年12月 1日 00:05 CTAC1日目
  8. 2017年7月 8日 01:43 式変形? なんか思ったことをつらつら書いただけ
  9. 2017年1月 8日 07:05 2016年を振り返る(アニメ編)
  10. 2016年12月30日 03:44 2016年を振り返る(かまちー編)
  11. 2016年12月29日 23:59 2016年を振り返る(漫画編)
  12. 2016年5月29日 03:32 Lindenbaumの定理
  13. 2016年5月28日 00:15 圏論
  14. 2016年5月22日 09:50 Urysohnの補題
  15. 2016年5月21日 21:11 基数のなす順序集合
  16. 2016年5月21日 12:47 このページについて
  17. 2016年3月12日 17:59 リンク集
  18. 2016年2月 8日 21:51 グラフの彩色
  19. 2016年1月17日 06:26 Nielsen-Schreierの定理
  20. 2016年1月11日 22:50 2015年を振り返る(ルール追加編)

※細かい更新などは書かない事もあります。

Twitter

日記過去ログ

2018年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
2017年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
  6. 6月
  7. 7月
  8. 8月
  9. 9月
  10. 10月
  11. 11月
  12. 12月
2016年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
  6. 6月
  7. 7月
  8. 8月
  9. 9月
  10. 10月
  11. 11月
  12. 12月
2015年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
  6. 6月
  7. 7月
  8. 8月
  9. 9月
  10. 10月
  11. 11月
  12. 12月
2014年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
  6. 6月
  7. 7月
  8. 8月
  9. 9月
2013年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
  6. 6月
  7. 7月
  8. 8月
  9. 9月
  10. 10月
  11. 11月
  12. 12月
2012年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
2011年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
  6. 6月
  7. 7月
2010年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
  6. 6月
  7. 7月
  8. 8月
  9. 9月
  10. 10月
2009年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
  6. 6月
  7. 7月
  8. 8月
  9. 9月
  10. 10月
  11. 11月
  12. 12月
2008年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
  6. 6月
  7. 7月
  8. 8月
  9. 9月
  10. 10月
  11. 11月
  12. 12月
2007年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
  6. 6月
  7. 7月
  8. 8月
  9. 9月
  10. 10月
  11. 11月
  12. 12月
2006年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
  6. 6月
  7. 7月
  8. 8月
  9. 9月
  10. 10月
  11. 11月
  12. 12月

最近のコメント

  1. 匿名 (このページについて)
  2. 匿名 (このページについて)
  3. QQQ~ (このページについて)
  4. 匿名 (このページについて)
  5. アマ (リバーシブル)
  6. 流石 (折り返し+キーぷよ)