kivantium活動日記

プログラムを使っていろいろやります

2019年2月

2月もあっという間に終わってしまいました。

今月のトピック

今月読んだ本

今月は論文を書くのに忙しくてあまり本を読めませんでした(大嘘)

天冥の標X Part3

全ての力を尽くして天冥の標シリーズをオススメする - 基本読書を読んだのをきっかけに追い始めたシリーズの完結篇。
2013年1月の記事なので読み始めてから6年間経ったことになる。

2013年というと高校2年生で、当時の自分は医学部に行こうと思っていたはずのだが、人類の軌跡を宇宙規模の争いと絡めながら語っていくスケールの大きなお話を読んでしまった結果、自分がやりたいのは人類の科学を進めて歴史を動かすことであってどうせ死ぬ人間をほんの少し延命させることではないななどとうっかり思ってしまい(このシリーズの主人公は医者なのに!)、医学部志望をやめてよく分からない学科を受験してしまったので、私の人生は天冥の標に狂わされたと言っていいだろう。
そんな思い入れの深いシリーズが予定通り10巻で終わってしまうことになり完結篇を読むのが非常に怖かったのだが、楽しみにしていてよかったと思える結末に辿りついてくれていた。

1巻は導入としてだけではなく植民星での革命劇として純粋に面白かったし、2巻の感染症との戦いは素晴らしく、3巻の世界観や酸素要らずの価値観には人生を破壊され、4巻はおいといて、5巻のスケールの大きさには度肝を抜かれ、6巻での戦いに圧倒され、7巻での絶望に心を打たれ、8巻での伏線回収に感心し、9,10巻での物語の畳み方には舌を巻いた素晴らしいシリーズであった。最終巻のあとがきに「読者の何割かに多少のエネルギーと二、三個の発見を提供できたかもしれない」とあったが、少なくとも私には大変なエネルギーを与えてくれる作品だった。

かぐや様は告らせたい 1〜13巻

アニメ放映に合わせてBookwalkerで80%オフキャンペーンをやっていたので全巻購入した。「天才たちの恋愛頭脳戦」をやっていた最初の頃は正直しょうもないことやってるなと思っていまいちだったのだが、5巻収録の「花火の音は聞こえない」以降、かぐや様が天才設定を捨てたベタ惚れポンコツ乙女になってからは毎回素晴らしかった。恋愛ものはあまり好きじゃないと思っていたが、単に面白い作品に出会ってないだけだったのではと心変わりした。

五等分の花嫁 1〜8巻

かぐや様を読んでラブコメもいいなと思っていたところに80%オフキャンペーンをやっていたのを見たので購入。性格悪いヒロインが多くてあまり好きになれなかったのだが、7巻あたりで皆がデレ出してからは面白く、8巻での二乃の一転攻勢は素晴らしくてここまで読んでよかったと思える出来だった。(ここまで書いてきて思ったが単に自分はデレデレヒロインが好きなだけなのでは……)

山田エルフ大先生の恋する純真ごはん

kivantium花嫁修業の元ネタである山田エルフ先生が料理を作る漫画。連載されると聞いてからはマガジンWALKERに契約して毎月電撃大王を読んでいたので全て読んだ話ではあったがお布施。

みらいのふうふですけど?

みらいのふうふですけど?(2) (百合姫コミックス)

みらいのふうふですけど?(2) (百合姫コミックス)

中学生百合。二人のコミカルなやりとりが素晴らしい作品だったが2巻で完結してしまった。作者が途上のIPコンテンツと言っているので打ち切りっぽい。悲しい。

お兄ちゃんはおしまい!

お兄ちゃんはおしまい!   (2) (IDコミックス)

お兄ちゃんはおしまい! (2) (IDコミックス)

妹に女の子にされてしまったニートのお兄ちゃんの話。1巻を買ったので2巻も。

GUNSLINGER GIRL

セールをやっていたので1巻だけ購入。全体に漂う暗い雰囲気や諦念が好みじゃなかったので2巻以降はまたの機会に。

