2017-05-13

2017/05/12

schedule

(前夜) 記憶なし
08:50 起床・朝食
09:10 出家
10:29 バイト
18:00 終
18:50 パン買う
20:00 帰宅
21:00 寝落ち

やったこと

なし

働くだけの日
自由が丘を通りかかったら、定期売り場があったので、懸案だった定期購入をした(大岡山は、通るといつも新規定期購入の受付をしていない…)。
自由が丘はスイーツの街というが、駅近くでケーキを買えない(ダロワイヨ・中央口左の警察横くらいか)。不便。
ただキーボードの音だけが響くオフィス、眠気に耐えるのが大変。
通帳に記帳したら、1年分くらい溜まっていて、繰越含め10分近く掛かり大変だった。インターネットバンキングに履歴閲覧25ヶ月の制限がなければ移すんだけれど。
自由が丘の浅野屋のクリームブリュレパンはとても美味しい。
ストラディバリウスと新しいヴァイオリン、ブラインドテストではどちらのほうが音が良いかというニュースが話題。しかし、繊細な音の違いを分かるほど、アーティストは再現性のある演奏ができるものなのだろうか？或いは、その音の違いが明確にヴァイオリンによるものと示せるのだろうか？そもそも、正確に演奏でき、かつ再現性がある(これは「正確に演奏」が「原典に倣う」を含むから、前者だけでいいような気も)のが良い演奏なら、あの演奏家や指揮者奏者ごとの違いは、受け入れて議論すべきものなのだろうか。(堅いことを言わない) 大体、正確な比較をするなら、人間のバイアスが入らないようにすべきで、そもそもが人間のお遊びに過ぎなくなる?　
クレジットカードを使えないようにしているお店、手数料や機器更新費を払わないという営業(経営?)戦略の1つなのだろうけれど、結構そういうお店が多いので、デビットカード切りたがりの自分には大変…。JCBが手数料最大7%掛けるという話もまたうわあとなるが。

2017-05-12

2017/05/11

schedule

(前夜) 寝落ち
09:00 一度目の目覚め
11:00 2度めの目覚め・朝食
12:30 体調が悪い
14:00 Blog書くの停止
19:30 夕食
21:00 風呂
23:30 電話

やったこと

Blog記事 (2hほど)
線型代数入門 pp.141-153 (§3は、§2を正規変換→対称変換、Hermite→実対称、ユニタリ→直交と読み替えればよく、流し読み。上三角化、スペクトル分解、正値[反正値]Hermite変換、二次形式。正規変換の異なる固有値に対する固有ベクトル同士が直交するのは分かったけれど、ちょうど固有ベクトルがn本ある? 固有ベクトルから正規直交基底を作る辺りが理解できていない)
部屋の片付け少し。家電等の箱をホコリ被らないようケースに入れるなど。

鼻がひどすぎる上、気だるさ、頭痛、暑さに順応できない(?) まで食らったので大学を休む。もう体調悪いとか自分とは無縁と言っていられない感じがある。主な原因は体力の低下な気もするが。本当に花粉症か？これ
進捗的にはここ一番の出来。
とにかく暑かった。
Blogは出典を明記する作業が意外と大変だった。

2017-05-11

2017/05/10

schedule

04:00 睡眠
08:00 起床・朝食
08:40 出家
10:00 バイト
18:00 終
19:30 帰宅・夕食
21:00 寝落ち

やったこと

北海道の旅行記を書く (2h30m)

眠さがまだ取れない。寝落ちしてしまった。
鼻がひどかった
仕様書書きのゴーシュ

2017-05-10

2017/05/09

schedule

05:00? 睡眠
11:30 起床・朝食
12:15 出家
13:00 研究室
19:30 帰る
20:15 帰宅・夕食
22:00 風呂
以後グダグダ

やったこと

ゼミの準備 (パワポ作成等, 2h + 2h + 2h)

ゼミが終わった。あまり進捗が芳しくない。
今日はとても眠い。旅行からの睡眠不足が解消されていないみたいだ。
○活の交通費の立替 (後日振込み) がかなりきつい。負担になっている。
複素関数論、Laplace変換を使う時点で結構ズブズブな気がする。渦以外の応用例に乏しい感じがあるが、ちょっとした時に厳密にやろうとすると複素数で…といったことあり。今更になって気付く。
旅行の写真などの整理をしたいがいつになるやら。

