あら、前回の記事から４か月経ってる。
ここまで間が空くと、
何を書いたら良いのかわからんもんですな。
とりあえず宣伝しなければならぬのは、
本を書きました。
タイトル：Coq/SSReflect/MathCompによる定理証明 ～フリーソフトではじめる数学の形式化～
出版社：森北出版
です。
コンピュータを使って定理を証明しちゃおう
って話です。
専門的な言葉で言うと
SSReflectの入門書
的な位置づけです。
良かったら SSReflect本 って呼んでね。
出版社による公式HP（？）はここをクリックです。
表紙はこんな感じ。
可愛いでしょ。
映画は、あんまり観れてないのですが、
時々見てます。
最近観たものは
・ゲティ家の身代金
・サバービコン 仮面を被った街
・映画 プリキュアスーパースターズ!
・羊の木
・（チャップリンの）独裁者
・監獄の首領
・殺人者の記憶法
・静寂の森の凍えた姉妹
・x + y
・Too Young To Die
・NERVE/ナーヴ 世界で一番危険なゲーム
・スリー・ビルボード
・IT “それ”が見えたら、終わり。
・バリー・シール／アメリカをはめた男
・Battle of Sexes
・I, Tonya
・ガール・オン・ザ・トレイン
・グレイテスト・ショーマン
・嘘八百
です。
覚えている範囲です。
ちなみに、この順番は思い出した順です。
ドラマも観てます。
今年観たもの、観てるものは
・Nobel
・99.9-刑事専門弁護士- SEASONⅡ
・相棒
・コンフィデンスマンJP
・シグナル
くらいでしょうか。
どれも面白いです。
一番上のNobelは、海外ドラマで、日本と海外の違いを考えさせられる逸品です。
最下の２つは、現在（５月１６日）も継続放送中です。気になる方は是非。
デンマークとスウェーデンで１月から放送が開始された The BRIDGE が観たいのですが、
日本での放送はいつからだろう。
観たら泣くだろうな。たぶん。泣く。そして、無力感・脱力感に襲われるだろうな。たぶん。