量子化学

量子化学 上巻

量子化学 上巻

ラボの人に勧められたので読んだ。仮定と近似がはっきり書かれていており、説明も省略が少なかったので分かりやすかった。

2019年1月

2018年12月分も含みます。

今月のトピック

行列の微分を求めるサイト

NIPS 2018で発表された成果らしい: Computing Higher Order Derivatives of Matrix and Tensor Expressions

Vimプラグイン ale

flaskなどのlinterをVim上で走らせることができる上に、保存したときにインデントを自動で修正することもできる。便利。

その他

https://twitter.com/tmaehara/status/937385784440582144



読んだ本

量子計算理論 量子コンピュータの原理

量子計算理論 量子コンピュータの原理

量子計算の理論に関する本。古典確率計算を量子計算のようなベクトル表示で表すことで対比する導入は面白かった。
物理的な実現方法やShorのアルゴリズムのような具体的な量子アルゴリズムは扱っておらず、「量子コンピュータを持っていると主張しているQ-Wave社が本当に量子計算を行っていると検証するにはどうすればよいか」のような理論について扱っていた。論文のダイジェストという感じですんなり読める感じではなかった。
以前読んだ量子コンピュータ入門(第2版)のほうが一冊目としては良いだろう。

ここまでの9巻で広げた風呂敷を回収していくのがすごく良い。

まほろまてぃっくの作者の新作。ママ(小学生)がかわいい。

三ツ星カラーズ6 (電撃コミックスNEXT)

三ツ星カラーズ6 (電撃コミックスNEXT)

ハミングガール (百合姫コミックス)

ハミングガール (百合姫コミックス)

2018年11月

今月のトピック

PRMLの無料公開

PRML以外で無料公開されている有名本・PDFを挙げておく

いろいろな法則とか

こういうのは名前を覚えておかないとドヤ顔で披露できないので記憶する必要がある。

Content-Disposition レスポンスヘッダー

ブラウザでPDFを開いたときに、ブラウザで開かれる場合とダウンロードされる場合があるが、この挙動はHTTPヘッダーで指定できる。
HTML5のdownload属性で指定される場合やJavaScriptでダウンロードされる場合もある)

その他



2018年10月

今月知った有益情報

Multi-service image search

複数サービスを横断して画像検索ができる

UCL Course on RL

http://www0.cs.ucl.ac.uk/staff/d.silver/web/Teaching.html
強化学習のオンライン講座。誰かが分かりやすいと言っていた。

The Architecture of Open Source Applications

著名なOSSプロジェクトの内部について簡単に説明していく本らしい。

古地図

いろんな古地図を見ることができる

Exploit-Exercises: Protostar (v2)

CTFのpwn問題の勉強におすすめの問題とのこと

電子サイコロの回路出典

4015を1つ使うだけでサイコロを作れる回路の出典は「初歩のラジオ1980年10月号に松本悟さんが発表された記事」とのこと

読んだ本

量子コンピュータ入門(第2版)

量子コンピュータ入門(第2版)

ゲート型量子コンピュータの解説本。今まで読んだ量子コンピュータ本の中で一番わかりやすかった。

青葉ちゃんと紅葉ちゃんのコンペ対決。人々が頑張るのはよい。

まちカドまぞく (4) (まんがタイムKRコミックス)

まちカドまぞく (4) (まんがタイムKRコミックス)

4コマオブザイヤーで3年連続1位になっている作品。不思議な魅力がある。4巻ではギャグ描写だと思っていたものが展開上重要なアイテムになる展開に感心した。

3巻までは能力を持たないナナが能力者たちと対決する話として非常によくできており、4巻では少し方向性を変えつつナナの過去や能力者との友情が描かれていた。面白かったが、展開や新キャラからそこはかとない車輪の国っぽさを感じてしまった。

零號琴

零號琴

飛 浩隆の16年ぶりの長編。巨大楽器の竣工を記念した仮面舞踏会という面白くなさそうなあらすじだったが、高い描写力や緻密な世界構築に圧倒された。さすがにこれはふざけすぎではとか展開に納得感がなかったなぁなどと思わないでもない。

