13時に起きた. 何もする気が起きず退屈だったので家電量販店に寄った.タブレットが欲しいなと最近思っていたので見に行ったのだが,あまりに高価だったので今はいいかなという感じだった.ノートをとるのには便利そうだったのだけれども,結局やる気がなけ…

2時に目が覚め,8時ぐらいまでだらだらと過ごしていたら,16時になっていた. 提出すべき計算を終わらせた.本当にやる気がない.

10時に起きた.午前の内容は覚えていない. 午後は演習,0,1の乱数発生器を使って[a,b]の離散一様分布を作る方法を聞いてへえと思った.アルゴリズムについては聞けばその通りだなとなるが実際に思いつくかというと難しいので,知識という感じがする. レポ…

10時に起きた.午前の内容は覚えていない. 午後は演習,0,1の乱数発生器を使って[a,b]の離散一様分布を作る方法を聞いてへえと思った.アルゴリズムについては聞けばその通りだなとなるが実際に思いつくかというと難しいので,知識という感じがする. レポ…

7時に起きた. アルゴリズム,二分木の色々な操作を追った.最大値,最小値,次節点,前節点,挿入,削除といった操作がO(h)(h:木の高さ)で行えるのでうれしいらしい.ランダムに二色木を構成すると高さの期待値がO(logn)になるので結局すべての操作がO(logn…

今日は何もできなかったし,今から何かをする気もないので昨日の問題の解答をメモしておく. を満たす直交行列,非負対角行列が存在する(の特異値分解).したがって, (は直行行列)と変形できる(途中を用いた). ここで,直交行列の各列ベクトルの要素の二…

インターホンが鳴ったので起きた.注文した円盤が届いた.早速観たが相変わらず面白い.オーディオコメンタリーがえらかった. 統計のレポート,主成分分析をした.理屈は大分わかってきたので後は実装の問題だったのだが,慣れない言語はつらい.終わってみ…

7時46分に起きた. 位相幾何,図形を連続的に変形することを変形レトラクションで表現し,ホモトピーの話につなげていった.最適化の制約条件が非有界な多面体であるとき,それが可縮かどうか判定したいことがあったみたいな雑談をしていたのだが,位相幾何…

6時半に起きた. 情報理論,通信路容量が相互情報量の上限に等しいことの証明が延々と続く,厳密に証明するのは大変そうだなと思いながら見ていた. OSのスケジューリングの話,なんというか,雑学という印象しか持てず申し訳なくなってきた. 5年前に放送さ…

8時半に起きた. 1限には間に合わなかったので家で資料を読んだ.双方向リストの実装をしたなと懐かしんだだけで,計算量チェックはまだやっていない. 2限には出た.while文の仕様の正しさをどう証明するかという話で,部分正当性(もしプログラムが停止する…

11時に起きた. アニメを見たりレポートを書いたりしたはずなのだが,どう考えても実際の時間に比べて体感時間のほうが圧倒的に短い.原因はインターネットなのだがどうにもできずに困る. ダブルトーラスをねんどでつくる動画を見た,位相空間に親しむとい…

11時に起きた. アニメを見て面接に向かう.無為でつらいが仕方がない. 神経をすり減らしたので,回復のためCDショップに行き漫画も買った.11ヶ月ぶりの新刊だったが相変わらず面白い.次が出るのは1年後だが,なんとか生き延びたい. 意識がないまま夜に…

8時に起きた. 位相空間の講義,コンパクト性の話だった.任意の被覆について,その中から有限個の開集合をとってきて覆ってやる...という証明の流れはつかめた.教員の進め方がゆるくて何となく笑ってしまう. 信号処理はほんとうに記憶がない,じわじわと…

8時半に起きた. 線形計画法,改訂単体法と感度分析の話だった. 実験はフィルタの設計,信号処理っぽいことを始めてやった.結果が目に見えるとうれしくなるのでオシロスコープは偉大.作業が虚無なのはご愛敬. 帰宅しても何もする気がしない,大分疲れが…

8時に起きた. 微分幾何,曲線に沿ってベクトルの"平行"移動を考え,接続形式や共変微分の話を進めた.平行移動による基底ベクトルの変化を,移動前の基底を用いて表現しようとする気持ちが伝わってきた. 演習では第一・第二基本形式とGauss曲率・平均曲率…

10時半に起きた. 言語モデル論のレポートを書く,ユークリッドの互除法のプログラムの評価過程を操作的意味論に基づいて書き下した.スクリーンショットをlatexコマンドに変換するアプリが役立った. 曲面の曲率をだらだらと求めた後5限に向かう,外は大分…

インターネットから離れていた,明日から再開するつもり.

9時半に起きた. 数理計画法,双対性や相補性条件の直感を得たので良かった. 前期ぶりの演習,距離空間ならちょろいだろと思ったが全くそんなことはなかった.今更どうにかなるものではないので,おとなしく復習をするしかない. 帰りがけに友人に出会った…

8時に起きた. 微分幾何,テンソルを久しぶりに見た,確か相対論で見た気がする.初見の時よりかは違和感なく受け入れられた.演習はレポート問題が首尾よく解けたので良しとする. 統計,最小二乗法の幾何的な直感が得られたので良かった. 疲れがたまって…

8時に起きたが,ギリギリ間に合った. 通信路符号化定理の話に入った,条件付確率やエントロピーの式がごちゃごちゃしているが難しい話ではなかった. OSの話,割り込み処理の流れを追った.用語が沢山登場してややこしかったが前回までよりは話に意識を向け…

7時半に起きた. 朝はアルゴリズム,クイックソートとヒープソートの解析.話を聞いているだけだとその通りだな~と頷くだけになりがちなので,実装でもしようかと迷う. 続いて今期初めての他学部の講義,プログラミング言語の構文の話を聞いた.帰納的定義…

11時に起きた. 符号理論の本を読む.ハフマン符号とはだいぶ顔なじみになってきた.演習問題にちょくちょく面白いものがあって良い. アニメを見た.なんだかんだで今期も面白そうなものを何作か見つけられたので良かった. レポートをメールで送信した.日…

10時半に起きた. 昨日買った本を読んだ.初めのうちは良かったのだが段々と虚業感が出てきてつらかった.実装パートを自力で考えつくのが良い気はするが,言語仕様に馴染みがないので全くやる気にならない. 疲れたのでノベルゲームを進める.ここ最近の癒…

7時半に起きた. 位相空間の話.連続写像は復習,相対位相や直積位相・商位相の話は初めて聞いたが自然に受け入れられる流れだった. 信号処理,ひたすらFourier変換をしている.デルタ列のFourier変換もデルタ列という話は先学期も聞いたが,証明が厳密にさ…

9時半に起きた.卒業研究で機械学習の研究室に配属される夢を見た.機械学習をやれとのお告げっぽいので,手ごろな本を買って実装でもしようか. 線形計画法は家で自習することにした.2段階単体法,アルゴリズムは理解できたのだが手計算が一生合わないので…

8時に起きた. 遅刻しながら微分幾何の講義を受ける.曲率ベクトル(空間ベクトルのsでの二階微分)から出発し,それを測地的曲率ベクトルと法曲率ベクトルに分解する,法曲率ベクトルの大きさである法曲率が第二基本形式で表され,また,法曲率の極値の積をGa…

7時前には目が覚めた. 情報理論,平均符号長の評価にエントロピーが登場していて面白かった. 続いて仮想記憶の話,黒板に書かれた図だとあまりイメージが湧かなかった(そもそも耳を傾けていなかった),他学部のスライドを見つけたのでいつか読むことにす…

11時に起きた.目覚めが悪いし,喉も少し痛む. アニメを見た.見たはずなのだがタイトルすら思い出せない. レポートの続きにとりかかる.大量の画像を貼り付けることに何とか成功するも,体裁を整えるのに時間がかかった.雑務処理にすり減らされるのは大…

9時に起きた.日の光を浴びると目覚めが良くなるとは言うが,目を開けられないほどの直射日光では逆効果だった. 部屋の掃除をしてレポートにとりかかる.C言語の剰余の仕様(負数を正数で割った余りは負数で表される)のおかげで1時間ほど溶かした. TEXの…

7時に起きた.朝食用のパンを買い忘れていたので,朝からパスタを食べた. 午前は情報理論の本を読んだ.数式よりも直感的な説明が多かったがわかりやすく,気持ちが伝わってきたので良かった. 昼寝をして,情報理論の資料を読み直す.気持ちがわかった後だ…