動的意味論は、 従来の文の真偽値を集合論に基づいて求めるものではなく、 文のアップデート関数によって記述する。トポスは圏論の一つの例。 集合論ではなく、作用によって記述する。
講演メモ 計算量がデータサイズに対して線形より大きかったら 並列化はほとんど意味がない。 n^3 なら 10000台並べても 10倍にしかならない → 1. ちゃんとしたアルゴリズム、データ構造、分析手法を使う。 2. それから分散並列化 完備辞書は n+O(n) bit をも…
Borrows Wheeler 変換(BWT)。 ようはサフィックスアレイの一個前の文字の配列のこと。 BWT した文字列は同じものが連続して並ぶという性質があるので、圧縮が効く。
p.4 「演算速度は速くなる一方で記憶装置へのアクセス速度は一定のまま」 経験エントロピー 0次 H_0(T) = - Sigma_{c \in Σ} n_c / n * log ( n_c / n ) n次 H_k(T) = - Sigma_{W \in Σ^k} n_w / n * H_0(T_w) T は文字列、 Σは文字集合、 T_w は T 中に出現…
buffering in standard streams http://www.pixelbeat.org/programming/stdio_buffering/ why IO::Pty and Expect modules can help to solute open2 's block? http://stackoverflow.com/questions/12705460/why-iopty-and-expect-modules-can-help-to-solu…
pp.47-81( Chap3,4 ), pp.114-131( Chap6 )テストすべき項目 1. コントラクトテスト = 外部に公開されているインターフェースのテスト 2. 入力値範囲テスト 3. path テスト = if 分岐による実行パスのテスト 4. 外部状態テスト = ファイルがあるか、読み込み…
HOST, AM/IM hostage hospice hostel inhospitableamicable enamored inimical paramour 引いた単語 bickering: 些細なことでの口げんか lush: 緑豊かな
リーダシップの MOI モデル Motivation Organization Ideas の3つがそろっているときリーダシップによって変化が起きる。 技術革新のために力をそそぐ3つの分野とは、 問題の理解、 アイデアの流れを調整する、 品質を保持する、 である。
我wo 是shi 人ren 他ta 的de 吃chi 去qu 有you 你ni 不bu 中国語の入力には、IME で中国語を追加して MS Pinyin ABC というキーボードも追加したら、 ni と入力してスペースを押すことで変換候補が出るようになった。 ただしシステムに 四声 を入力するには…
"Garbage in, nothing out/error message out" instead of "Garbage in, garbage out". assertion コードは開発時のもので puroduct からは除くものである。 Assertion 利用のガイドライン error handling は起こるかもしれない条件に対して使うが、 asserti…
BELL, PACantebellum bellicose belligerence rebellionpacify pacifist pact appease引いた単語 Aztecs: アステカ族
上記はどれも分散プログラミングの RPC インターフェースという分類になる。 CORBA = Common Object Request Broker Architecture, 重いプロトコルで機能は豊富。 XML-RPC = 軽くて手軽なプロトコル。コールに XMLを、送信に HTTP を使う。また Python 独自…
直線的なアプローチ(アメとムチ)と有機的アプローチがある。
http://www.slideshare.net/takmin/building-highlevelfeatures#btnNext 非常にわかりやすい。 普通のニューラルネットのような教師入力との誤差の逆伝搬ではなく、 一回エンコードしてデコードしてから元のデータと比較することで誤差とする。 Deep Learning…
うまくいったプロジェクトは、技術に詳しくかつうまく人をまとめる事の出来る一握りの人が 起こしていること。
Proc.new と lambda の違いは、 1. 引数の数が lambda ではマッチしていないといけない。 2. return したとき、lambda は lambda から出るだけだが、Proc.new は定義中のブロックから出てしまう。
inject は reduce と同じ。1.9 でreduceという名前も使えるようになっただけ。 "" の中で式を展開したい場合は、#{} でくくる。 例: return ["#{under19[num / 100]}", "hundred"] + num_to_name_array(num % 100) puts と print の違いは最後に改行するかど…
getPage ではなく fetchPage や downloadPage と書く。 スコープが短いなら名前も短くてよいという考え。 イテレータ も i,j ではなく mi や cj のように区別できるようにしておく。 まとめは p.27 にある。
p.55 アルゴリズム5つの手法 1. 具体例を考える 2. パターンマッチング もとの問題と似ている問題を考え、その解放が応用できないかを試す。 3. 単純化と一般化 まず単純化して解き、それから一般化を考える 4. 初期状態から組み上げ(数学的帰納法) DP 的に…
CheckIO 5,6,7 と ScienceExpedition1 を解いた。 わざわざ reduce を使っていたが any() というのがある。便利。 ret = any(c.isupper() for c in data) 三角形の内部に点があるかどうかの判定方法は、 三角形のある一点を原点とみなし、 そこから伸びる二…
CheckIO の 1,2,3,4 を解いた。 a = 0.1 は実は表示上の省略表現で、return すると 0.10000000001 のようになる。(したがって一致しないことに注意。) (=離散化誤差を明示的に扱っている) python における配列のコピーでは、 array1 = array2 array1 = arra…
レガシーコード改善ガイド6章を読む p.57 C++ では Java のようなリフレクションがないので CppUnit を書くのは難しかったらしい。 リフレクションとは、 「派生クラスのメソッドに対する参照をもって、実行時にメソッドを検索することが可能。」p.67 スプラ…
テスト熱中症読んだ。 http://www.objectclub.jp/community/XP-jp/xp_relate/testinfected-j (これは JUnit 3.8 の話でちょっと書き方が古かった。)> public class MoneyTest extends TestCase { で分かるように、テストはクラスとして書く。関数としてでは…
テスト熱中症 アジャイルサムライ(再読) モダンPerl入門(いい加減読み終える) アジャイルプラクティス(再読)
* 1章 ソフトウェアを変更する4つの理由 要件の追加 バグの修正 設計の改善(リファクタリング) リソース利用の最適化 ソフトウェアは“振る舞い”が重要。 変更において考慮すべき三点。 どんな変更を行うのか 正しく変更したことをどう確認するか なにも壊…
* ヒープとは 二分木のデータ構造であり、次の二つの性質を持つ。「ヒープの順序」: 親ノードは必ず子ノードより小さいか等しい(または大きいか等しい)。 「ヒープの形」: バランスがかけているのは右下のみ。これは配列Aで表現するのに都合がいい。 つま…
とりあえず始める。