読者です 読者をやめる 読者になる 読者になる

euphonictechnologies’s diary

Haskell超初心者の日記です。OCamlが好きです。

follow us in feedly

macOS SierraでPicture in Picture使ってYoutubeを観る

macOS Sierra

macOS Sierraになったよ

アップグレード終わりまして、やっぱり新しいOSは大して変わってなくても楽しいね!

Picture in Picture

とは動画を右上にテレビ番組で言うワイプみたいに表示して作業中も動画みたいとかそういう機能です。

こんな感じです。

f:id:euphonictechnologies:20160923223140p:plain

オペレーティングシステムの違いとかはいいじゃないですか。

これなんですが、Youtubeで早速使おうと思って少し迷ったのでここに書き残します。

YoutubeでPicture in Pictureする!

まずは動画を開きます。

んで、右クリックします。

f:id:euphonictechnologies:20160923223302p:plain

だけどYoutubeのメニューが出ちゃうので更にここから右クリック。

f:id:euphonictechnologies:20160923223336p:plain

普通のプルダウンメニュー出ました。ここからPicture in Pictureを選択すればあら簡単。

ちなみに

ブラウザのタブを閉じると動画は止まります。

Youtubeの自動再生をオンにしておくとずっとPicture in Pictureで表示され続けます。

f:id:euphonictechnologies:20160923223511p:plain

こんな感じに次の曲に移っているのが明らかにお分かりいただけると思います。

さらに画面は動かせます。四隅の何処かにひっつきたがるようです。真ん中とかにはできません。邪魔ですしね。

f:id:euphonictechnologies:20160923223612p:plain

こんな感じです。

あと

コントロールとスペースを押し続けるとSiriが出ます。やっぱSiriいいですね。一番良く使うコマンドは「今年は平成何年?」です。馬の骨!

Mac用OmniGraffleをタダで使いたい

Mac

OmniGraffle便利です

簡単に見栄えのいいグラフとかダイアグラムが作れるのでとっても便利です。プログラマのプレゼンとかで多用されるタイプの図表が(センスが無い俺みたいな奴でも)きれいにできるのでありがたいソフトです。

ただ最近評価版の使用期限が切れちゃって…。実はそんなに使わないから買うのはもうちょっとあとでもいいかなーみたいな。

プレビュー版がダウンロードできます

というわけでプレビュー版が以下のリンクからダウンロードできます。

OmniGraffle - diagramming and graphic design for Mac, iPhone, and iPad - The Omni Group

一番下のこのリンクからダウンロードページに飛びます。

f:id:euphonictechnologies:20160911133946p:plain

特に理由がなければ一番上のやつをダウンロードしてインストールしましょう。

f:id:euphonictechnologies:20160911134027p:plain

プレビュー版なので次々新しいバージョンを試すように言われるみたいです。ウィンドウの右上にこんな感じで。

f:id:euphonictechnologies:20160911134242p:plain

ここクリックすると自動的にアップデータが起動してアップデートしてくれるので楽ちんです。

本物が発売されると使えなくなると思うのですが、それまでじっくり使って良かったら買っちゃいましょう。

個人用メモ プログラミングのための圏論参考資料集

この記事は?

筆者が個人的に集めるプログラミングのための圏論の勉強に役立つ参考資料へのリンク等です。随時アップデートしていくことになると思います。

2016/09/08: 今のところは順序もめちゃくちゃで追加したりないものもたくさんあります。

はじめに

ブログやアーティクル

Haskell/圏論 - Wikibooks

自己関手の圏とモナド - 檜山正幸のキマイラ飼育記

圏論やモナドが、どうして文書処理やXMLと関係するのですか? - 檜山正幸のキマイラ飼育記

圏論勉強会 @ ワークスアプリケーションズ

はじめての圏論 その第1歩:しりとりの圏 - 檜山正幸のキマイラ飼育記

Some Definitions Everyone Should Know John C. Baez

http://math.ucr.edu/home/baez/qg-winter2001/definitions.pdf

PDFだけどとてもよくまとまっていて私の理解には本当に役立ちました。

重たいPDFなど

Category Theory

https://www.mpi-sws.org/~dreyer/courses/catlogic/awodey.pdf

Category Theory for Scientists (Old Version) David I. Spivak

http://math.mit.edu/~dspivak/CT4S.pdf

“What should a professional mathematician know?” Barry Mazur

http://www.math.harvard.edu/~mazur/preprints/math_ed_2.pdf

直接は関係ないけど面白かったので。

次に

Dynamorphism 概論

Scalaプログラミングスタイル集 – NET BIZ DIV. TECH BLOG

発展

TBU

役に立つリンク集

「圏論」は関数プログラミングの「モナド」に役立つ。入門PDF等のリンク集 - 勉強メモ (大学の講義動画や,資格試験の対策)