Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

Haskell入門の10章をDocker化する

技術

Haskell入門 の10章は、 SQLite への依存があったりして Windows で試すのは若干面倒だったので、 Docker for Windows で試せるようにした。

https://github.com/hiratara/Haskell-Nyumon-Sample/compare/docker/chap10

docker/chap10 ブランチを持ってきて、Docker for Windows が動いている環境でこんな感じで動かせる。

$ docker-compose build
$ docker-compose run --rm --service-ports weight-recorder

# ソースをいじって stack build したいとき
$ docker-compose run --rm weight-recorder build weight-recorder

docker hubに stack dockerコマンド用のイメージがある ので、LTSが一致しているものを持ってきてベースイメージにしている。なお、残念ながら stack dockerコマンドはWindows非対応 なので今回の目的には使えない。

Windowsで作業ディレクトリを単純にバインドマインティングすると、

Installing executable(s) in
/work/.stack-work/install/x86_64-linux/lts-8.24/8.0.2/bin
/work/.stack-work/install/x86_64-linux/lts-8.24/8.0.2/bin/.copyFile5117023052084420925.tmp:
copyFile: hardware fault (Input/output error)
Completed 2 action(s).

のように微妙なエラーが出たりすることがあるので、 docker-compose でデータボリュームを作ったりしている。後、何も考えずに Docker 化すると、docker-compose build 時の stack の初期化が時間がかかりすぎてあまりにも辛いので、キャッシュが働くように COPY 前にある程度パッケージをビルドするようにしてたりする。

後、かんたんのためにDBを作業ディレクトリに置いていたのがきつくなったので、軽く手を入れて環境変数から指定できるようにした。 /data 以下にDBを置いている。

Surface Book 2 15” を買った

日記

去年 と同様に、今年は Surface Book 2 15” を個人輸入した。 MS製品の個人輸入は3度目 1 で、毎年年末の散財の恒例行事となりつつある。

誤解のないように書いておくと、Surface Book 2は 国内でも販売している 。ただし、 15” はUSのみでの販売であるのと、US配列も国内では手に入らない。

15” は フルパワーだと電源につないでいてもバッテリーが減る という問題はあるものの、実用上そんなに困ってはいない。ゲーミングでむしろ邪魔になるのは高温でパワーが抑制されてしまう方で、これは結構頻繁に遭遇する。ので、ゲーミングに使うときは設定は低めの設定で使っている。PUBGも設定さえきちんとすれば快適に遊べる。

f:id:hiratara:20171211085147j:plain

今回のSurface Book 2の事前予約で、MSはいろいろとしくじっている。 redditでは事前予約したのに来ないという悲痛な叫び が多数投稿されている。キャンセルも受け付けてくれず、発送されたとしてもマイクロソフトからは今回の注文に関して何もメールが送られてきていない。お金だけ支払って本体が消息不明になったという人まで出ている。

今回、自分もこの騒動に巻き込まれており、こちらの場合はまだ支払いを完了できていない。MSのサポートに支払いを終わらせるように何度もお願いしているのに、自分の英語力が足りないせいなのか、未だに精算を完了してもらえていない。このままだとオーソリの有効期限が来て、無料でSurface Book 2を手に入れてしまうことになりそうだ。

なお、今回も転送には 1worldshopping を利用した。何度も高額の品物を依頼しているが、今のところ事故ったことはない。サポートも、日本時間に日本語の窓口へメールすれば、きちんと日本語で返ってくる。DHLの配送ログは以下のようになった。最終的には佐川急便が11/25の夕方に、届けてくれている。

Saturday, November 25, 2017 Location    Time    Piece
18  Delivered - Signed for by : DLVD BY AGNT    KAWASAKI    14:54
17  Forwarded for delivery  YOKOHAMA - JAPAN    08:09

Friday, November 24, 2017   Location    Time    Piece
16  Forwarded for delivery  YOKOHAMA - JAPAN    14:04   
15  Arrived at Delivery Facility in YOKOHAMA - JAPAN    YOKOHAMA - JAPAN    12:37
14  Departed Facility in TOKYO - JAPAN  TOKYO - JAPAN   11:57
13  Processed at TOKYO - JAPAN  TOKYO - JAPAN   11:55
12  Clearance processing complete at TOKYO - JAPAN  TOKYO - JAPAN   11:22
11  Arrived at Sort Facility TOKYO - JAPAN  TOKYO - JAPAN   11:03
10  Customs status updated  TOKYO - JAPAN   09:26   
9   Transferred through NARITA - JAPAN  NARITA - JAPAN  09:25

Thursday, November 23, 2017 Location    Time    Piece
8   Departed Facility in CINCINNATI HUB - USA   CINCINNATI HUB, OH - USA    04:54
7   Processed at CINCINNATI HUB - USA   CINCINNATI HUB, OH - USA    03:48

