  |
はてなキーワード: 動的計画法とは
一人で勝手にイタイならいいけど、いい加減我慢も限界でなんとかしたい。
そいつは圏論に裏付けられた静的型付け言語のスバラシサを布教しないと気がすまないらしく、事あるごとに純粋でないオブジェクト指向言語をdisる。
曰く、静的型付け言語だと型を合わせてコンパイラが通るようにするだけで実行時エラーを絶対起こさないコードが書けるらしい。
ああまた始まったと思ってたら、そいつが熱弁する後ろから同僚が近づいて「ヒープ足んねぇ」って書かれたメモを背中に貼っつけてたのは笑った。
お前が書いたn3アルゴリズム(!!!!)も型さえ合えばコンパイラがnlognに書き換えてくれんのかね。
いやそれ、動いてるって言わないから。
型チェックぐらいで取れるバグなんて、せいぜいスタックかキューみたいなもんだろ。
お前の怪しい動的計画法のバグをチェックできるコンパイラなんて存在しないぞ。
圏論なんてやってる時間があるならダイクストラ法でも復習しとけってんだ。
どちらにせよ設計においてはオブジェクト指向が使われるのだから、ほとんど違いなどない。
せいぜい数倍コードが短くなる程度の話に学習コストをかける価値は無い。
彼ら全員が理解しない限り、関数型言語で開発などできるわけがない。
そのコストと、純粋関数型言語によって得られるメリットを差し引きすると、正直何の魅力も感じないのだ。
関数型にかぶれている奴は、プロジェクト全体を見通す力、マクロ的な視野なく、自分の狭い世界だけで騒いでいるだけだ。
ま、厨二病みたいなもんさ。
ランド研究所というのはアメリカ空軍が設立したシンクタンクで、色々面白い研究をしている。
ゲーム理論とか線形計画法、動的計画法、帰納推論に正規表現、論理回路の縮約法、パケット交換ネットワーク、
RAND のレポートが先で、学術論文は後、そんな 1950 年代はアメリカの冷戦パラノイアいっぱい夢いっぱいの時代だった。
彼らがどうも昔のレポートを気まぐれに無料公開しているっぽい。2005年から毎年その数は増えている。半導体のスイッチング速度が10ギガの壁にぶちあたり絶賛停滞中のわれらが人類文明だけど、近過去に目を転じると、けっこーすげーじゃん、って気分になれるかもしれない。
試しに
site:www.rand.org/pubs/papers/2008/
とか
site:www.rand.org/pubs/papers/2005/
とか、年号を変えてぐぐってみよう！
追記：
site:www.rand.org/pubs/research_memoranda/2005/
とかもためしてみてね。ペーパーとメモの違いは正直よくわかりません
