C92:「簡約!?λカ娘(10)」が出ます

C92の一日目(2017/08/11(金))に、サークル「参照透明な海を守る会」から『簡約!? λカ娘 10』が出ます.場所は「東7た11b」です.

<簡約!? λカ娘 10> 内容紹介
第 1 章 モナドとひも @myuon_myon
第 2 章 矢澤にこ先輩と一緒にモナドモナド! @public_ai000ya
第 3 章 Coqダンジョン:底抜けの壺の夢 @master_q
第 4 章 IST(Internal Set Theory)入門(後編) @dif_engine
第 5 章 静的コード解析はいいぞ! @master_q
第 6 章 VeriFast チュートリアル(Bart Jacobs / 翻訳: @eldesh, @master_q)

第 4 章の『 IST(Internal Set Theory)入門(後編) 』が私の記事です.
前編から一年もあればさぞかしゆったりと充実した記事が書けるだろうと思っていましたが,調べる範囲を広げたり絞ったりして試行錯誤しているうちにわりと初歩的なところに内容がとどまった感じです.

表紙
去年に続いて表紙絵を描きました.Goのとき以来の両面表紙になりました.表が『けものフレンズ』のフルルの衣装を着たあずにゃんで,裏が『シンフォギア』の立花響のアームドギアをまとったイカ娘です.

イカ娘(10)表紙

広告

【自分用メモ】ラテン語でiの上の点がなくて棒になってるやつ(伝われ)

■要約: \={\i}

■ラテン語なんかを(まったく知りませんが)latex の文書で引用しようとするとき,i の上の点が棒になってる文字が使いたくなりました.
最初は \={i} かと思ったのですがこれではiの上の点が消えてくれません.調べたら \={\i}を使えば良いようです.(終わり)

■参考:

% !TEX TS-program = platex
% !TEX encoding = UTF-8 Unicode
\documentclass{jsarticle}
\usepackage{verbatim}
\usepackage{minitoc}
\usepackage[utf8x]{inputenc}
\title{有限性について}
\date{}
\begin{document}
\maketitle
finite という言葉はラテン語の\textit{f\={\i}nis}から来てるそうです.
\end{document}

git で特定のファイルだけ取ってくる(自分用メモ)

git checkout fname

commit 前のファイルを git stash で上書きしてしまった!どうする?(自分用メモ)

要約
git stash pop が使えないか検討しよう.

背景
共同作業しているプロジェクトで,「どれどれ,最近の他の人の作業どうなってるかな」という軽い気持ちで git pull したあなたは pull が失敗することに気づいた.「よくわかんねえな」と呟いたあなたはさらに何気なくgit stash してしまう.とりあえずチームの作業を確認したあなたは,作業中だったエディタに向かった.そして異変に気づく:「あれ…このファイル,前回の commit の状態に戻されてるぞ.」そう,あなたが前回の commit から数日間の間に行った大量の変更は消し去られ,数日前の状態に戻ってしまったのだ.

対処
“stash”というのは,何かをこっそり隠すだとか取り除けておく,というような意味合いの言葉です.
その名前が示唆するように,git stash したとき,先程まで保存されていたファイルは(保存されていなかったとしたら流石にアウトだと思うので,エディタが自動的に保存しているバックアップなどを探すしかないでしょう)どこかに置かれています.

最後の stash で退避したファイルを戻すには git stash pop すれば良いようです.

習慣による回避
このような回復手段が git に備わっていることは大変素晴らしいことですが,驚いたり焦ったりすると利用可能な思考のリソースが削がれてもったいないので,日頃から些細な変更のあとにも躊躇なく commit するといいんだろうな~.

時間があるときに調べて書き足すこと
git stash list とかしたときに幾つか stash の結果が出てくるけど,0が一番新しいやつなのか?とかよくわからなかった.stash を複数回やってしまった場合などに回復するためには stash list で得られたリストの時系列をちゃんと知っておくべき.