2017-05-09

2017/05/08

旅行中 (05/05 - 05/07) の記事はないです

schedule

00:00? 睡眠
08:30 起床・朝食
11:00 シャワー
12:30 出家
14:00 帰宅・昼食
15:00 昼寝
18:30 起きる
19:00 夕食
20:00 風呂
以後グダグダ
25:00 やっと動き始める
04:10 作業おしまい

やったこと

ゼミの準備 (パワポ作成, 3h10m)

旅行帰り
グダグダすぎてどうしようもない。ゼミのための資料を作らねばならないが、やる気が出ない…。Macbookでパワポを開くもダメ。眠いから(あんなに寝たのに)？他にもやりたいことがあるから？(旅行の資料整理、費用の集計、記事編纂、章の途中で止まっていた線形代数入門の読み進め、労働法の読み進め)
部屋の空気が気だるかったので、窓を開けた。で、眠みもあったので、布団でMacbookを触ることにした。そうしたらなんとかやり始めた。

2017-05-05

2017/05/04

schedule

05:00? 睡眠
12:15 起床・朝食
13:30 本読む、親戚が来る
15:30 親戚帰る・本少し読む
17:00 風呂
18:00 夕食
20:30 出家 (予定)

やったこと

株式の計量分析入門 1章終わりまで (前にここだけ読んだが、落ち着いたらマーカー引こうとして忘れてた)
線型代数入門 pp.140-141

親戚が来た。何年ぶりかに会う。
額面・みなし額面が分からず戸惑う。
本を読んでもすぐに忘れていってしまう。どうすれば。

2017-05-04

2017/05/03

schedule

05:00? 睡眠
12:00 起床・朝食
13:00 グダグダ本読む
19:00 夕食
21:00 グダグダ本読む
23:20 電話

やったこと

プレップ労働法 pp.76-90 懲戒処分・解雇
C言語入門書の次に読む本 pp.74-106 1章、const, バグ。2章は前半ヘッダの書き方だけ。
確率過程への誘い pp.45-52 離散型確率モデル。フィールド、分割、フィルトレーション、可測

鼻は収まる。
旅行のプランをやっと練りはじめる。富山市街はあまり何もない。観光がほぼ金沢メイン、翌日べるもんたということで、ホテルを高岡に移動。ニューオータニのセミダブルが朝食付き8000円くらい、他にも2つ、キャンセルなのか安いプランがあった。直前の旨味。
べるもんたの空席があったので予約する。観光列車なのにGWにまだ空きがあって大丈夫なのか。Web予約だったので、席が微妙なところになってしまった。2人だと選べない? 有人窓口の強さはこういう人間味のある融通にあるか。それで、寿司とかのプランを予約し忘れる。

ＪＲ氷見線・城端線を走る観光列車「ベル・モンターニュ・エ・メール」（愛称べるもんた）の運行１周年を記念して、高岡駅で２日、記念セレモニーが行われ、乗客や関係者が節目を祝った。ＪＲ西日本によると、先月末までの累計乗車数は約１万４千人に上り、乗車率は８９％となっている。　べるもんたは昨年１０月から土日曜に運行。土曜は新高岡・高岡―氷見駅間、日曜は高岡―城端駅間を１日２往復する。大きな車窓から見える富山湾の景色や車内で職人が握るすしが人気で、「走るギャラリー」として愛されている。 www.hokkoku.co.jp

意外と人気なんだね。快速でいいのかな?
労働法は10ページ / 1時間くらい読むのに掛かってしまう

