本当はむずかしいクイックソート（またクイズ） - sumiiのブログ
アルゴリズム入門の代表的例題のような「クイックソート」ですが、意外と「罠」が少なくありません。例えば以下のような教科書的実装を考えます。 void quicksort(int *a, int n) { int tmp, pivot, left, right; if (n <= 1) return; pivot = a[0]; left = 1; right = n - 1; while (left <= right) { if (a[left] < pivot) { left++; } else { tmp = a[left]; a[left] = a[right]; a[right] = tmp; right--; } } tmp = a[right]; a[right] = a[0]; a[0] = tmp; quicksort(&a[0], right); quicksort(&a[
Microsoft Academic Search - sumiiのブログ
またTwitterから転載します。（「はてな」と統一できればよいのですが、文字数制限が一番のネックです…） Microsoft Academic Search ( http://academic.research.microsoft.com/ ) という、Google ScholarやCiteseerのMS版があることを知った。 MS Academic Search、ちょっとデータが古い＆論文のunificationが甘い？ > http://academic.research.microsoft.com/Author/822441.aspx 学会や論文誌についての統計（引用数など）は参考になる。> http://bit.ly/2VS5Z8 …というか研究「者」個人まで陽にランキングされてるのかー。これはきつい…（笑） > http://bit.ly/30GiSK ふーむ、大学ランキング同
C言語で非決定的計算 - sumiiのブログ
http://www.kmonos.net/wlog/96.html#_2319090427 今ある普通の言語の場合、「別に最左である必要はなくて、最大要素のインデックスならどれでもよかった」という実装をすることができません。 「普通の言語」どころか（書いた私が）頭のおかしいコードですが、 > cat max.c #include <stdio.h> #include <assert.h> #include <setjmp.h> void amb(int x, int y) { assert(0); } /* longjmpは返値型がvoidなのでint型に合わせる */ int mylongjmp(jmp_buf cont, int ans) { longjmp(cont, ans); assert(0); } /* arrの最大要素(の一つ)のインデックス+1を非決定的に返す */ v
思いて学ばざれば則ち殆うし - sumiiのブログ
あるところに同じようなことを（ほとんど成り行きで）書いたのですが、重要な問題のような気がしてきたので、こっちにも書いてみる。 一般に、関数型言語やプログラミング言語（および計算機科学、ないし任意の専門）についての情報は、 一般書・一般誌、Webやメーリングリストやブログ 教科書・専門書 論文 口頭での議論（学会発表や質疑応答、グループのミーティング、部屋での会話） などで交換されます。 で、一般に情報の「ディープさ」は上から下へ行くほど濃くなると思うのです（少なくとも僕の専門分野ではそう）。そのごく一部である1.だけ（しかも日本語onlyで）「勉強」していろいろと議論するのは、（何もしないよりは良いのかもしれませんが）非常に危険です。その危険をちゃんと意識していればno problemですが。「高速道路」の話と同じことかも。 たとえば、日本のネット(?)では今になって妙に持ち上げられている
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
紺屋の白袴（または医者の不養生）その２ - sumiiのブログ
ICFP 2011 - sumiiのブログ