Wednesday, November 22, 2017    Location    Time    Piece
6   Processed at CINCINNATI HUB - USA   CINCINNATI HUB, OH - USA    10:56
5   Shipment on hold    CINCINNATI HUB, OH - USA    06:37
4   Arrived at Sort Facility CINCINNATI HUB - USA   CINCINNATI HUB, OH - USA    01:25

Tuesday, November 21, 2017  Location    Time    Piece
3   Departed Facility in WEST PHILADELPHIA - USA    WEST PHILADELPHIA, PA - USA 22:26
2   Processed at WEST PHILADELPHIA - USA    WEST PHILADELPHIA, PA - USA 22:23
1   Shipment picked up  WEST PHILADELPHIA, PA - USA 15:14

  1. 最初に買ったSurface Pro 3は国内で買った。↩

今日は「Club MySQL #2：(MySQLの)XProtocolはじめました、Haskellで」の日です

技術

マニアックなイベント に来てますので、メモを残しています。

XProtocol始めました、Haskellで / Naoto Ogawaさん

  • 意外とHaskellの人が多いかな、と
  • haskellとMySQLで半分半分
  • XProtocol
    • ProtocolBuffer
    • Xはクロス (いろいろな言語から)
    • CRUDスタイルAPIもある
    • ドキュメントストアとの親和性
    • パイプライン処理(これに注目したい)
  • XDev API
    • EBNFの定義がある
    • BNFとは？ → 文法を定義したもの
    • 複数DBサーバのコネクション管理も含む（理解しきれてないけど）
  • XPluginをMySQLへインストールする
    • Xdev API経由でユーザプログラムが利用
  • world_x データベースをサンプルとしてインストールしておくと良い
    • doc と _id があるテーブルがドキュメントストアとして扱われる
    • _id は doc 内のJSONのものとも一致させる
    • _id は GENERATED だけど自動に作ってくれるわけではない。アプリが入れる
  • mysqlx.so を入れる
  • mysqlsh
    • 3306 ではなく 33060 を使う(スライドではミスって 33061 だけど)
    • プロトコルを覗くプロクシを作ったためミスった
    • mysql-js> というプロトコルで、JSのコードを実行できる
    • find("$.GNP = 828") → $ はルートのイメージ
    • * でワイルドカードが使えたり
  • XProtocolのドライバが文字列の式を解釈して、XProtocolにしてあげなければならない
    • 昔のドライバは、サーバ側でSQLをパースしている
  • XProtocolとして生のSQLを投げることは可能
    • .find とかを使って、一部だけをSQLにするとかはダメ
  • 様々な知識が必要だが、今日は「XProtocolの仕様」と「ProtocolBufferの理解」
    • 課題: 名前の衝突、TLSの難しさ、パーサライブラリの選択など → 作り直しかも
  • .proto ファイルにも仕様が書かれているので、読んだほうがいい
  • .proto ファイルから、ツールを使って各言語のオブジェクトを生成する
  • XProtocol
    • メッセージ長、タイプ、ペイロード(protobuf)、の繰り返し
    • 全体のメッセージ長がない
    • 全体のメッセージ長が欲しいのは、実装上のチョイス。ストリーミング処理すれば不要かも
    • メッセージ長はリトルエンディアン
    • 例えば ClientMessages のタイプ 19 は CRUD_UPDATE
    • EXPECT_OPEN 、 EXPECT_CLOSE はパイプライン処理用
    • ServerMessages で、 RESULTSET_FETCH_DONE_MORE_RESULTSETS が来たら、フェッチの残りがあるということ
  • Find メッセージ
    • collection スキーマやテーブル
    • criteria WHERE句
    • args バインド
    • grouping_criteria having句
    • 17 CRUD_FIND
  • protobuf は、フィールド名は送っていない。数字のタグのみ
    • protoファイルに定義されている

本当はこわいMySQLプロトコル / tmtmsさん

  • Rubyで MySQL X Protocol 作ってたけど、今日は古いプロトコルの話
  • 参照系: フィールド数でループ。レコードはEOFまで
  • クライアントはクエリが更新系か参照系かは知ってない
    • サーバから戻ってくるフィールド数を見て、判断する
  • LOAD DATA LOCAL INFILE
    • クエリをサーバが解釈。ファイル名をサーバに教えてもらう(！)
    • Proxyでサーバ名を書き換えることができる！
    • Proxyはクエリを LOAD DATA LOCAL INFILE に書き換えることができる(！！！)
  • 対策
    • SSL接続
    • クライアント側で LOCAL INFILE を無効化

