壱大整域

ツイート  RSS2.0  RSSとは?

日記

選択公理botを再始動させました

この冬休みに、選択公理bot(@AxiomderAuswahl)を再始動させました。

選択公理botはC#で書かれていて(最初はPHPでしたが…)、.NET Frameworkにより動いていました。それはつまりwindowsサーバー上で動いていたということです。windowsサーバーは(ライセンス料などもあって?)高いのですが、なんと月額250円(?!)のwindowsレンタルサーバーが以前あったのでそれを使っていました。ところが流石に安すぎたのかサービス終了、それに伴い選択公理botも停止状態となっていました。

ところで何年か前から.NET Frameworkをwindows以外でも動かせるようにしようという動きがあり、それが.NET Coreと呼ばれるものです。その最新バージョンである.NET 5が2020年11月にリリースされました。(.NET 5は.NET Frameworkの次期バージョンでもあります。)選択公理botはこの.NET 5を使い、Ubuntuサーバー上で動かしています。基本的には.NET Frameworkのときとほぼ同じソースコードで、対象フレームワークを.NET 5に変えただけで動いています。

実際にやり方についてはMicorsoftの公式ドキュメントが詳しいです(Nginx 搭載の Linux で ASP.NET Core をホストする)。また選択公理botのような、定期的に実行するようなものについても公式が参考になります(ASP.NET Core でホステッド サービスを使用するバックグラウンド タスク)。

また今回、リプライへの反応についてはTwitterの新しいAPIを使用するようにしました。webhookと言われているやつです。これはQiitaの記事が参考になります(【エラーコード別解説】Twitter の Account Activity API の Webhook URL が登録できないときの解決法)。

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

この前2019をインストールしたばかりな気がしますが、TeX Live 2020が出たのでインストールしました。やり方はいつもと同じ感じなので省略します


さて、インストール自体はこれで良かったのですが、TeX Live 2019以前をインストール済みでtexmf-localフォルダを使用していた場合、恐らくエラーが発生するようになると思います。このフォルダの権限設定がTeX Live 2020によって変更されてしまう(?)ようです。

権限周りの設定のことがよくわからないので、僕は必要なファイルを一個ずつ右クリックして権限を付けて回りました……

Windows10+upLaTeXで源ノ明朝を使う

前回の通り、パソコンを新しくしたのでTeXの環境も整え直します。TeX Live 2019を入れる話は以前に書いた通りで、今回はエラーもなく1時間半程度で終わりました。

現在公開しているPDFファイルはフォントとして源ノ明朝というものを使っているので、これも入れます。これはZRさんのupLaTeX文書で源ノ明朝/Noto Serif CJKを簡単に使う方法(最新のdvipdfmxとpxchfonを使用)の通りで、要はWindows10に対して源ノ明朝というフォントをインストールすれば、あとは記事の通りTeXファイルを書くだけです。が、前のPCではこれでうまくいっていたのに今回はうまく動きませんでした。

調べた結果、Windows10 (のバージョン1809以降)ではフォントをインストールする際に「ユーザーごと」「全ユーザー」という2種類のインストール方法があり、「ユーザーごと」のインストールだとTeXではダメなようです(参考サイト: Windows 10にフォントを追加インストールする方法と注意点)。前のPCでフォントを入れたときは1809より前のバージョンで、エラーにならなかったのかもしれません。

というわけで、全ユーザーに対してフォントをインストールしなおすことで、無事に源ノ明朝が使えるようになりました。

パソコンの調子が悪い話

実は今使っているパソコンは2016年1月頃に買ったものですが、なんか調子が悪いです。 まず、一年前くらいにこのパソコンは壊れました。↓当時のツイート

何が悪いのかはよく分かりませんが、とりあえずメモリを買って来て交換したら無事動きました。

(このとき実は最初に「とりあえずメモリ片方抜いてみたら」とアドバイスを貰ったのですが、このパソコンはメモリは8GB1枚だったのです。こういうときに困るということが分かったので今後は必ず2枚組にします。)

でまぁこのときはこれで治ったのですが、それから1年経った先日、また同じような現象が発生しました。今度はメモリを片方ずつ抜いて試したところ、正常に起動したので、またメモリが悪かったらしいと分かりました。

しかし……メモリって1年でそんな簡単に壊れるのか? 別の場所に根本的な原因があるのでは? とか、そもそもパソコンの調子が全体的に悪い感じがする(再起動にすごい時間かかるし…)とかで、なんかもう今使ってるパソコンが全然信用できない感じになってしまいました。

