Touchbarに変換候補を出すの、とうとう成功した pic.twitter.com/zXNjawZct5— mzp (@mzp) 2017年9月30日 入力メソッドからタッチバーを使う方法を調べるために使った各種ツールの使い方をメモしておく。 class-dump 実行ファイルからObjective-Cのヘッダファイルを生成する。 homebrewでインストールできた。 $ class-dump /System/Library/Frameworks/InputMethodKit.framework/InputMethodKit // // Generated by class-dump 3.5 (64 bit). // // class-dump is Copyright (C) 1997-1998, 2000-2001, 2004-2015 by Steve Nygard. // ..

Slack のデスクトップアプリは、1つのチャンネルしか表示できないため一覧性が悪い。 そこで、複数のチャンネルを一度に表示できるアプリを作った。 📦ダウンロード https://github.com/mzp/SlackStack 😫チャンネル切り替え作業の増加 Slack のデスクトップアプリは、チャンネルを1つしか表示できない。 そのため、参加するチャンネルに比例し、切り替え作業が増えていく。 さらに切り替え作業中に未読が増え、延々とチャンネルを切り替え続けることになる。 また同様の理由でメッセージを見落すことも増え、チャットのレスポンスも悪化していく。 📑Slack☆Stack そこで一画面で複数チャンネルの内容を確認するためのアプリを作成した。 オフィスでは縦置きのモニタを使っているので、横方向にも縦方向にも重ねれるようになっている。 🔧開発の様子 ブラウザを並べる Sla

NGK2016Bでライブフォトの話をしてきた。 資料 関連資料 📷 mov/jpegからのLive Photo生成 - みずぴー日記 https://github.com/mzp/LoveLiver AppleエンジニアにありすLive Photoを見せてきた話 / Story apple engineer meets arisu Live Photo // Speaker Deck 原稿 自己紹介 仕事ではMisocaというWebサービスを作っているが、これはスポンサーセッションではないので、まったく関係ない話をする。 具体的にはiPhoneの話をする。 ライブフォトの紹介 最近のiPhoneにはライブフォトという機能が搭載されている。 普通に写真を撮ると、前後が動画として記録される。 ライブフォトはロック画面に設定することもできる。 そのため、「動くロック画面」が実現できる。 理想

「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録