確率過程への誘い
前までより怪しいところあり。といっても「確率論の基礎概念」の章なので、詳細は割愛なんだろうか。
field、少なくとも $\sigma$ -fieldなら $\sigma$ -集合体だろうか。代数でfieldといえばやっぱり体で、しかし今回は集合族についてで、でも集合の和・積・補集合・差 $A\B$ の4つの演算について閉じているので体っぽいか。
p.47 : $S_1$ を観測し、 $t=1$ では $A$ であって $A^{c}$ ではないという情報から、field $\mathcal{F}_1$ について
${ \displaystyle \mathcal{F}_{1} = {\varphi, \Omega, A, A^{c}} }$
となるのは、「そうではない」という情報が加味されたということだろうか。
定義2.1.2 沢山の分割から生成されたフィールドがよく分からない。これらは $D_{i}$ の有限個の和集合とその余事象で表されるのは、補集合は分割に入っていて、積(と積で表される差)はド・モルガンの定理で和にできるからか？Borel setしかり、演算が閉じるだけという条件だと、要素は非可算無限個ありうるというか、演算結果から新しい元がひたすら生成されていくのを想像してしまい、停止するのか(しなくていいと思うけれど)気になり、大体ここらへんでごっちゃになる。(Borel setなどはそもそも実数 $\mathbb{R}$ の区間全部を取るので非可算無限と思うが)
集合の可測は若干怪しい。関数の可測は問題なし。 $\omega$ ではなく $x_{i}$ となるような集合でやるから、あのLebesgueは値域を区切るみたいな話かな。
定義2.1.5の任意の $t$ に対して $X_{t}$ は $(\Omega, \mathcal{F}_{T})$ 上確率変数となるのは、暗にフィルトレーションである仮定が必要ではないか?
定義2.1.6は、フィルトレーションの条件 $\mathcal{F}_{i} \subset \mathcal{F}_{i + 1}$ が無いから暗黙なんだろうか? 確かに、株価の例ではどんどん「情報が増える」ことを前に強調していたので、そうなの…か?
p.51右上 : 逆に確率変数列 ${X_2, X_1 }$ とすると、 $X_2$ は $\mathcal{F}_2$ 可測で $X_1$ は $\mathcal{F}_1$ 可測だから、 $\mathbb{F}={\mathcal{F}_{2}, \mathcal{F}_{1}}$ がフィルトレーションではなくなってしまうと思うが、存在すればいいのか？まあ、自然なフィルトレーションがあるので並べればそうか。
全ての確率変数は、 $2^{\Omega}$ -可測になる気がするが。
分割によって生成される話、位相の基底…とはちょっと違うか

2017-05-03

2017/05/02

schedule

12:00 起床・朝食
13:00 少しだけバブル文化論読む
14:15 出家
15:00 研究室 (2時間ほど本を読む、後だらける)
18:00 パン買いに行く・インドカレーを買う
19:30 帰宅・夕食
21:00 寝てしまう
25:00 起きる・グダグダ

やったこと

バブル文化論前書終わりまで。
確率過程への誘い 1.10 (変分・Riemann-Stieltjes積分・2次変分・共変分)

鼻が酷い。ずっとくしゃみか鼻かんでいる。点鼻薬で何とか収まる…
酔って寝てしまい完全にダメだった。電気も消さず、水も飲まず、鼻もあれで眠りが浅かった。
夕食を食べすぎて胃が辛い。バカみたいに食べられる身体じゃなくなった。
フリーで折角なんでも出来る日だったのに、2時間しかやってない
旅行の準備。高山→新宿の臨時便が出たので予約。富山・高岡・金沢の概略を知る。意外とcompactな街だ。
確率論の本を読んでは挫折すると、 $\sigma-$ 加法族にだけ詳しくなる。
未だにBorel setとか理解してない

電車の中で読む本は、今は「FPGAの原理と構成」で、天野さんという第一人者の方が著者だが、その人でもやはり最近のFPGAの内部構成(LUT、InterConnect)あまり分からないとか。で、referenceにAlteraのStratixs IIIのマニュアルがあったので、読んでみたら意外と詳しかった。
CのコードをFPGAに落とし込むという作業を最近しているが、簡単そうな部分(10本くらいの信号から、大量の条件分岐を経て出力2本とか)は高位合成できないものかと考える。AlteraだとOpenCLがあるが、パッと見た感じ無償だと無理そうだった。HDLに落とすまでならVivado HLSでもよいかと思って調べたら、最初が面倒そうで諦めてしまった。