そこで、新しいパソコンを購入しました!! (続く?)

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

TeX Liveインストールチャレンジ2019をしました。手順は昨年と大体同じです。

  1. TeX Liveのページに行きdownloadのページから install-tl-windows.exe をDLします。
  2. DLした install-tl-windows.exe を実行する(後述するように右クリックして「管理者として実行」した方が良いと思います)と次の画面が表示されるので、「Next」をクリックします。
  3. すると次の画面が表示されるので、「Install」をクリックすると
  4. インストールっぽいことが始まります。
  5. ちょっと待つとこんな画面が出てきて

    さらにこの画面に変わります。

    ここで、この画像だと「すべてのユーザ向けにインストールする」がグレーアウトしていて、チェック不可になっています。これは恐らくインストーラを管理者権限で実行していないからで、install-tl-windows.exe を右クリックして「管理者として実行」すればチェックがONにできるようになります。
  6. 好みの設定にしたら「インストール」をクリックすると、いつものようにインストールが始まります。
  7. これが終わるとこの画面になるので

    「閉じる」をクリックすると次の画面になります。
  8. 「Close」をクリックしてインストール完了です。

で、うまく行くんですか? と思っている人もいるかもしれません。今年はなんと、1回目はエラーが出て失敗しましたが2回目で成功しました。成功したので昨年と同様、コマンドプロンプトを開いて「tex -version」とやってみると、確かにTeX Live 2019と出、ま、せん……。

で調べて分かったのが上記の「すべてのユーザ向けにインストールする」の話です。TeX Live 2018をインストールすると、システム環境変数のPathに必要な設定がされますが、TeX Live 2019のインストールを「すべての(ry」チェックOFFでやってしまうとユーザ環境変数の方にPathが設定されるようです(チェックONでインストールは試してないので、実際どうなのかは分かりませんが)。Windows10の仕様ではPathはシステム環境変数の方が優先される(正確な書き方ではないので、気になる人は調べてください)ようなので、これではtexを実行した時にTeX Live 2018の方が実行されてしまうわけです。

というわけで、環境変数を手で設定し直したところ、無事「tex -version」でTeX Live 2019と出るようになりました。

(2019/08/26追記: 「すべての(ry」チェックONでインストールするとシステム環境変数のPathに必要な設定がされることを確認しました。)

(2019/08/26追記その2: Windows10+upLaTeXで源ノ明朝を使う も参考にしてください。)

更新履歴

  1. 2021年10月07日 07:35 サイト紹介
  2. 2021年04月01日 00:20 線型空間の基底の存在
  3. 2021年01月11日 19:30 選択公理botを再始動させました
  4. 2020年08月29日 21:36 第1回0xセミナー「Kan拡張入門」に関するページ
  5. 2020年07月25日 11:30 レビューを書くページ
  6. 2020年06月22日 08:00 スマブラSP
  7. 2020年04月17日 22:32 TeX Live 2020をインストールした
  8. 2019年12月05日 18:01 TeXについて
    TeXの種類の判別についてリンク追加
  9. 2019年10月05日 01:00 ルール追加
  10. 2019年09月17日 18:20 選択公理について
  11. 2019年08月26日 20:00 Windows10+upLaTeXで源ノ明朝を使う
  12. 2019年08月22日 22:13 パソコンの調子が悪い話
  13. 2019年05月23日 21:28 TeX Live 2019をインストールした
  14. 2019年05月02日 03:47 図式の書き方について
  15. 2019年04月01日 13:04 第3回関東すうがく徒のつどいに参加しました
  16. 2019年03月02日 23:49 スマブラSPキャラ使ってみた感想
  17. 2018年05月03日 02:55 TeX Live 2018をインストールした
  18. 2018年02月09日 21:07 順序数・濃度の簡単なまとめ
  19. 2017年12月03日 00:05 CTAC3日目
  20. 2017年12月02日 00:12 CTAC2日目

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

Twitter

日記過去ログ

2021年
  1. 1月
2020年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
2019年
  1. 1月
  2. 2月
  3. 3月
  4. 4月
  5. 5月
  6. 6月
  7. 7月
  8. 8月
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. Linuxmetel (集合に関する命題)
  2. sepia (任意の群のp-Sylow部分群の存在)
  3. 匿名 (ななめ消し)
  4. 抽象数学大好き玄人 (全ての概念はKan拡張である、とは何か)
  5. 抽象数学大好き素人 (全ての概念はKan拡張である、とは何か)
  6. 匿名 (∪∩の分配法則)