XProtocol始めました、Haskellで(後半) / Naoto Ogawaさん

  • 結果セット Row メッセージ
  • Expr で表現
    • LITERAL Scalar V_SINT
  • ProtocolBufferのzigzag encoding
    • -99 は 197 となる
  • 関数はドライバが文字列をパースして XProtocol の表現に
    • 構文解析の知識が必要
    • SQLで利用される関数すべてが、XDevAPIでサポートされているとは限らない
    • 関数名を XXX などとした場合は、サーバ側がエラーとする
    • SUM(DISTINCT hoge) とか 'a' not_regex 'aaa' とかできなかったり
  • パイプライン
  • エラー処理
    • Error メッセージとして却ってくる
    • protoファイル側に書いてある
  • XProtocolの注意
    • ObjectとErrorが2箇所くらいある
    • protoファイルごとに名前空間を変えてみては？
  • ドライバの設計
    • 型の整合性とか
    • 正常であればメッセージがあるケースとか
    • ドライバのレイヤの厚さは？
    • 依存を少なくしたいとか
  • haskellのライブラリ
    • XDev APIのEBNFには従ってない
    • XProtocolっが正しく吐ければいい
  • 展望
    • 交渉、ストリーミング、データ型、結果セット分割、などなど
  • MySQL5.7で試している
    • bindの謎の文字列は、文字列じゃなくていいでしょ
  • 「RubyでのXProtocolの実装を再開しようかな」
  • このプロトコルはGA？？ わからず
  • プロトコルオタク的には楽しいけど、一般人の用途は・・・？

この会について

  • いつもは短い話を聞く会
  • 長くじっくり聞く会として、この会を開いている
  • また来てください

Haskell入門という本を書きました

技術

Haskell入門 という本を書きました。まだ店頭で買うことはできませんが、amazonでは予約を開始しています。また、電子版も早いうちに出ると聞いているので、そちらもあわせてお求め下さい。技術評論社さんのサイトではサンプルのpdfも読むことができます。

Haskellには すごいH本 というとても良い教科書がすでにありますが、「アプリケーションを作って楽しむ」という観点から書かれた本も欲しいなということを常々感じていました1。すごいH本でHaskellの考え方やプログラムの組み方は学べますが、例えば、プロジェクトを作成して開発を始めるにはどうするかであったり、必要なライブラリをどこから探してどのように自分のプロジェクトへ組み込むのかといった、開発に必要な基本的な事項は自分で学ぶ必要があります。今回執筆した Haskell入門 ではとにかくHaskellでアプリケーションを作ることにフォーカスし、1冊読むだけで自分の作りたいアプリケーションが作れるようになることを目指して書かれた本です。

本書を書くにあたって、特に次のような点を意識しました。

  • ビルドツールの使い方や必須ライブラリの紹介、サンプルアプリケーションの作成といった内容を含む、よくあるプログラミングのhow-to本の構成にする
  • 新しいトピックを意欲的に取り込み、今現在の生きているHaskellを伝えられるようにする
  • 理論的な背景に踏み込み過ぎず、言語機能を使うユーザの立場で説明する
  • 複雑なGHC拡張の利用を最低限に留め、 Haskell 2010 Language Report の仕様の範囲内でできるだけ素朴にアプリケーションを作る

基礎を固めるためのチュートリアルはほどほどに、 とにかくまずは何か動くアプリケーションを作って、それを足がかりに学びたい という人に向いている本です。そういった意味では、先日発売された重城さんの Haskell 教養としての関数型プログラミング とは逆の思想を持って書かれた本であると言えます。

この本はもともと、YAPC::Asiaでレポーターとしてご一緒した技術評論社の野田さんに声をかけられて初めたものです。ただ、私はHaskellは昔から好きだったものの、自分一人では説得力のある本を書くのは難しいと考え、 ruiccさん と ちゅーんさん のお二方に声をかけました。Haskellに精通したお二方の協力により、なんとか完成までこぎつけることができました。

Haskellは学術のためだけの言語ではなく、品質の高い堅固なアプリケーションを作るために最適な言語です。ぜひ Haskell入門 を読んで、Haskellを使ったアプリケーションを作ってみて下さい。今でも最新の研究成果を貪欲に取り込み続けるHaskellに、きっと大きな刺激を受けることでしょう。

  1. 個人的には Real World Haskell が好きでした。↩

今日は「builderscon tokyo 2017 一日目」の日です

技術

慶応日吉キャンバスにおりますので、自分用のメモを残しておきます。

Opening / lestrrat さん

諸事情で英語(スライドは日本語)。

  • builderscon は YAPC::Asia の直系のカンファレンス
  • いろんな技術の話を集めたものがbuilderscon
  • 近年、様々な技術が互いに関わり合うようになっている
  • 新しいものを発見する場 (Discover something new)
  • #builderscon @builderscon
  • スポンサーランチあるよ
  • ベストスピーカー賞投票してね
  • パネルで写真撮ってね
  • STAFFは腕章つけてるよ
  • 問い合わせは Twitter か google group のメールで
  • LTの通知していた時間が間違っていたので、ごめんなさい
    • LTはその場の熱意で登壇するのが一番いいです！