確率過程への誘い : 6ページに2時間…
積分範囲の分割、細分の仕方みたいな話がない。
Riemann積分だとダメで、Riemann-Stieltjes積分だといい関数の例とかもない。まあ、最低限の準備ということなのかな。
Riemann-Stieltjes積分では以下の証明がない。
${ \displaystyle \int_{a}^{b} f(t)dF(t) = \int_{a}^{b} f(t)F'(t)dt }$

2017-05-02

2017/05/01

schedule

05:00 就寝
11:00 起床・朝食・資料の調整
12:15 出家
13:00 研究室 (知人と話す)
13:30 作業
15:00 ゼミ
18:20 研究室脱
18:50 知人と飲む
24:00 帰宅即爆睡

やったこと

なし (ゼミ準備・終わったら放心)

先行研究が存在しないことを示すの、悪魔の証明
流石に○活もGWは皆休止みたいだ。2回戦が始まる。業界一位の会社はこの時期に選考が始まったりするあたり、堂々としている。
メルカリの話は面白い。社会の観測性を高めたインターネットは透過性がある。
インターネットは進化しても、人間は変わらなかった
一般化座標、座標変換であって包含のような概念なのか…?
イオニアを探す旅。楽園追放にmatchしたタイトル。楽園は古代ローマに滅びてしまった
『八〇年代には「根源的な貧しさ」がある』 (バブル文化論, 原宏之) 名文

(超関数をまともに勉強していないのに/から)delta関数って気持ち悪いと思っていた。
${ \displaystyle \frac{1}{|a|}\delta(t) = \delta(at) }$
これじゃあこうなっちゃうじゃんと勘違いしていた
${ \displaystyle \int_{-\infty}^{+\infty} \frac{1}{|a|}\delta(t) = \frac{1}{|a|}\int_{-\infty}^{+\infty} \delta(t) = \frac{1}{|a|} }$
${ \displaystyle \int_{-\infty}^{+\infty} \delta(at) dt = 1 }$
(2行目が間違っている)
${\displaystyle \int_{-\infty}^{+\infty} \delta(t) dt = 1 }$
を使うには、ちゃんと置換積分 $at = \tau, d\tau/dt = a$ をしてから。
${ \displaystyle \int_{-\infty}^{+\infty} \delta(at) dt = \int_{-\infty}^{+\infty} \delta(\tau) \frac{1}{a} d\tau = \frac{1}{a} }$

2017-05-01

2017/04/30

schedule

13:00 起床
13:10 ご飯 (おまんじゅうx3)
13:30 出家
14:20 BBQ
16:00 研究室
17:00 準備
21:30 研究室脱
22:10 帰宅
22:50 風呂
23:30 電話
25:00 インターネット

やったこと

なし
(準備)

それなりに複雑な制御手法は、組み込み計算機(MPU)の資源の制約を気にしている。FPGAなら楽そう、DSP付いてるし(コスト)。
どこでも見れる・家でも作業できるように論文をDropBoxに保存すると、これは何の論文で…みたいなので死ぬ。
一般化座標とTuring機械について少し認知した気がする。受理されない。一般化座標は、特定の座標系のとり方によらない運動の記述。あるいは、様々な座標系での特定の運動を、変換によってウンタラ[要出典][対角化の効用は?]。Turing機械は、soft面じゃなくCPUなどのhard面によいか。あるいは計算機の最も簡単な出発点。これだけでも計算可能性などが分かる。今の機械でも還元できる、か?
最適化と変分法。現代制御。複素解析。何も分からない。
今年は頑張らないとダメなので、大学に数学書とかを運ぶようにすべき？
機械系でメーカーへの推薦カードを持っていたとしても、自分がやりたくないなら結局切らないから意味がない。
勉強と研究の違い、この前の話を踏まえ朧げに輪郭が浮かんだ。
SDEの本、やっていくぞという強い気持ち。でも先に共変動、フィルトレーション等出てからルベーグ測度が現れる。大丈夫か。
「やらないといけない」に追い込まれないと本当にやらない。何故か直前なら大真面目に論文を読める。

schedule

やったこと

コメント

schedule

やったこと

コメント

schedule

やったこと

コメント

schedule

やったこと

コメント

schedule

やったこと

コメント

schedule

やったこと

コメント

schedule

やったこと

コメント

schedule

やったこと

コメント

schedule

やったこと

コメント

schedule

やったこと

コメント