中田真秀(なかたまほ)のブログ

研究について、日常について、その他。

諦めの境地 Ikalog on Mac OSX Blackmagic UltraStudio Mini Recorder

2016-05-26 07:38:05 | 日記
Raspberry Piでikalogをやろうと思ったが、HDMIのキャプチャが不安定で萎えていた。
結局Blackmagic ultra studio mini recorderでできるようになった。
基本Raspberry Piでikalogできてたので余裕をかましていたが、最初はうまくゆかなかった。

ハマった点



いずれにせよ、thunderboltでHDMIの1280x720の 720p59.94は、150MB/sくらいで余裕だが、そこまでするか、牛刀をもって鶏を割く感がものすごくする。もう一つ、イカのためにここまで投資するかみたいな。
ウデマエはA維持。4まで落ちたが...トモダチのおかげで40くらいまで上がった。どうもボクは打ち合いが苦手のようですぐやられる。どんな人達か知らんがありがとう
コメント
この記事をはてなブックマークに追加

選択公理についてわかりやすいサイト見つけた

2016-05-20 20:03:03 | 日記
最初にexecuseしておくと、ボクは数学は苦手かつ趣味程度なので以下、よくわかってない可能性が高い。

選択公理は直感に反さないだろいい加減にしろ!
というページが有って大変興味深く読んだ。

さらに壱大整域さん(名前がわからん?)選択公理 選択公理と同値な命題とその証明
というページをつくっていて、これまたいろいろ集めたな~と。

選択公理というととても自明なものに見えるが、公理ということで、示すことはできないことが知られている。
そしてこれがないと様々なことが示せない。たとえば、
∪∩の分配法則
とか
線形空間における基底の存在
とか、
実数関数の連続性
とか、
可算個の可算集合の和集合は可算集合
とか
一見当たり前のようにみえることも、選択公理を認めなければ示せない(実はこれらの命題は同値である)。

また、Zornの補題とかTychonoffの定理とか、わかりにくい命題たちも同値である。

個人的には、よくある定義より、壱大整域さんが提示していた
選択公理 任意の集合は選択関数を持つ.
という定義はとても納得しやすいと思う。昔教科書で読んだ
選択公理とは「 { Xλ }λ∈Λを空でない集合からなる族とすれば、直積 Πλ∈ΛXλも空でない」という定義は
自明すぎてなんでそんなんが公理やネンと理解できず長年イラッとしつづけていた。

実数関数の連続性の証明に選択公理を使うところ、
「Xn := { y∈R | |x-y|<1/n かつ |f(x)-f(y)|≧ε } と置けば Xn≠∅ である.よって選択公理により(xn)n=1∞∈Πn=1∞Xn が取れる」
のようにexplicitにすると、ありがたみが分かってよい。

ということで自分でも選択公理が無い世界は考えづらいのだが、選択公理無しでどこまで行けるかも研究されている。








コメント
この記事をはてなブックマークに追加

非公式HOKUSAI Great Wave利用状況 tweetbot

2016-05-07 14:24:08 | 日記
非公式HOKUSAI Great Waveの利用状況をモニタリングしつぶやいてます
5分おきにlistcpuしてその結果を解析してtweetしてます。
HOKUSAIにアカウントを持っている人は全員可能な範囲でやっております。

比較的SSCが空いてますね。ただしワンコアジョブしか流れませんが。

利用者のかたは良かったらfollowしてね♥

@hokusai_accc
https://twitter.com/hokusai_accc

です。

コメント
この記事をはてなブックマークに追加

Mathematicaの利用状況@理研和光キャンパス on twitter @MathRIKENWako

2016-05-03 22:41:56 | 日記
Mathematicaの利用状況@理研和光キャンパスをtwitterでつぶやいてみることにした。
多数ライセンスを消費したいという要望もあるが、みんな恐る恐るっぽい気もしないでもない。
利用状況は最大で15程度と最大30ライセンスなんで、まぁまぁ、というところ。
安心して共同利用となるとこういう情報があったほうがいい。
ま~みんな利用登録はするけど実際はそこまでつかわないよね。

利用者のかたは良かったらfollowしてね♥

@MathRIKENWako

です。

ちなみに利用したい方は理研和光情報基盤センターに来て、利用登録してください。
(和光が主務かつ物理的なマシンが和光にある場合、利用できます。正しく、詳しくは
ライセンスをご参照頂きます)
コメント
この記事をはてなブックマークに追加

OSXでikalogは速い

2016-04-20 21:29:43 | 日記
あたりまえだが、OSXでikalogは速かった
$  /usr/bin/time python IkaLog.py -f ./ikalog_sample.mp4
....
<ikalog.outputs.csv.CSV object at 0x1084c1828> (enabled = True)
<ikalog.outputs.printjson.JSON object at 0x11007ff60> (enabled = True)
bye!
       70.82 real        61.02 user         9.39 sys

4倍くらい速かった。かたやARM64 2.0GHz 4コア、かたやMac mini server (Late 2012), 2.3GHz Intel Core i7のでまぁそんなもんだが。
元動画は90秒程度なんで、若干高速な感じ。ここまでくるとリアルタイムで解析も可能なんだけどわざわざその程度のパソつかわんと
イカんのか?という疑問がある。
コメント
この記事をはてなブックマークに追加