Desktop Apps with JavaScript / felixrieseberg さん

  • Slackは会社としてはまだ3年目
  • 仕事をよくする => チャットアプリを提供するのがいいと考えた
  • デスクトップ版の開発チームは4人
    • 効率の良い開発方法を常に考える必要がある
  • Windows, macOS, Linux
  • それぞれの環境に数人担当をつけるのが普通だが、Slackはそうしてない
  • それぞれ、見た目やIMEがちょっとずつ違う
  • JSでDesktop App ?
    • JSをやってる人から驚かれる
    • ネイティブの開発者に驚かれる
    • JSで書かれているプロダクトはどんどん増えている (adobe, nvidia, etc…)
    • 好むと好まざるとすでにJSはあなたのPCで走っている
  • Electron
    • NodeJS : 好まれている。簡単
    • Chromium : レンダリングエンジンだけで利用
    • C++ : 余り興味は思われてない。C++はひどい。誰も楽しんでない。が、速く、よく使われていて枯れている
    • ダイアログなど基本的な部品はC++でアクセスできる
  • Electron は Node.js のプロセスである
    • Electron APIを使える。ウインドウを開ける
    • Renderer プロセス側 ではChrome, Nodeの両方の機能を使える
    • プロセス間で通信できる
    • 複数のウインドウを開ける
    • メインスレッドは分けられているので、安全。かつ、高速
  • Slack : Electron, TypeScript, Node.js, C++
    • ビデオコールは C++ で実装
    • VSSの検索機能はC++
  • JSで書かれたコードが遅ければ、全てがJSで書かれてしまっている
    • 複雑なところはC++で書くべき
  • Monaco Editor / VS codeの原型
    • 20分あれば簡単にできるので作ってみる
  • package.json のみがある状態
    • main に実行されるファイルが書いてある
  • index.js を書くと動く
  • node の代わりに electron コマンドを使って実行する
  • electron モジュール
    • app オブジェクト : ライフサイクル
    • ready イベント : 最初に受けるイベント
    • new BrowserWindow () : chromium のウインドウが出る
  • index.html を作る (テンプレから)
    • 普通のHTML
  • HTMLから読んでいるCSSを作る style.css
    • ここまでだけでは何も起きない
  • mainWindow.loadURL('file://${__dirname}/index.html')
  • electron 下では index.html に require('./render.js') と書くことができる
  • console.log() で絵文字は扱えない
  • monaco-loader パッケージを利用
    • 実行すると monaco オブジェクトが得られる
    • monaco.editor.create に <div> を渡してエディタにする
    • theme: automaticLayout: など必要なオプションを渡す
  • ファイルのドラッグへの対応
    • 何もしないと Chromium によってナビゲーションされるだけ
    • メインスレッドからWindowのライフサイクルをコントロールする
    • 'will-navigate' e.preventDefault() ページ遷移を禁止する
    • ファイル名はコールバックで取得できる
    • が、ファイルを開くのはメインプロセスではなくレンダラプロセス => プロセス間通信
  • プロセス間通信
    • file:/// を捨てる
    • メインプロセス mainWindow.webContents.send('open-file', url)
    • レンダラ ipcRenderer.on('open-file' ...) で受け取る
  • electron 関連 : 1700パッケージある
    • 透過ウインドウなど
  • electron-forge : Electronを試したい時
    • プロジェクトの初期化やビルドなど
  • まとめ
    • Electron で JS を Desktopで作るのは楽しい
    • Electronモジュールは充実している(C++などより活用できるものが多い)
    • electron-forge を使おう！
    1. メモリ消費量を削減する努力は？
      1. アプリをreactに移している。会社の成長のほうが早くて追いついてない。これから最適化していくことになりそう
    1. C#やSwiftと比べたときのパフォーマンスは？
      1. どの部分をどの言語で書くかが重要。遅いときはC++を使って書く。遅いのはJSではなくOSである可能性もある
    1. Electronをそのまま使ってますか？
      1. githubと直接Electronの開発をしている。Electronの開発者は東京にいる
    1. Electronのアプリのテストはどうしてる？
      1. Spectronを使う, Electronの内部でテストする, Jestを使ったモック, の3つの方法
  • Electronは素晴らしいアプリが作れる
    • electron-code-editor を使ってエディタを作って、面接でエディタを聞かれたら自分で作ってますと答えよう

