勉強
不動点(fixpoint)について。 (適当メモなので信用しないように。)関数の不動点は、f(x)=xとなる点。 んでも、least fixpointとgreatest fixpointという単語がよく分からず調べてみた。 どうやら、両方とも論理学ヨリの単語らしい。 おぼろげながらに理解した…
自分の理解のための自分へのメモ。 間違ってたら自分の理解が間違っているということなので、あしからず。 π計算はCCSの拡張なのでCCSを説明する。 CCSとは、Calculus of Communicating Systemの略。 コミュニケーション(通信)システムを抽象化したもの。 な…
並行プロセス計算モデルで、Pi計算というのがあります。*1 lambda計算のような無闇やたらに抽象的な記述ですが、一応チューリング完全です。とりあえず、pure Lispの5つ組が実現できればチューリング完全なのは示せるよね。5つ組とは、car/cdr/cons/atom/eq…
続き
今日は用語解説対策でもしよう。 教科書の索引から出そうなのを抜粋してゆくつもり。 １００個もないよな、多分。たぶん。
pthread_cond_*系でスレッド同期をするという話。 演習のときはかなりテンパってたけど、サンプルコード無視して、 manしたほうが早かったという話。というわけで解説
授業内容 線形計画法 シンプレックス法 ２段階シンプレックス法 改訂シンプレックス法 双対問題と双対シンプレックス法 感度解析 整数計画法 整数計画問題 整数計画法の基本的枠組み 切除平面法 分枝限定法 非線形計画法 制約のない問題の最適化手法 降下法 …
1枚目 ハンバーグ 定義的なメタファー Hardware 料理の皿や鍋。最近は皿も食べられるようになってきた。 Software(広義) HWではない部分全部。つまりはハンバーグ。材料や調理法も含める。 Software(狭義) ハンバーグの味付け。 要求仕様 ハンバーグの注文 …
テスト範囲 パターン認識過程における画像処理の位置づけ キーワード キーワードを交えての文章書きか？ 局所処理フィルタ どう使いこなすかを問う オプティカルフローの拘束方程式 導出 意味 ステレオ画像処理の基本幾何 計算モデルから順にたどる→導出？ …
講義が６割。 演習が１０割。 あわせて８割。講義半分以上さぼってた身からすれば、俺すげえ。
終わった。5章以降はひたすら実装内容を記述するだけなので、 READMEを参考に適当にまとめるだけですんだ。
5章半分まで終わった。 あと5章半分と6,7,8。
はいはい3章3章。 すすまねぇ('д`)
後半戦ー。
id:peregrinationのまね
mzpのまねだ。まね。
記述済み 課題 １，２，３，４，５，７，８，１０，１１ 調査課題 １，２，３，４ 進捗率 完遂('ー`)ほ。
記述済み 課題 １，２，３，４，５，７，８，１０，１１ 現在進行中 調査課題１ 残り 調査課題 １，２，３，４ 進捗率 ６９．２％ 予想残り時間 ２時間４０分もっとかかるだろうな。
記述済み 課題 １，２，３，４，５，７，８ 現在進行中 課題 １１ 残り 課題 １１ 調査課題 １，２，３，４ 進捗率 ５３．８％ 予想残り時間 ８時間('д`)むひゃー
作業項目 課題 １，２，３，４，５，７，１０，１１ 調査課題 １，２，３，４ 選択課題６，８，１２（どれかひとつでよかった） 記述済み 課題１，２，３，４，５ 現在進行中 課題７(50%) 残り 課題７(50%)，１０，１１ 調査課題１，２，３，４ 選択課題６，…
記述済み 課題 １，２，３，４，５，７，８，１０，１１ 調査課題 １，３，４ 現在進行中 調査課題 ２ 残り 調査課題 ２ 進捗率 ９２．３％ 予想残り時間 プログラムがあるので２〜３時間ナンカ終わり見えてきましたよ！！！ とりあえずお休みなさい。
パターン認識のレポートやったら、再来週提出分をやってしまった。 死ぬる。
作業項目 課題 １，２，３，４，５，７，１１ 調査課題 １，２，３ 選択課題６，８，１２（どれかひとつでよかった） 記述済み 課題１，２，３ 現在進行中 調査課題１ 残り 課題４，５，７，１１ 調査課題２，３ 選択課題６，８，１２ 進捗率 ２７％追記、課…
画像ファイルの埋め込みができない。 って言うかできてるのにPDFになると表示されない。 ghostscriptがこけてるっぽいけど素人だから全く分からない。 時間だけが過ぎてゆく。
OOoはまだちょっと無理があると思って、レポートにTeX導入したわけです。そして思った、 「案外全部CUIなのはいいかもしれないね。」そしてようやく課題１が終了、課題２へ突入。 イヤーなかなか終わらんばい。作業進捗状況を体感するため残りを列挙。 課題…
