【LaTeX】定理・証明環境 (amsthm)
amsthm.styを使っています。
設定のメモ。
ソースコード
\documentclass[11pt,b5paper,papersize]{jsarticle} \usepackage{amsmath} \usepackage{amsthm} \newtheoremstyle{mystyle}% % スタイル名 {}% % 上部スペース {}% % 下部スペース {\normalfont}% % 本文フォント {}% % インデント量 {\bf}% % 見出しフォント {}% % 見出し後の句読点, '.' { }% % 見出し後のスペース, ' ' or \newline {\underline{\thmname{#1}\thmnumber{#2}\thmnote{（#3）}}}% % 見出しの書式 (can be left empty, meaning `normal') \theoremstyle{mystyle} % スタイルの適用 \newtheorem{theorem}{定理}[section] \newtheorem{lemma}{補題}[section] \renewcommand{\proofname}{証明} \makeatletter % use at mark \renewenvironment{proof}[1][\proofname]{\par \pushQED{\qed}% \normalfont \topsep6\p@\@plus6\p@\relax \trivlist \item[\hskip\labelsep \itshape {\bf\underline{#1}}]\ignorespaces % {\bf\underline{#1}\@addpunct{.}}]\ignorespaces % ピリオドあり }{% \popQED\endtrivlist\@endpefalse } \makeatother % end at mark \newcommand\aaa{あああああああああああああああああ あああああああああああああああああああああああああああ ああああああああああああああああああああああ} %% \begin{document} % \section{定理・証明環境} amsthmをベースに、定理・証明環境を作りました。 \begin{theorem} \aaa \end{theorem} \begin{proof} \aaa \end{proof} \begin{theorem} \aaa \end{theorem} \begin{proof} \aaa \end{proof} \begin{lemma} \aaa \end{lemma} [ ]に引数を入れると以下のようになる。 \begin{theorem}[にゃんこの定理] \label{thm:nyanko} \aaa \end{theorem} \begin{proof}[定理\ref{thm:nyanko}の証明] \aaa \end{proof} \end{document}
実行結果
【LaTeX】テキストラインでの \sum の大きさを程良い感じにする
テキストラインでの数式モード中に\sumを使って総和記号シグマを出力しようとすると、添字がシグマの横に配置されてしまう。かと言ってディスプレイスタイル表示で\displaystyle\sumとするとシグマがデカすぎる。
前から気にはなっていたがまあこんなもんだろうと思い妥協していたのだが、さっき数学書を読んでいたらなんだか程良いサイズでテキストラインに総和記号シグマがプリントされているじゃないか！
一度見てしまうともう妥協できないので、とりあえずググってみると、\limitsコマンドというのを見つけた。これを使えばテキストラインの数式モード中で、直接\sumとだけ書いただけの時のシグマの大きさで、かつ\displaystyleと書いた時のように添字をシグマの上下に配置することができた！
以下ソースコード。
\documentclass{standalone} \begin{document} \begin{tabular}{rl} \verb|$\sum_{n=1}^\infty a_n$| & $\sum_{n=1}^\infty a_n$\\ \verb|$\displaystyle\sum_{n=1}^\infty a_n$| & $\displaystyle\sum_{n=1}^\infty a_n$\\ \verb|$\sum\limits_{n=1}^\infty a_n$| & $\sum\limits_{n=1}^\infty a_n$ \end{tabular} \end{document}
出力
3行目、美しい！！！
おしまい。
Apple Watch 4 レビュー
Apple Watch Series 4, 44mm, アルミニウム
を買いました。初めての Apple Watch です。
ポイントが付くのでヨドバシでネットから注文したのだが、なんかまだ在庫があったらしく数日で届いた。
iPhone とのペアリングに現時点で最新の iOS すなわち iOS 12 が必要だったので、そのためだけに iOS 11.3 で脱獄してた iPhone をわざわざ入獄して、iOS 12 へとアップデートした。果たしてiPhone 脱獄以上の利便性が Apple Watch にはあるのだろうか？
結論として、期待外れではあったが、無いよりはマシという感じである。
せめて watchOS じゃなくて iOS が入っていればなぁ。一応、iPod touch の後継機的な立ち位置なので、それぐらいを期待していたのだが、まあさすがに他の iOS 端末とは差別化されている。ペアリングに iPhone 要るし。
私が Apple Watch を欲しくなった理由は、iPhone をカバンから出すのが面倒くさかったからである。冬はジャンパーのポケットがあるから良いのだが、夏は薄着でポケットがないので iPhone はカバンに入れざるを得ない。そうしてまたひと夏を過ごしているうちに、ついに堪忍袋の緒が切れた。特に通学時の音楽再生コントロールが面倒で、最悪ただの音楽プレイヤー代わりになればいいやと己に言い聞かせ、ついに購入を決断した。音楽プレーヤーとしてはほぼ満足しているが、文句も多少はある。
時計として最も？重要な機能である、日付、時刻の表示に関しては、普段腕時計をしていなかったので、まあ腕に時計があると便利なんだなあとしか思わない。普段はディスプレイは消灯しているが、腕を上げると点灯して文字盤やアプリが表示される。変な体勢をしていない限りこれに不便さは感じない。最悪画面をタップすれば良い。あと、文字盤の種類にもよるが、秒表示可能なものがあるのでそれは iPhone と比べても便利。
文字盤にはアプリを置いたりできるのだが、基本的にただのアプリ起動のショートカットであり、文字盤上のアプリアイコンに直接情報が表示されるものは少ない。文字盤を見るだけですぐに情報が得られるものとしては、
日付、曜日、現在の気温や天気、天気予報、再生中の曲、カレンダー（当日分）、リマインダー（当日分）、アラーム・タイマー・ストップウォッチの時間、アクティビティのパラメータ、Apple Watch の残バッテリ容量
などがある。あとはサードパーティーの頑張り次第。
基本的な Apple Watch の使い方は、日付や時刻、天気予報、予定や通知の確認、音楽再生コントロール、ワークアウトの計測、あとは電話？（そういえばまだ試してなかった）ぐらいである。これらはある程度まともに機能するので期待して良い。
他社製アプリも一応 Apple Watch に対応していたりするがろくなもんがない。Apple Watch には音声入力しか入力手段がないので、Apple Watch は見るのもだと割り切った方が良い（まあ時計だし）。変に期待していると私みたいに多少ショックを受けるので、まあ上に書いた機能だけで満足できない人はまだ待機ということで。
バッテリ保ちは、最近はまだアプリ色々試したり弄りまくっているので何とも言えないが、腕に付けてるだけなら丸2日ぐらいは保つんじゃないかなぁという感じ。私は寝るときには外して充電しているのだが、上級者は睡眠時も装着しているらしい。
文字盤のカスタムは、私はまだ買ったばかりで今は十分だと感じているが、慣れてくればそのうち文句言いそうな感じはする。まあ iOS 脱獄していたぐらいなので。（ついでに iOS 12 も初体験だったのでそれの感想もいくつか述べておくと、アプリ起動が少し速くなり、細かいところで色々利便性が増してなかなか良い。特に iPad においてが良い感じである。iPhone X ユーザではもう脱獄不要説を唱える人もよく見かける。）
物理ボタンは、サイドボタンとクラウンの2つが同一側面にあるだけ。反対側にはスピーカーがある。クラウンを押せばホーム画面というか文字盤の画面に戻るのだが、これには結構力がいる。使用頻度が高いのでかなり面倒。一度スリープしてから解除するとホーム画面に戻っているので、これを利用した方が楽かもしれない。Apple Watch をスリープにするには画面を手で覆えば良い。わざわざ手のひらでやらなくても、チョップみたいな感じで画面に手を当てればいける（5日目ぐらいで気づいた）。ということでまあクラウンを回す分には良いのだが、押す時の方をどうにかしてほしい。
あと最後に、保護フィルムの話。私が腕時計に慣れていないだけなのかもしれないが、結構いろんな所にぶつける。iPhone は裸勢なのだが、さすがに Apple Watch は保護フィルムぐらい貼っとくかと思い Amazon とかで探したのだが、どれもレビューが低い。というか、Apple Watch の湾曲したディスプレイに四隅までピタリと貼り付くフィルムが無さそうである。四隅がカットされた十字のフィルムなんてものもあったがダサすぎワロリンティーヌ。結局保護フィルムを貼るのは諦めた。頑張って神経使って生活することにした。ステンレスモデルだと画面が割れにくくできているらしいのだが、それを裏返せばアルミニウムモデルは画面が割れやすいということなので注意である。
まあ最大の欠点は値段が高い事だけなので、Bluetooth イヤホン使ってる人は Apple Watch を買いましょう。
誰かが「悩んでる理由が値段だけなら買うべき」という名言を残しています。
この前全力ダッシュしたら心拍数200近くになって死にかけた時のスクショを置いて終わりにします。引きこもりは走らない方が良いです。
mac vscode ^^H
症状
なんだか最近（9月〜？）、mac の vscode で書いた TeX ファイルをタイプセットしようとするとText line contents an invalid character.とエラーが出て、タイプセットに失敗するようになった。
エラーを見てみると入力した覚えのない^^Hの文字が入力されており、これが原因でタイプセットに失敗してるらしい。
原因
^^Hと表示されているのはバックスペースの制御文字で、なぜかこれが日本語入力時にバックスペースを押すと入力されてしまう。詳しくは下記のサイトを参照してほしいが 、結局はエディタの方の問題で修正待ちらしい。
解決
vscode の拡張機能「Remove backspace control character」を用いて、ファイル保存時などに制御文字を自動で消去する。
marketplace.visualstudio.com
方法
vscode に拡張機能「Remove backspace control character」をインストールして、settings.jsonに
"ctrlchar-remover.pattern": "[\\u0008]", "editor.formatOnSave": true, "editor.formatOnType": true,
を追加。これで⌘+SかEnterか;を入力時にバックスペースの制御文字が自動で消去される。
詳細は下記サイトに日本語で書いてあるのでそれを参照。
github.com
Mojave入れた感想
台風で外にも出られないので（晴れでも引きこもってますすいません）、Macbookに新OS Mojave（もはべ）をインストールした。
DLに1時間、インストールに1時間ぐらいだった。
感想
ダークモード
エディタはもともと暗くしてあるし、まあFinderとかiTunesとかは暗くなって、まあそれだけ。
書類（pdf）とかブラウザ（Webサイト）の背景は結局白色だし、そのコントラストで余計目が疲れる。そのへんんはどうにかならないものか。Webサイトの背景が黒が主流になればディスプレイの消費バッテリ減って良さそうだなぁと思った。はい次
デスクトップのスタック
いらない、というかよくわからない。デスクトップは散らかってる方が心が落ちつく。前からある「整頓」や「整頓順序」が便利。
iPhone, iPadで写真撮影
これ iOS 12 じゃないとできないのでは？ ワイの iPhone まだ iOS 11 なの。ということでまだ試してない。
便利そうだが、昔からある Air Drop で十分満足してたのでまあいいか。
あと iOS つながりでついでに言っておくと、Apple Watch 4 を使うには最新OSである iOS 12 が必要らしい。iOS 11↓ を潰しにきてるな。
Finder 強化（？）
この表示方法で、画像の詳細などが見れるようになったが、（多分）ソートができなくなった？ まあなので変更でなく追加にしてもらえるとよかった。
スクショ
動画キャプチャなんかするかね？ 容量ばかデカイっしょ？ PCゲームあんましないしねぇ。スクショは元からかなり便利だった。
壁紙
（鳥取砂丘）。高画質なんだろうけど、砂の感じ（？）が jpg の圧縮みたいに見えてなんかアレ。やっぱ山がいいかな。
ボイスメモなどのiOSアプリ追加
まあ無いよりはいいんじゃないか。
【Mac】open コマンド
/Applications にあるアプリは、ターミナルから
open -a アプリ名
で開くことができる。
例えば Safari を開く場合
$ open -a Safari
と打てば良い。（ .app は省略可。あってもいい）
以下のように引数をとればファイルを開くこともできる。
$ open -a Safari index.html
Visual Studio Code.app のようにアプリ名にスペースがある場合は
$ open -a "Visual Studio Code"
のように""でくくる。
エイリアスを設定しておけば便利である。
ホームディレクトリにある（なければ作成）.bash_profile に
alias vscode='open -a "Visual Studio Code"'
を追加して
$ source ~/.bash_profile
で設定を反映。するとターミナルで
$ vscode
と打てば Visual Studio Code が開く。
ファイルを Visual Studio Code で開きたい場合
$ vscode test.txt
と打てばよい。
ついでに、ターミナルでのカレントディレクトリを Finder で表示するには
$ open .
でいい。