横山三国志に「うむ」は何コマある？〜マンガ全文検索システムの構築 / heruheru3 さん

  • 「うむ」は458回 http://mitchell-fts.appspot.com/
  • 横山光輝三国志を選んだ理由
    • コマが矩形
    • ぶち抜き、突き抜けコマが少ない
    • 作画が一定 (張飛だけ身長が縮んでいる)
    • 線画のみなので2値化が効く
    • どこを切ってもネタになる
  • GAE, Google CV API (画像を切る), さくらレンタルサーバ(画像)
  • コマ分割アルゴリズム
    • 画像を反転 (左上を0にしたい)
    • 斜めの線を上から落としてきて、ぶつかった順にコマを拾う
    • 切り抜く
    • 次のコマを探すために走査する (終わるまで続ける)
  • 三国志
    • 99.9% 成功
    • 52000コマ
    • 200ページあたり1分
  • 三国志以外
    • 矩形じゃないとうまくいかない
    • 波線ていどならうまくいく
  • 新しい手法 (v2)
    • openCVのflood_fillを使って、外枠を塗りつぶしで判定
    • 斜めの枠でもきれいに取れる
    • 1冊200ページが10秒
    • v3も開発中
  • OCR
  • Google Computer Vision OCR
    • 縦文字もほぼO.K. (コマ分割後)
    • 1,000枚まで無料
  • OCR後の処理
    • 余分に検出させて、消す
    • 横長の領域を削除（横文字と認識されてる）
    • MeCabで日本語以外の文字を捨てる
    • 文字同士の距離を見て、文字の塊を作る
  • 1,000枚ごとに$1.5。52,000枚だと8,913円
    • 36,000 枚にしか文字はない
  • 全文検索
  • Python Whoosh
  • N-gram インデックス
    • N文字ずつに区切り、インデックス化
  • 検索性能 0.044s 結構いいのでは
  • WEBのガワはGAEを利用
    • PythonのFlask (簡単)
    • 20行強で十分
  • UI側
    • OSSを多様
    • materialize (google のスタイルシート)
    • masonry 画像をタイル状に敷き詰める
    • imagesloaded, jquery.bottom 画像呼び込み後に次の読み込み
    • blueimp-gallery
  • 活用
    • Twitter, LINE, Slack にそのまま貼れるよ
  • 応用
    • 吹き出しの文字だけ消す (すでに文字を消すボタンが付いてる)
      • コラ作成
      • 文字を消すボタンは、ファイルを２つ用意しておいて、切り替えるだけ
    • 自動翻訳機能 Microsoft Translator Text API
      • このAPIは60ヶ国語に対応している
    • このコマが何巻のどこだっけ？機能
  • 「ドラゴンボールのフリーザのとこに悟空が来るところ」のデモ
    • 枠外の塗りつぶしはじめは、なにもないところから
    • セリフの突き抜けなどもうまく拾えている
    • 「・・・」がOCRで取れない(消しきらない)
  • エロ漫画はダメ (コマがない)
    1. 著作権の問題で調べたことなどは？
      1. 何も調べてない。今回公開したものも削除されるでしょう。が、声はすでに頂いている
    1. コマ分割、OCRの評価は、人力？
      1. はい。確認のためにお金がいる。
    1. 大量の目視確認で工夫したことは？
      1. あまり確認してない。MeCabに確認はさせた。三国志なら全部覚えてるので

Haskellを使おう / hiratara

自分のトークでした。 https://speakerdeck.com/hiratara/haskellwoshi-ou

Building high performance push notification server in Go / cubicdaiya さん

  • 絵文字を付けるとコンバージョンが上がる
  • 直接端末ではなく、pushサービスを通って通知が行く
    • iOS, android のものだけでなく、AWSなどthird partyのものも
  • APNs : Binary Provider API と APNs Provider API がある
    • 後者はHTTP2でcurlでも叩ける
  • GCM/FCM
    • 新しいものはFCMを使うべき
    • こちらもHTTP2
  • レイテンシが高いので、Keep-aliveにする
  • 10 millions のターゲット
  • 昔はPHP内から直接push notificationを送ってた
    • 応答に数秒かかる
  • その後、Queueを導入
    • Workerがde-queueして通知を送る
    • queue は Q4M
    • php-parallel-prefork
    • PHPでは十分なスループットが出ない
    • PHPは並行処理が苦手
  • App => nginx => Gaurun => APNs / GCM という構成
    • Gaurun から APNs / GCM は HTTP2
  • Gaurun github.com/mercari/gaurun
    • goで書かれたpush通知サーバ
    • JSONベースのAPIサーバ
    • POST /push すると APNs や GCM に送ってくれる
    • GET /stat/app, GET /stat/go : 情報の取得
    • GET /config/pushers スループットを変更
  • Go の理由
    • goroutineがたくさん作れる
    • 5年前のMacで 5万QPS
  • Gaurunはプロクシ＋キュー
    • キューはChannelを使って実現
  • workerとpusher
    • workerがdequeしてpusherを起動
  • コネクション管理
  • GET はキューの数、成功失敗の数、goroutineの数、など
    • 数値が変えれば監視は簡単
    • 監視はMackerel
  • High PerformanceにするにはTOMLをいじる
    • デフォルトでは保守的な設定
    • core.workers, core.queues, core.pusher_max
    • (ios|android).(timeout|keepalive_conns|keepalive_timeout|retry_max)
    • core.workers × core.pusher_max
    • keepalive_conns はAppleやGoogleに怒られない程度に
    • PUT で pusher_max をでかくできる
  • Bulkで enqueue もできる
    • notification_max による制限有
  • 無効トークンの削除
    • Gaurunのエラーログを拾う
    • ログをS3に投げておいて、バッチでMySQLから削除
  • まとめ
    • push通知は高レイテンシ、高並列性
    • Goがよい
    1. gaurunにどう送ってる？
      1. クライアントがMySQLから取るだけ
    1. 全体に配信するときも同じ仕組み？
      1. WEB UIがある。
    1. 重複制御？
      1. 1台に重複はないが、複数デバイスを持っていれば受け取ってしまう
    1. FCMはhttp2？
      1. goがhttp2に対応しているので。コネクション数もいい感じに
    1. queueとworkerが１つのバイナリ。メッセージのロストへのケアは？
      1. ロストする。AccessLogに書いてる
    3. リクエストが来た、Queueに入れた、Successした
    4. CLIでスキャンできる
    1. pusherとworkerを分けるのは？
      1. 歴史的な経緯。workerが昔は同期的にpushしていた。古いAPIの都合
    3. 新しいAPIでは制限がなかったのでpusherをforkするようにした
    1. ボトルネックは？
    2. ネットワーク通信。CPUやメモリは使いきれてない
    1. スケーリングは？
      1. 一斉配信でも3～4台で済むので、困ってない
    1. デプロイでキューをロストしない方法は？
      1. nginxから外す。GaurunにもGracefulリスタートがある（queueを吐いてから終了)

