証明をTeXに書いておく

昨日の証明は少し間違いがあったので、それを修正しておいた。
ただ、そのまま置いておくと、メモがどこかに行ってしまいそうなので、TeX でまとめておくことにした。
手書きの数式だと簡単に書けるが、TeX できちんと文章にする、というのは結構時間がかかるものである。

短期目標：収束性の証明の検討
今日の作業内容：git レポジトリの準備 2h + TeX に入力 2h
今日のランチ：角笛 幕の内弁当
明日の予測作業時間：4h

最適性の証明

この前から考えていたアルゴリズムのは、終了条件が一般的な終了条件と異なっていることに気がつき、終了条件のときに最適解になっているかの検証が必要だとわかった。

試行錯誤してみることで、双対定理をつかうと、この証明ができることが分かった。
やはり、双対定理は強力である。


短期目標：収束の証明方針の検討
今日の作業内容：最適性の証明 3h
今日のランチ：たちばな しまあじ
明日の予測作業時間：4h

論文からの数値実験プログラム

今まで読んでいた論文のうち、一つについては数値実験プログラムが見当たらないので、自分で Matlab で作成してみた。
ざっと２００行程度で書くことができたので、比較的シンプルに実行できる。

ただ、収束性などの細かいヒューリスティクスが論文には明記されていないので、そのあたりをどう判断するかが難しいところだ。

短期目標：証明することをはっきりさせる
今日の作業内容：プログラム作成 4h
今日のランチ：味庵 青椒肉絲
明日の予測作業時間：3h

medit で、Linux 上の日本語テキスト印刷

Linux でのテキスト印刷の場合、enscript を使うと postscript に整形して印刷ができるのだが、enscript の問題点は日本語が通らない点である。

今日気が付いたが、medit だと印刷した状態を PDF に保存できる。
あとは PDF ビューアで実際に印刷すればよい。
medit では、C/C++などの構文に色を付けてくれる機能もあるので、プログラムの印刷などに便利である。


短期目標：今日読んだ論文のプログラムを３日程度で組んでみる
今日の作業内容：論文読み 3h
今日のランチ：シッダルータ ダルカレー
明日の予測作業時間：5h

論文読み直し

この前から読んでいる論文を再度読み直して、証明に必要なポイントを列挙するようにしている。
ちょっと時間はかかりそうだが、きちんと理解しておかないと、あとあとで困るので、多少の時間がかかっても、これで進めることになりそうだ。

短期目標：論文読み直しを水曜日までに
今日の作業内容：論文読み直し 4h
今日のランチ：角笛 ポークピカタ
明日の予測作業時間：5h

論文読みの続き Part 3

今まで読んでいた論文は、証明は分かるけど、なぜその証明なのか、というコンセプトがよく分からず、その前に書かれた論文、さらにそのベースとなった論文とまで読んでみた。
この辺りまで来ると、どういうコンセプトの計算式であって、どのように計算されているかを把握できるようになってくるので、かなり理解が深まる。
ただ、証明をするとなると、通り一遍読んだだけでは把握できていないので、もっと読み込む必要がありそうだ。

短期目標：途中まで読んであった元の論文を読み直す（来週中間までに）
今日の作業内容：論文読み 4h
今日のランチ：つかさ しめさば
明日の予測作業時間：3h

論文読みの整理

ここ最近で、８本ぐらいを読み込んでいるが、そのうちに
(1) 証明などで重要なもの
(2) 基礎的な内容として重要なもの
(3) 定式化として重要なもの
など、いくつかの特徴に分けて整理しておいた。
このときに年代を一緒に書いておくと、どの論文がどの論文の影響を受けているのか、などが分かって、理解の助けになる。
もう少し読んでおいて、そこから重要なポイントだけを読み直すことにする。

短期目標：論文読みを今週中ぐらいで片づける
今日の作業内容：論文整理1h + 論文読み 2h
今日のランチ：味庵　レバニラ
明日の予測作業時間：5h