🔖最近読んだ本
冬は本を読みたくなる。なるべく電子書籍で済ませている。
🚀SF
- 作者: ジェイムズ・P・ホーガン,池央耿
- 出版社/メーカー: 東京創元社
- 発売日: 1983/05/27
- メディア: 文庫
- 購入: 16人 クリック: 154回
- この商品を含むブログ (93件) を見る
「ガニメデの優しい巨人」までは読んでいたので続きを読んだ。 最初の「星を継ぐもの」が一番好きだなという感想を払拭できない。
続編の「内なる宇宙」も買ってあるが読んでない。
🔍ミステリー
- 作者: 横山秀夫
- 出版社/メーカー: 新潮社
- 発売日: 2007/04/25
- メディア: 文庫
- 購入: 2人 クリック: 16回
- この商品を含むブログ (75件) を見る
- 作者: 横山秀夫
- 出版社/メーカー: 祥伝社
- 発売日: 2007/02/01
- メディア: 文庫
- クリック: 10回
- この商品を含むブログ (98件) を見る
この作者はハズレがないので安心して読める。
👻ホラー
- 作者: 恒川光太郎
- 出版社/メーカー: 角川グループパブリッシング
- 発売日: 2008/05/24
- メディア: 文庫
- 購入: 12人 クリック: 114回
- この商品を含むブログ (84件) を見る
Amazonが勧めてきたので読んだ。 本筋とはさほど関係ないが「地面に刺さっている剣は植物の一種で、抜いた直後は使えるがいずれ使えなくなる。 ばらばらになった剣を土にまくと、再び剣が生えてくる」というエピソードが気にいっている。こういう滅茶苦茶な話好き。
今までホラーはあまり読んでいなかったが、楽しく読めることがわかった。AmazonのカテゴリはSFとホラーが一緒にされているので、Amazonにとっては既知なのかもしれない。
- 作者: 恒川光太郎
- 出版社/メーカー: 角川書店(角川グループパブリッシング)
- 発売日: 2010/09/25
- メディア: 文庫
- 購入: 2人 クリック: 14回
- この商品を含むブログ (26件) を見る
- 作者: 恒川光太郎
- 出版社/メーカー: KADOKAWA
- 発売日: 2018/05/31
- メディア: 単行本
- この商品を含むブログ (2件) を見る
夜市がよかったので、同じ作者の本を2冊読んだ。両方ともよかった。
- 作者: 貴志祐介
- 出版社/メーカー: 角川書店
- 発売日: 1998/12/10
- メディア: 文庫
- 購入: 38人 クリック: 500回
- この商品を含むブログ (184件) を見る
別の作者のホラーも読んだ。登場人物が携帯電話もってなかったりして違和感を覚えたが、1998年に出た本らしい。どうりで。
生まれた年が同じ登場人物が殺されてて悲しかった。
🦔ノンフィクション
絶滅できない動物たち 自然と科学の間で繰り広げられる大いなるジレンマ
- 作者: M・R・オコナー,大下英津子
- 出版社/メーカー: ダイヤモンド社
- 発売日: 2018/09/27
- メディア: 単行本
- この商品を含むブログを見る
タイトルに魅かれて読んだ。結局「無理に保護してまで、絶滅を防ぐのはどうなのか」という話が実例つきで書いてあっておもしろいが、逆にいうとそれ以上の情報はない。
🛠技術書
ブロックチェーンが流行っているので基礎知識を身につけようと思って読んだ。
小説形式になっててウッとなったが、読み進めるうちにさほど気にならなくなった。あんまり得意な形式ではない。
- 作者: アンドリュー“バニー"ファン,山形浩生,高須正和
- 出版社/メーカー: 技術評論社
- 発売日: 2018/10/19
- メディア: 単行本(ソフトカバー)
- この商品を含むブログ (2件) を見る
積ん読になってたので読んだ。文体も軽妙だし、話題の幅も広くておもしろい。Chumby好きだったし、開発の話が読めてよかった。
が、ハードウェアを大量生産するためのノウハウが役にたつ予定はない。
【新版】UI GRAPHICS 成功事例と思想から学ぶ、これからのインターフェイスデザインとUX
- 作者: 安藤剛,水野勝仁,萩原俊矢,ドミニク・チェン,菅俊一,鹿野護,有馬トモユキ,渡邊恵太,須齋佑紀/津?将氏,庄野祐輔,藤田夏海,塚田有那,増川草介??栂木一徳
- 出版社/メーカー: ビー・エヌ・エヌ新社
- 発売日: 2018/10/19
- メディア: 単行本
- この商品を含むブログを見る
格好いいiPhoneアプリのデザインがたくさん載っててよい。iPad Pro 9.7インチでも若干狭かったので、iPad Pro12.9インチで読むか、紙で買ったほうがよさそう。
Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
- 作者: 萩原学,アフェルト・レナルド
- 出版社/メーカー: 森北出版
- 発売日: 2018/04/18
- メディア: 単行本(ソフトカバー)
- この商品を含むブログを見る
積ん読になってたので読んだ。その2。
Coqの部分は概説レベルでSSReflectやMathcompにページ数が割かれててよかった。
zip書庫の展開方法は「右クリックした上で"送る"を選び...」というレベルで丁寧に書かれているのに、群の定義はさっとすませてるのがおもしろい。たぶんそういう読者層を想定してるのだと思う。
🦀鳥取
台湾旅行だけではANA解脱に至らなかったので、鳥取に行った。
🦀カニ
空港にカニのだし汁がでる蛇口がある。終了してたけど。
@k0matatsuに大漁市場なかうらまで連れってもらってかにトロ丼を食べた。めっちゃうまい。
夕飯にもカニをがつがつ食べてたら「カニ好きなんですね〜〜^^」と言われた。 カニがあったら食べるでしょ??
⚓️境港
境港/鬼太郎ロードにいった。
電車がラッピングされててすごい。
急に金の話がでてくる。一兆円ほしい。
砂場コーヒーのトレーラーを見つけたので行ったが、店員さんがいなかった。妖怪なのかもしれない。
街灯に迫力がある。夜みたら泣くかもしれない。
カニの被り物や妖怪の像があってたのしい。
めっちゃ楽しんで貰っている pic.twitter.com/2R0Uzcmwyi
— こまたつ (@k0matatsu) December 15, 2018
🏢水木しげる記念館
鬼太郎ロードの端にある水木しげる記念館に行った。
ねずみ男のプロフィールに「転職を繰り返す」と書いてあって、謎の共感を覚える。 よく見ると博士号を取った上で別の学部を卒業してて学歴がすごい。
一反もめんの解説は単位の説明になっている。
基本的に迫力があって怖い。
🛏ドーミイン
境港の前にあるドーミインに泊まった。
夜に食堂に行くとラーメンがもらえる。すごい。
朝食は海鮮盛り放題のバイキングだった。
✈️ANA
ANA修行をミスりました pic.twitter.com/WpkBh556Dx
— mzp (@mzp) November 26, 2018
この失敗をリカバーして、プラチナメンバーになった。よっしゃ。
🇹🇼台湾
勤労感謝の日による3連休に台湾に行った。 勤労に感謝している。
👣観光
九份
九份を見にいった。これが一番の目的。
雨がふっててつらかった。
途中の道がせまくて歩きづらかった。
AppleStore台北
台北のAppleStoreの様子を見にいった。
台北101
AppleStoreは台北101という高層ビルにはいってるので、展望台も見にいった。
雨が降ってる日だったので、ほぼ白みないな景観だった。わりといい値段はらったのに...。
🎯看板
看板が漢字でなんとなく読めるが、ちょっと違う。
明朝体の電光掲示板、あまり見ない気がする。書体もちょっと違う気がする。
Exitと出口のタイポグラフィが美しい。
東京最強らしい。
🍜食事
夜市
夜市に行ってみたかったので行った。
が、雨がふってたので、普通の店にはいった。台湾料理セットみたいなもの。
そのあとは他の店でワンタン麺を食べた。おいしい。
さらに、豆花という豆乳プリンを豆乳につけたデザートも食べた。うまい。
小籠包
鼎泰豐にいって小籠包を食べた。
カニミソ小籠包を頼んだら、カニの形にきった皮がはいっててかわいかった。
いっしょに頼んだチャーハンもおいしい。
タピオカミルクティー
タピオカミルクティーも飲んだ。 なぜかビールの容器にはいってる。
しょうがないので、そのあとビールも飲んだ。
18才以上は飲酒可能らしく異文化を感じた。
火鍋
火鍋を食べにいった。からいけどおいしい。
具の半分が以上が何か分からないので、明るい闇鍋みたいになっている。食べてもなにか分からなかった。
📱eSIM
iPhoneXSにしたので、GigSkyを契約して使っていた。
現地でプリペイドSIMを買うのと比べて、抜いたSIMカードをどこにしまうかを考えなくていいのが楽。
🚃移動
MTRは券売機で一回切りのトークンが買える。 改札機にタッチすると通れる。
Uberはいつも通りの利用感で安心できる。割り勘機能がうまく使えなかった気がする。
その他
ANAのPP修行は失敗しました。(5万ポイントを貯めるつもりだった)
ANA修行をミスりました pic.twitter.com/WpkBh556Dx
— mzp (@mzp) November 26, 2018
💨呼吸時間の記録
Apple Watchには「呼吸」アプリがある。深呼吸によるリラックスを支援をするアプリである。(参考: 呼吸 App を使う)
呼吸した時間をPixelaに記録し始めた。
🎯一覧性と継続のモチベーション
呼吸した時間はヘルスケアアプリに記録される。 しかし、継続日数が読み取りづらく、毎日続けるモチベーションになりづらい。
✨Pixela
Pixelaは任意のデータをGitHubのコントリビューショングラフ(通称: 草)にするサービスである。
⏫ショートカットを用いた呼吸時間の記録
ショートカット(旧: WorkFlow)で呼吸時間をPixelaに記録する。
ショートカットを不特定多数に公開する方法はないので、画像を貼っておく。
おもに次の処理を行なっている。
- ヘルスケアから呼吸時間を取得する
- 合計時間を計算する
- Pixelaに記録する
- 1〜3を過去n日分に繰替えす
最初は作成したのち更新する、という流れにしたが、更新のみでできるように pixe.la の仕様が変更された。(最高!!)
ありがとうございます!Pixelの、ですよね!
— a-know (@a_know) November 23, 2018
PUT の挙動を「なければ作成」にしようと思っております...!🙏
対応してみました!😀https://t.co/5Yb7c1hEds
— a-know (@a_know) November 24, 2018
💓所感
iPhoneアプリを書かずにiPhoneの情報を扱えるショートカットは便利。ただ版管理機能や共有機能が弱いのは厳しい。
Pixelaは手軽でいい。見慣れた見た目になる、簡単なAPIで使えるので使い出がありそう。ただ、データを確認するときに、いちいちcurlを叩くのは大変だったのでPawを使った。
🔐二要素認証
Twitterなどの二要素認証では、二要素認証用のアプリで生成した認証コードを使う。
認証コードをどのように生成しているのか、Twitterとは無関係のアプリで生成した認証コードが利用できるのか、クラウドで同期できるのかが疑問だったので実装した。
🔍調査
なにから調べていいか分からなかったので、普段使っているAuthyのサイトを見ていたら、二要素認証の種類について説明しているページがあった。
これによると「TOTP(Time-based One-Time Password)」という方式らしい。
あの6桁の数字はワンタイムパスワードなのかと気づいた。
📕 TOTPアルゴリズム
TOTPというキーワードをもとに検索すると、RFCまで辿りつく。
TOTPは以下の式で計算される。
時刻T(Unix秒)におけるは以下の式であたえられる。 はワンタイムパスワードが有効な秒数であり、通常は30である。
Swiftで書くとこのようになる。
public final class TOTPGenerator { private let hotp: HOTPGenerator public init(secret : [UInt8]) { self.hotp = HOTPGenerator(secret: secret) } public func generate(at date : Date, format: OTPFormat) -> String? { let count = UInt64(date.timeIntervalSince1970) / 30 return hotp.generate(at: count, format: format) } }
📒HOTPアルゴリズム
TOTPはHOTP(HMAC-based One-time Password)のパラメータを時刻にしたものなので、メインのアルゴリズムはHOTPで定義される。
Truncateはハッシュ値を指定の桁までに切りつめる操作だが、数式で書くとつらいのでSwiftで書くとこのようになる。 ほぼこのままの式がRFCにのっている。
func truncate(hash : [UInt8]) -> Int { let offset = Int(hash[19] & 0x0f) return Int(hash[offset] & 0x7f) << 24 | Int(hash[offset + 1]) << 16 | Int(hash[offset + 2]) << 8 | Int(hash[offset + 3]) }
これを使いうとHOTPは以下のコードで生成できる。
import class CryptoSwift.HMAC class HOTPGenerator { private let hmac: HMAC init(secret : [UInt8]) { self.hmac = HMAC(key: secret, variant: .sha1) } func generate(at count : UInt64, format: OTPFormat) -> String? { guard let hash = try? hmac.authenticate(Array(uint64: count)) else { return nil } // 先頭6文字のみを使う return String(String(truncate(code)).suffix(6)) } }
🤝秘密鍵の交換
TOTP/HOTPでは秘密鍵を共有する必要がある。
秘密鍵はBase32でエンコードされてやりとりされる。 二要素認証の設定画面に表示される「7nx ofic ...」がそれにあたる。QRコードにも同様の内容が含まれている。
🛠サンプルアプリ
アルゴリズムだけ調べても正しいか不安なので、Swiftでコマンドラインツールを作った。
Mastodonの二要素認証に表示されるSecret keyを入力して、二要素認証に使えることを確認した。
Swift Package Managerを使ったが、プレインテキストでプロジェクトの構成を管理できてよかった。
xcodeprojファイル管理するの大変だからフォルダ構成とかから生成できないかなーと思ってたけど、swift package generate-xcodeprojでできたわ
— mzp (@mzp) 2018年11月3日
👀参考にしたサイト
- Swift Package Manager V4 + Utilityで作る!コマンドラインツール – Eureka Engineering – Medium
- Swift Package Manager (SwiftPM) で作るコマンドラインツール - Qiita
- ワンタイムパスワードジェネレータを作った - ぶていのログでぶログ
💕感想
普段、使ってるものの仕組みをちゃんと調べるのはたのしい。
Authyとかの二段階認証、どういう仕組みになってんの? なんで独立したアプリがTwitterのコードを生成できんの? というのが不思議だったので、RFCとか読みながら作った。 pic.twitter.com/eDGWQd3bWP
— mzp (@mzp) 2018年11月3日
要は事前に共有した秘密鍵と時刻から、認証用のコードを生成してるんだ
— mzp (@mzp) 2018年11月3日
🖥43インチモニタ
43インチの4Kモニタを購入した。 体験がいい。
🛒購入したもの
- I-O DATA 4K モニター ディスプレイ 43型 EX-LD4K431DB
- エルゴトロン LX デスクマウント モニターアーム
- あとでHP(ヒューレット・パッカード) シングルモニターアーム BT861AA](https://www.amazon.co.jp/dp/B006PYJD44/)のほうが安いと教えてもらった。
- サンコー VESA変換プレート
- QTop Mini DisplayPort to HDMI変換ケーブル
- ベッセル(VESSEL) ドライバーセット
🍖焼き肉寿司
@izmさんに誘われて焼き肉寿司を食べにいった。
うまいうまいと食べてたら、テンションがあがって4Kモニタを注文してしまった。 もともと欲しいと思ってたので、「ボク使っていますが最高ですよ」と言われて背中を押されてしまった。
私は焼肉寿司食べてる間にテンションがあがって40インチモニタを購入した気がします
— mzp (@mzp) October 15, 2018
@izmさんはiPhoneXSを買っていた。
焼肉寿司食べてる間にテンションがあがってiPhone XSを購入した気がする
— izm (@izm) October 15, 2018
📦設置
数日後に届いた。 「二人以上で作業しろ」と書いてあった。そんなこと言われても困る。
詰んだ pic.twitter.com/1eZ9m9i0lX
— mzp (@mzp) October 17, 2018
そこまで重くなかったので、見なかったことにして一人で取り出した。
机に置けないかなと思って挑戦したが、まったく置ける気配がなかった。さらにドライバーがなかったので台の取り付けもできなかった。
とりあえず壁に立て掛けて、MacBookProをつないだ。Netflixで言の葉の庭を再生したら最高になった。
デスクにのらなかったので、とりあえず床に置いた pic.twitter.com/KJW0qF6Os0
— mzp (@mzp) October 17, 2018
🔧モニタアーム
最高だけど床に置いたままにはできないのでモニタアームを注文した。ドライバーのセットも買った。
次の商品を購入しました:エルゴトロン 『エルゴトロン LX デスクマウント モニターアーム 45-241-026』 via @amazonJP https://t.co/5cgGFwOqFk
— mzp (@mzp) October 17, 2018
到着したあと説明書を見ながらアダプタを取り付けたり、モニタアームをデスクに装着したりした。2回くらい取り付け方向をミスったがなんとかなった。
怖かったので、ベッドの位置をずらして、万が一落下しても頭にあたらないようにした。
🔌HDMI変換アダプタ
使ってたHDMI変換アダプタが4K解像度に対応しておらずフルHD解像度しかでなかった。
フルHDはつらいので変換アダプタを注文した。コンセントまで電源ケーブルが届かなかったのでOAタップも買った。あわせ買い対象商品のため、金額調整のために洗濯用洗剤も買った。
これで4K解像度で出力できるようになったので、最高になった。
ばしばしウインドウ開いても狭くならないので最高。若干もてあましている。
🗑今後の課題
モニタを買った結果、古いモニタの廃棄方法を調べることになってる。
— mzp (@mzp) October 20, 2018
PCリサイクルマーク...?
— mzp (@mzp) October 20, 2018
💡スマート家電
引越ししたので家電をいくつか進捗した。 せっかくなので、リモートで制御できるものを買った。
🤖ルンバ
床がちらかる前にルンバを買った。iPhoneアプリで制御できるなかでは一番安いモデルにした。
【Amazon.co.jp限定】アイロボット ルンバ691 wifi対応 複数床面対応 自動充電 ロボット掃除機 R691060
- 出版社/メーカー: iRobot (アイロボット)
- メディア: ホーム&キッチン
- この商品を含むブログを見る
動かしたらいきなりケーブルを巻き込んで停止した。ケーブルボックスを導入したら、なんとかなった。
ルンバちゃんがベースステーションのコンセントに突進していって自殺みたいになってる
— mzp (@mzp) August 15, 2018
@blackenedgold OAタップ & ケーブルボックスありがとうございます! これで、ルンバちゃんがケーブルを食べることがなくなります!! pic.twitter.com/i7mXrTPuhI
— mzp (@mzp) August 17, 2018
ルンバがケーブルを巻き込むのでケーブルボックスを追加購入した。なんかペット飼ってる気分になってきた
— mzp (@mzp) September 3, 2018
いまも週一くらいで停止している。かわいい。
💨エアコン
エアコンは部屋についてたので、NatureRemo miniを購入した。
スマートリモコン Nature Remo mini【Amazon Echo/Google Home対応】
- 出版社/メーカー: Nature, Inc.
- メディア: エレクトロニクス
- この商品を含むブログを見る
あまり調べずに買ったが、温度調整のUIが格好よくていい。温度計がついてるのもおもしろい。
💡照明
照明も部屋に備え付けだったが、調べたらリモコン操作に対応していた。
リモコンの信号をNatureRemo miniに覚えさせたいけどどうしたらいいのかなーと調べたが、どうやら実物が必須らしかった。Amazonで購入して初期設定したあとはしまってある。
スマートリモコンに覚えされるために照明の純正リモコン買ったけど、これは正しい道を歩んでるんだろうか
— mzp (@mzp) August 27, 2018
スマートリモコンがパターンを記憶したので、エアコンと照明のリモコンをしまった。なんか自炊したあとの物理本の処理に困る話と似てる
— mzp (@mzp) August 28, 2018
⚡️HomeBridge
それぞれ別のアプリから制御する必要があって不便だった。 iPhoneのHomeアプリから一括制御するためにnfarina/homebridgeを導入した。
部屋はひとつしかないがベッドルームということにしている。
HomeBridgeはRaspberryPiZeroWで動かしている。Raspberry Pi Zero W ケースキット - SWITCH-SCIENCEを買ったが、SDカードがついてないことを見落してて追加購入した。
家電をhomekitから扱えるようにするぞ!!ということで買ったRaspberryPi ZeroWが届いたが、micro SDカードがなかったので、おしまいです
— mzp (@mzp) September 3, 2018
セットアップ以下のサイトを参考にした。
- USB OTGを使ったRapsberry Pi Zero WH のセットアップ - Qiita
- Raspberry Pi 3 にhomebridgeを導入してsiriから家電操作できるようにした際の覚書 - Qiita
モジュールは以下のものをいれた。
💕感想
一番の利点はいつも手元にあるiOSデバイスから制御できるようになった点である。リモコンはどこに置いたか忘れがちだが、iPhoneかiPadかmacOSのどれかが手元にあることは多い。
Siri経由で操作できるけどそこまで便利ではない。
スマフォで家電制御するやつ、音声で制御できるとかよりも、どのiPhoneからでも電気を消せるのが便利な気がする
— mzp (@mzp) September 9, 2018
あとは以下のものをスマート家電化したいができてない。
- スマートロック。Qrioがよさそうに見えるが。
- コーヒーメーカー。自動応答するコーヒーメーカーは夢がある。RFC 2324 Hyper Text Coffee Pot Control Protocolをしゃべってほしい。
- 洗濯機・炊飯器。残り時間をアプリから確認したい。