LT

「ドラを忘れたので、時間が来たらエアドラします。」

分割QRコードの読み取り方 / Satoshi Shmdさん

  • QRコードは16分割できる
  • 日本のデンソーが作った。Quick Response
  • 仕様書で「構造的連接」として定められている
  • メタデータが 3 だと分割。最大16分割
  • 4分割のQRコードを読む例
  • 横に並んでいると高速に読み込める
  • 小さく分割したほうがエラー率が低い
  • 標準APIを使って、internalからメタデータを拾って実装してる
  • 「これ、発表できて良かったです」

RaspberryPi+AWSでIoT(っぽい)GPSロガーを作ってみた / Toshihiko Kimuraさん

  • ラズパイにGPSアンテナを付けたもの
  • はんだ付け
    • 10数年ぶり
    • ミスってる
    • あきらめた
  • 慢心せずハンダゴテ練習しましょう。ハンダ吸い取り線は便利
  • サーバレス → 7円だったのでよかった
  • 座標が正しいのか確認は？
  • DynamoのデータをCSVで落として、Google APIで
  • 今日の仙台から東京の移動のロギングは失敗したので割愛
  • 「おちこんだりした」『「おちこんだり」になってますね、大丈夫ですね』
  • スマホでよくね？ はい！
  • 自分で作ってなんぼ

できる！！！Validation！！！ / sasezakiさん

  • LTは15分という世界から来ました
  • 「世界は真偽で満ちているのにバリデートとは？」
  • バリデーション == 入力値検証
    • assert, guard, 例外
  • バリデーションをきちんとしないと末代まで遺恨を残す
  • 「空白ははじいて」空白の種類が多い
  • 「アルファベットで」日本語は
  • 「この正規表現を使って」死ぬ
  • 「正義とは何か」
  • 「人類の存在が誤りだった」

カンファレンスアプリを作ったぞ！！ / morizoooさん

  • buildersconアプリは明日までの命なので使って下さい
  • WEBのモバイルは使いにくい。最高のタイムテーブルが欲しかった
  • POをしたかった
  • PO業務
    • 「頑張らせる」
  • 7/21 時点でiOSしかなかった
  • Android版 冗談だと思った
  • Droidkaigiを参考に
  • 最高ではないけどなんとかできた
  • 今日のセッションで学んだ
    • iOSデザインの流用と、回転時の処理がよくない
    • 直したがリリースは間に合わなかった

アイドルフェスのタイムテーブル管理アプリを作った話 - sugyanさん

  • 今日から東京アイドルフェスティバル
  • 去年までドルオタだった
  • タイムテーブルがある
  • 公式の管理ツールが存在する
    • 個人ツールも存在する
  • 去年のものを流用して今年の分も
  • reactでやってる（無駄にSPA)
  • Twitter共有機能を追加
    • 普通は画像は流せない
    • ダミーアカウントで画像URLを作り、それを共有する仕組み
  • 今年、めちゃくちゃダウンロードされた。出演者にも使ってもらえた
  • 自作サービスでも、ちょっとした工夫で効果が上がる