RISC-V原典  オープンアーキテクチャのススメ

RISC-V原典 オープンアーキテクチャのススメ

RISC-Vの命令セットについての本。ちょっとだけお気持ちが書いてあるが基本的にデータシートと同じ内容が書いてあるので買うほどではないかもしれない。

Docker上で開発を行う

ライブラリの開発をするときに、現在のバージョンと開発中のバージョンの性能比較をすることがあります。同じ名前のライブラリが1つの環境に複数存在すると面倒なことになるのでDockerを使って環境を分けることにしました。そのときに使ったコマンドについて記録します。

Dockerの仕組みやインストール方法については触れません。

Ubuntu 16.04のコンテナのダウンロード

Ubuntu 16.04を使うには

docker pull ubuntu:16.04

とします。

Dockerイメージの実行

Dockerイメージを入手したら

docker run -it ubuntu:16.04 /bin/bash

を実行するとコンテナ上でシェルが実行されます。オプションの意味は以下の通りです。

  • -i: 標準入力を開いたままにする
  • -t: 擬似ttyに接続する。

コンテナの実行中にCtrl+PCtrl+Qを続けて押すとデタッチされます。

アタッチするには、

docker ps

で現在実行中のコンテナのCONTAINER IDを確認してから

docker attach <CONTAINER ID>

を実行します。

別の実行方法

上の方法でコンテナを実行するとCtrl+Dをうっかり押したときにコンテナが終了してしまいます。以下のようにすると回避できます。

まずバックグラウンド実行のオプションをつけた状態でコンテナを起動します。

docker run -it -d --name mycontainer ubuntu:16.04

シェルを開くときには

docker exec -it mycontainer /bin/bash

のようにコンテナ上でbashを実行します。

docker stop mycontainer

とすればコンテナが停止します。

参考 - Dockerコンテナ内で操作 attachとexecの違い - Qiita

サーバーの変更

Ubuntuイメージに初期設定では海外サーバーになっているのでapt-getする前に国内サーバーに変更するとよいです。

sed -i.bak -e "s%http://[^ ]\+%http://ftp.jaist.ac.jp/pub/Linux/ubuntu/%g" /etc/apt/sources.list

参考: apt-getの利用リポジトリを日本サーバーに変更する - Qiita

Dockerイメージの作成

ライブラリの開発に必要なパッケージをインストールしたDockerイメージを用意しておくと便利です。こういうときにはDockerfileというファイルを作ります。

OpenBabel 2.4.1をmakeしてインストールしてあるDockerイメージを作るときに使ったDockerfileの例を示します。

FROM ubuntu:16.04
RUN apt-get update && apt-get install -y \
  build-essential \
  cmake \
  libcairo2-dev \
  libeigen2-dev \
  wget \
  zlib1g-dev
RUN wget https://github.com/openbabel/openbabel/archive/openbabel-2-4-1.tar.gz && \
  tar xf openbabel-2-4-1.tar.gz && \
  cd openbabel-openbabel-2-4-1/ && \
  mkdir build && cd build/ && \
  cmake .. && make -j ${nproc} && make install

これをDockerfileという名前で保存し、

docker build -t openbabel2.4.1 .

を実行すると openbabel2.4.1 という名前のDockerイメージが作成されます。

ファイルのコピー

ファイルをコピーするにはホスト側で

docker cp hoge.txt <CONTAINER ID>:/huga

のようにすればいいです。

停止したコンテナの扱い

停止したものも含めたコンテナ一覧を見るには

docker ps -a

とします。

docker start <CONTAINER ID>

でコンテナを起動することができます。

docker rm <CONTAINER ID>

でコンテナを削除することができます。

docker ps -a -qでIDの一覧を出せるので、コンテナを一括で削除するには

docker rm `docker ps -a -q`