アドテクやってるエンジニアだけど、どうしてもみんなに伝えたいことがある。 / HonMarkHuntさん

  • アドテクって何？
    • インタネット広告の配信・最適化技術の総称
  • どうしても伝えたいこと
    • スマホのバナー広告が多重影分身広告
    • 動画プレイヤーにかぶさる広告のクローズボタンがかなり小さい
    • 「ほんとにごめんなさい！！！！」といいたかった
    • クリックするとお金が儲かるのでクリックさせる
  • テレビ広告は関連内ユーザにも届いてしまう
  • インタネット広告は適切な人にのみ広告が届く
    • ユーザからのフィードバックを利用できる
  • 広告主の利益最大化、ユーザへの配信の最適化
    • 「ムカつくと思うけど、頑張るので見守って下さい」

Discovered Something New? / tomzohさん

  • YAPC::Asia 2015 のベストトークショウが面白かった
  • 別のカンファレンスでやった　→ よかった
  • 名札が好き → 名前とSNSアイコンが紐付かない
  • ベストトークショウと名札をやりたい
  • SNSアイコンとQRが難しい
  • 印刷方法は？
    • 言葉を知らないのでググれない
    • 「バリアブル印刷」という
  • 画像の集め方は？
    • SNSのアカウントを入力するようにした
    • バリデーションがなかった → PHPが解決！
    • Twitterで取れる画像がバラバラ過ぎ
    • サイズ、画像フォーマット
    • 500px以上だと印刷して撃つ香椎
    • github, facebookはきつい
  • チケット販売期間と入稿起源の問題
    • 遅くチケットを買うと印刷できない
  • ベストトーク賞投票お願いします
  • 牧さん「じゃーーーーーん」

吾輩が作ったものを淡々と / codehexさん

  • 沖縄から上京するのでよろしく
  • 全てのgoroutineにシグナルを通知する
    • シグナルを拾って全てのgoroutineに通知してくれるくん
  • perlのProcletライク → 止めても止まらないから設計やり直し
  • batteryコマンド → mattnさんがWindows版を
  • Neo-Cowsel / 音楽はバックグラウンドで流しているので消えない
  • 世に役立つものを作ります

Node8.3.0について / @about_hiroppy

  • current v9.0.0 / latest v8.2.1 / LTS v4, v6 v8
  • V8がv6.0にアップグレード。パフォーマンスプロファイルの変更
  • TurboFan、Ignitionがあり、初めてデフォルトになる
    • JIT CompilerでCrankshaftから置き換え
    • try-catch 最適化など、最適化が可能になる
  • Ignition : androidなどの環境のため、バイトコード化してメモリを小さくなる
  • v5.9では色々パフォーマンスが悪化したが、v6.0以降では期待できる
  • ベンチマークは基本的には改善されている
  • 8月中に8.3.0
  • 牧さん「はいじゃーーーーーん」

正規表現の変形で作る独自記法のWiKi parser / shokaiさん

  • wikiの独自記法を乱立させたい
  • ページ間リンクを充実させたかった
  • 覚えやすい記法を採用 (タイトルとリンクの順序が逆でもいいとか)
  • 正規表現のカッコの位置はよく似ているが場所が違う
  • ?: を使ってキャプチャを抑止する
  • 「なんかもうわけわからない感じ」
  • 一個の記法でノードのツリーが書けるように
  • 公開しているライブラリを使って記法をたくさん作るといいんじゃないですかね

バックエンドからのSEO対策 〜JSON-LDでのschema.org入門〜 / uessy-akrさん

  • schema.org
    • 検索エンジンにページに何を掲載しているのかを伝えるマークアップ方法
    • google検索結果画面のリッチスニペッツ、リッチカードとして表示される内容を指定できる
  • 料金、ページ数、バンドメンバー、アダルトエンタメ施設、など、すごくこまい指定が可能
  • 通貨コード、営業時間
    • Microdata : つらい
    • RDFa : つらい
    • JSONLD : JSONなのでだいぶ幸せ 「見た瞬間キタ」
  • JSON-LDはHTMLと分離できるので、きれい
  • 牧さん「マイクがkamipo持ちですね」

Microsoft Azure って知っていますか？ / Tsubasa Nomuraさん

今日は「Haskell入門ハンズオン！」の日です

技術

今日は「Haskell入門ハンズオン！」の日です

https://shinjukuhs.connpass.com/event/58224/へメンター枠で来ていますので、自分用のメモを残しておく。

はじめに / 木下さん

  • #Haskel
  • 講師重城さん＋メンター5人居ます
  • haskellでわからないことはteratailで質問しましょう
  • 8/28 に Haskell入門者LT大会やるよ