とすればよいです。(参考: Dockerイメージとコンテナの削除方法 - Qiita

イメージの削除

イメージ一覧は

docker images

で確認できます。

削除するには

docker rmi <イメージ名>

とすればよいです。

他に有用なコマンドを学んだら追記します。

2018年9月

8月号はなしです。

中国に行ったあと1週間ほど腹痛と下痢で寝込んでいたので大変でした。

英語の勉強

真面目に英語を勉強します。今度こそ本気です。
勉強に使っているサイトを紹介します。

CNNの学生向けの10分の番組で月〜金に更新されます。最初のニュースをディクテーションしています。ニュース以外は面白くないので飛ばしています。CNN.com - Transcriptsにtranscriptがあったりなかったりします。ディクテーションした後に今日はtranscriptがないことに気づくととてもつらい。

毎日ABCニュースの内容を取り上げて、同じ内容を字幕付き→日本語訳字幕→字幕なし→字幕付きと4回聞く番組。
途中で単語の解説も入っているのでよいです。

科学の内容を取り上げて60秒で解説する番組のはずだが、60秒に収まっていることはほとんどないです。
これもtranscript(実は放送されている内容と若干違う)があるのでディクテーションの練習に使えます。
元論文の主張とずれているタイトルをつける回が割とあって嫌になってきたので最近は聞いてません。

Annict

読書メーターのアニメ版みたいなやつ。サムネイル画像の使いかたが引用の範囲なのか怪しい気がする。
本の書影を図書館報に使う場合も解釈が分かれているっぽい→図書館報に本の表紙写真を掲載する場合の許諾について | レファレンス協同データベース

読んだ本


色塗りの仕方がとても詳しく書かれていて良い。この本の1つ目の作例の通りに描いたのが以下の絵。

入門確率過程

入門確率過程

多目的計画法の理論と応用

多目的計画法の理論と応用

目的関数が複数あるときにどう最適化するかという理論の本。
1つの目的関数をこれ以上良くしようとすると他の目的関数が悪くなってしまうような解をPareto最適解と呼び、Pareto最適解を求める方法や複数のPareto最適解の中からどれを選ぶかというような議論が載っていた。
線形関数・凸関数の議論が中心で非線形関数の議論が弱い、NSGA-IIのようなヒューリスティック手法の議論がない、古い本なので最近の議論が載ってない、などの点で満足できなかった。

みらいのふうふですけど?(1) (百合姫コミックス)

みらいのふうふですけど?(1) (百合姫コミックス)

とても良かった。このくらいのドキドキ感の百合がちょうどよくて好き。

パワハラ美少女カンパニー 1 (ヤングジャンプコミックス)

パワハラ美少女カンパニー 1 (ヤングジャンプコミックス)

おっさんが美少女に見えるメガネを掛けてパワハラ上司のいる職場を生き抜く話。発想が完全勝利しているので応援している。部長がかわいい。

君に好きっていわせたい (百合姫コミックス)

君に好きっていわせたい (百合姫コミックス)

ゆりゆり (百合姫コミックス)

ゆりゆり (百合姫コミックス)

七人のイヴ ? (新☆ハヤカワ・SF・シリーズ)

七人のイヴ ? (新☆ハヤカワ・SF・シリーズ)

中国旅行

9/10〜9/14にかけて北京に旅行に行ってきたので記録を書きます。

行った場所の地図は以下の通りです。

Twitterの関係するツイートは以下にまとめました。

時系列で何をしたかはtogetterを見ればいいのでここではトピックごとに書きます。

渡航前の準備

飛行機の予約

いかに安い飛行機を確保するかが旅行全体の値段を大きく左右するので念入りに探す必要があります。

飛行機を探すときに役に立ったのは

です。
Googleフライトでは日程ごとの最安値を表示することができるので、チケットが安く買える日という基準で日程を決めることができます。
SkyscannerはGoogleフライトよりも多くの予約サイトに対応している気がします。
今回の旅行では、Googleフライトで安い日程を決めた後、Skyscannerで同じ日程を調べて便を決定し、Skyscannerに表示された日本の予約サイト経由で予約しました。

ホテルの予約

ホテルのクオリティは旅行の満足度に大きな影響を与えます。
今回の旅行ではExpediaで調べて出てきた北京燕山大酒店にしました。
Expediaは予約の時点で支払いを済ますことができるので現地スタッフとの会話を減らすことができ便利です。

SIMカードの購入

中国国内はインターネットの規制が厳しく、Google, Twitter, Slackなどにはアクセスできません。
しかし、香港の通信会社のSIMカードを使うと中国当局の規制を受けずにインターネットを使うことができます。
僕はChina UnicomのSIMカードを購入しました。

SIMカードを購入するときはFrequencyCheckなどのサイトで自分の携帯がその会社のバンドに対応しているかを調べておくと良いです。

高徳地図

Googleマップよりも高徳地図のほうが中国国内の移動に関しては詳しいので事前にインストールしておくと良いです。

北京の公共交通機関

地下鉄

北京は地下鉄がかなり発展しています。
空港線は25元(旅行時の1元は17.8円)ですが、それ以外の路線は3〜5元で移動することができます。
空港で一卡通という中国版Suicaのようなものを買っておくと便利です。
f:id:kivantium:20180915170604j:plain:w480

地下鉄に乗る際には荷物検査があり、荷物のX線チェックと人間への金属探知機による確認があります。
空港線のチェックは厳しいですが、それ以外の路線のチェックは雑でした。
車内やホームにはたくさんの警備員が立っており、セキュリティ意識の高さを感じました。
f:id:kivantium:20180915170930j:plain:w480

ホームドアが全路線に設置されていました。
f:id:kivantium:20180915171222j:plain:w480

路線図のLED表示はかなり分かりやすかったです。
f:id:kivantium:20180915171059j:plain:w480
空港線のようにLED表示がない路線もあります。
路線ごとの細かな違いは作られた時期の違いによるだそうで、1号線には冷暖房すらないそうです。
f:id:kivantium:20180915171305j:plain:w480

驚いたのは車外広告で、電車の外にあるディスプレイが電車の動きに合わせて広告を流しているように見えました。


後でTwitterで教えてもらったのですが、日本にも昔あったそうで、スリットに入った複数の画像を見ているという仕組みのようです。

バス

バスの運賃は一卡通の場合は1元です。
荷物検査はありませんが、警備員が一台に4人立っていたのでやはりセキュリティには気をつかっているようです。
高徳地図を使って路線検索するのが便利です。

QRコード決済

中国ではQRコードを使った決済が普及していると聞いていましたが、想像以上に便利そうでした。

博物館などの観光スポットの前には必ず大きなQRコードがあり、そこからチケット購入サイトに飛ぶよう指示されます。
入場するときは携帯でQRコードを表示して機械に読み取らせることで入場券の代わりとします。
この写真は故宮博物館の例です。
f:id:kivantium:20180915174342j:plain:w480

テーブルにあるQRコードからアクセスできるサイトからメニューを選んで注文すると店員がテーブルに運んできてくれるという店もありました。
f:id:kivantium:20180915174714j:plain:w480

このように便利なQRコード決済ですが、観光客にとっては非常につらいものです。
中国国内で主に使われているのはWeChatPayとAlipayという決済サービスですが、どちらも中国の銀行に口座を持っていないと利用することができません。
(WeChatPayは1000元までならクレジットカードの登録のみでできるという情報もあった)
またクレジットカードもUnionPayしか使えないところがほとんどで、VISAやMastercardは役に立ちませんでした。
ただし、ほとんどの場所では現金も受け付けてくれるので現金を持っていけばどうにかなります。
例外として、空港の自動販売機に現金を受け付けてくれないものがありました。
また、故宮博物館はオンラインのチケット購入しか認められず、SMS認証が必要だったのでSMSが使えないSIMカードでは入れなさそうでした(同行していた人にチケットを買ってもらいました)。

中国語について

中国はかなり英語が通じない国でした。
日本人は中国人とあまり区別がつかないのか容赦なく中国語で話しかけてきます。
English, please.などと言って英語で話すよう要求しても英語が分からない人が多くて苦労しました。

Google翻訳アプリのカメラ入力機能を使うと読み方の分からない簡体字を翻訳することができるので便利でした。

また、中国語の特性なのか多くの人が怒っているような話し方をするので精神衛生上よくありませんでした。

北京の食事

北京での食事は厳しかったです。
まず、メニューを見ても何の料理か分からないものが多くて選ぶことができませんでした。
猪は豚だろうなどの漢字のイメージで選んでもその漢字の中国語読みが分からないので注文もできません。
ようやく注文しても匂いや味が日本では食べたことのない系統のことが多く、あまりおいしいと感じることができませんでした。
日本で食べる中華料理は日本人向けにローカライズされているとは聞いていましたが、かなり改変されていたようです。

お茶に甘い味をつけたものが中国では人気らしいのですが、僕は紅茶に砂糖を入れたものですら飲めないのでそういうお茶は飲む気になれませんでした。
ファミリーマートが中国に進出しているので、そこでは日本の緑茶を購入することができました。
コカコーラのコーラ・スプライト・水はいろんなところで入手できたので助かりました。
特にコカコーラの純悦にはお世話になりました。
f:id:kivantium:20180915200332j:plain:w480

箸は日本のものと違って先があまり細くなっていません。
このような高温消毒器に箸を入れて提供している店が多かったです。
f:id:kivantium:20180915200539j:plain

プロパガンダ

中国の国家的イベントで作られた施設の近くにはプロパガンダがたくさんありました。

オリンピック公園での例です。
社会主義核心価値観とされる「富強、民主、文明、和諧、自由、平等、公正、法治、愛国、敬業、誠信、友善」はあらゆるところで見かけます。
f:id:kivantium:20180915200918j:plain:w480
f:id:kivantium:20180915201055j:plain:w480
f:id:kivantium:20180915201110j:plain:w480

国家博物館の近代展示
f:id:kivantium:20180915201310j:plain:w480

石景山遊楽園の近くの道路にあった例
f:id:kivantium:20180915201206j:plain:w480

石景山遊楽園

最後に日本で数年前に偽ディズニーランドとして話題になった石景山遊楽園の現状を紹介します。

入り口近くのゲート
f:id:kivantium:20180915201421j:plain:w480

入場門
f:id:kivantium:20180915202218j:plain:w480

入ってすぐのビジターセンター。この写真からも分かるようにほとんど人がいませんでした。
f:id:kivantium:20180915201443j:plain:w480

最近はこのようなオリジナルキャラクターが多く、パクリはほとんど見かけませんでした。
f:id:kivantium:20180915201532j:plain:w480

最近できたというフライトシミュレータで遊べる施設。128元と高かったので入りませんでした。
f:id:kivantium:20180915201618j:plain:w480

動いていない遊具。
f:id:kivantium:20180915201718j:plain:w480

屋台は全て閉店していました。
f:id:kivantium:20180915201807j:plain:w480

エロゲメリーゴーラウンド。日本のエロゲの絵が特に脈絡なく貼られていました。
f:id:kivantium:20180915201828j:plain:w480

どことなくシンデレラ城に似ている建物。
f:id:kivantium:20180915201931j:plain:w480

と思ったら案内には思いっきりCINDERELLA CASTLEと書かれていまし。
f:id:kivantium:20180915202035j:plain:w480

ゲームセンターには許諾のなさそうな景品がいくつか。
f:id:kivantium:20180915202128j:plain:w480

遊園地の南と北をつなぐ階段。アンサイクロペディアの記事にある写真と比べるとその人気の衰えが分かります。
f:id:kivantium:20180915202308j:plain:w480

このようにパクリは残りつつも影をひそめ、そもそも観光客の来ない寂れた遊園地になっているという現状でした。

特定商取引法に定められた事項は請求により遅滞なく提供する