Haskellの概要 / 重城さん

  • 自己紹介 : Gentoo on KVM on Gentoo, TUT-code, Xmonad, rxvt-unicode, Tmux, Mutt, HHKB
  • ハンズオンの中身 : 完全入門者向けだけど、Haskellの面白さは伝えたい
  • stack --version stack ghci :quit
  • 4492 'c' pi 電卓的な使い方、 it
  • カーソルキーで履歴を辿れる
  • repeat "Haskell" からの Ctrl+C
  • サンプルコード
  • pwd や cd でディレクトリ移動して、 stack ghci
  • 行儀が悪いのでTABを8文字幅で使うよ！（本当は4スペースが行儀がいい)
  • myFavoriteFruit = "apple" を :load で読み込み
  • "banana" に変更してmyFavoriteFruit` をしても変わらない
  • :reload すると切り替わる
  • double x = x * 2 関数
  • (\x -> x * 2) 8 関数リテラル
  • 演算子と関数は同じ
  • 演算子は中置で記号列。 () で関数になる
  • 関数は `` でe演算子になる
  • lucky :: Integer 型宣言
  • Maybe Just Nothing
  • タプル taro = ("Taro Yamada", 35)
  • パターンマッチ
    • helloTo (Just n) = "Hello, " ++ n ++ "!"
    • helloTo Nothing = "Hello, customer!"
    • human (n, a) = n ++ "(" ++ show a ++ ")"
    • リテラル safeRecip 0 = Nothing
    • ワイルドカード isNothing (Just _) = False
    • アズパターン atPattern jx@(Just x) = show jx ++ ": " ++ show x
  • "" は文字列、 '' は文字
  • パターンが抜けているときは部分関数になる。マッチしないと例外
  • 例外はI/Oモナドで拾える
  • 「代入じゃなくて束縛と言わないと怒られる」
  • show は多相関数なので Maybe Integer にも Integer にも使える
  • ガード safeSqrt x | x < 0 = Nothing
  • case式 yesNo c = case c of 'n' -> Just False
  • 多相: ignoreSecond :: a -> b -> a ignoreSecond x y = x
  • 型シノニム: type Human = (String, Integer)
  • モジュールの導入 import Data.Maybe (fromMaybe)

ここで休憩。

  • 多相関数を使うと、ソースコードがきれいになる
  • const の2つの側面
    • 第二引数を無視する関数
    • 常に定数を返す関数 (const 関数への部分適用)
    • ignoreSecond と同じ定義
  • 関数適用演算子 $
    • f x なので必要ない
    • ($) f x
    • recipe $ 3 + 5 カッコが取れる
  • 部分適用
    • bmi h w = w / (h / 100) ^ 2
    • bmiTaro' = bmi 170 2つある引数のうちひとつだけを与えた
    • (125 /) 第一引数に対する部分適用
    • (/ 5) 第二引数に対する部分適用
  • 関数合成 : (* 2) . (+ 3)
    • 関数は後ろから適用される
  • 繰り返し
    • 再帰よりリストは簡単
    • sumN n = sum [1 .. n]
    • 3の倍数以外の総和 filter ((/= 0) . (`mod` 3))
    • 5で割ったあまりの総和 map (`mod` 5)
  • モンテカルロ法の例
    • 正方形内の点を列挙、円に入るもののみをろ過、残った点を数える
  • 無限リスト take 10 [1 ..]
    • 必要になるまで評価しないので、無限時間はかからない
    • 処理と終了条件を分離できる
  • リストへの追加 5 : [3, 2, 9]
  • 空リスト []
  • パターンマッチ headTail (x : xs)
  • 2段のリストを1段に concat [[1,2,3], [4,5], [6,7]]
  • すべての組み合わせで concatMap
    • (`concatMap` [1, 2, 3]) $ \x -> (`concatMap` [4, 5, 6]) $ \y -> (`concatMap` [7, 8]) $ \z -> [x * y * z]
  • 糖衣構文 リスト内包表記 [x * y * z | x <- [1,2,3], y <- [4, 5, 6], z <- [7, 8]]

時間がないので再帰は飛ばすことに。「近現代史は教科書読んでおいてね、と同じ」。

  • Haskell以外の言語では、式の評価と入出力が分けられている
    • 3 + 5 を評価しても、誰かの銀行口座が0円になることはない
  • 評価と実行は分かれている (が、対話環境が隠している)
    • 対話環境は、評価結果が入出力をする「機械」だったときに実行する
  • putStrLn は文字列を引数として取り、それを表示する機械を返す
  • getLine IO String 機械が出した結果を対話環境が表示
  • 値を機械から機械へ渡す >>=
  • getLine >>= \x -> で改行をして書くとわかりやすい
  • 糖衣構文 do 記法
    • >>= や >> を隠している
  • 実行可能ファイルを作る stack ghc -- *.hs
    • TAB使いなので -fno-warn-tabs
  • 標準入力からの入力を変換するプログラムの書き方
    • interact
    • 3回 love というと I love you しか返ってこなくなる例

ここからは各自でハンズオン。