August 2010
1 post
A new factory has just opened. →
A new factory has just opened.
November 2009
8 posts
C++で定理証明(?)
ranha:
uezato yuya @ranha C++のtemplateは良く知らないけど、全部判明してからじゃないと一致性チェック出来ない?(多分部分特殊化された状態でふにゃふにゃしたものをstructuralに見てくれない?)のでこれでヤるのは無理かなーと思った。(2009-10-18 17:52:09) link uezato yuya @ranha うーんなんかC++ではむりぽいのう… http://d.hatena.ne.jp/ranha/20091018/1255857502(2009-10-18 18:22:49) link Kazuhiro Inaba @kinaba #proofparty C++でa+0=0+aの怪しげな証明をば… http://codepad.org/L4feGX1J(2009-10-19 17:40:01) link Kazuhiro...
拡張可能なデータ型
ranha:
http://twitter.com/ranha/status/4126621880
http://twitter.com/ranha/status/4126639529
http://twitter.com/ranha/status/4126669748
この辺が参考になる?
http://www.haskell.org/pipermail/haskell/2006-July/018172.html
http://guppy.eng.kagawa-u.ac.jp/~kagawa/PVH/
型...きゅん??
ranha:
http://twitter.com/ranha/status/3598749459 http://twitter.com/asm__/status/3598819573 http://twitter.com/m0h1can/status/3598890839 http://twitter.com/ranha/status/3599046158 http://twitter.com/ikegami__/status/3598831349 http://twitter.com/ranha/status/3599115276 http://twitter.com/ranha/status/3599164655 http://twitter.com/m0h1can/status/3599115357...
みらいのげんごなんか考えてないですけど
ranha:
FLTVの発表資料が全力でイバヤーバイ
http://twitter.com/ranha/status/3397159331
http://twitter.com/ranha/status/3397286509
自分で言っててなんですけど、これとかは割と当てになる指針だと思います。
あと、大体の人は難しいもの/難し「そうな」ものが出てくると「後で読む」を志して二度と読まないのでそういう人騙しにも出来そうですよね。
まぁ別に騙してないんですけど・・・気持ちの問題があるとするならばそういうの抑えるのにも一役買うんじゃないでしょうか。
http://twitter.com/ranha/status/3397189809
それはまぁ取りあえず
http://twitter.com/ranha/status/3397376357
とかで良いと思います。
...
直積を「作る」関手って作れないかな?
ranha:
発端
http://twitter.com/ranha/status/3318384175
http://twitter.com/ranha/status/3318729080
この発言は、
MakeProd :: 圏A → 圏B → 圏AxB(これが直積カテゴリ)
みたいなMakeProdを作れないかなーという事です。
これだと、2引数とったり、関手レベルでカリー化出来ないと行けないのでムムム。
それに対して
http://twitter.com/bonotake/status/3319122903
確かにコレなら！！
http://twitter.com/ranha/status/3319488961
ただしこれだと、元々直積したかった圏D,圏Eに加えて、圏Cと圏C→圏Dの関手、圏C→圏Eの関手を作らないといけないので大変そう。
...
7/16の読みたいものリスト
ranha:
LCF MLについての一冊。
http://www.amazon.com/Edinburgh-LCF-Mechanized-Computation-Computer/dp/3540097244
Polymorphic type inference and assignment
http://gallium.inria.fr/~xleroy/publi/polymorphic-assignment.pdf
“Further reading”
http://caml.inria.fr/pub/docs/manual-caml-light/node20.html
CAML Primer
http://hal.inria.fr/inria-00070045/en/
全てcamlspotterさん情報
...
A new factory has just opened. →
A new factory has just opened.
February 2009
1 post
January 2009
1 post
A new inhabitant has come to tell. →
A new inhabitant has come to tell.
July 2008
2 posts
“
テスト前に講義ノートを売るというビジネスがおもしろい
...”
– テスト前に講義ノートを売るというビジネスがおもしろい # 2008-07-23 - Cheshire Life
next? prev? new? old? before? after? up? down?
taizooo: @otsune 日付表示のときのrel-next, rel-prev 逆じゃね? http://otsune.tumblr.com/day/2008/06/13 next は過去に潜るほうじゃね? tumblr的には。 [http://twitter.com/taizooo/statuses/834005903]
otsune: @taizooo おれは単純にtumblrテンプレートの{NextPage}にはrel="next"を付けているだけだからtumblr的には正しいnextだよ。人間の感覚としてどうなのよってのは運営者にリクエストするのだ http://twitter.com/taizooo/statuses/834005903 lang:ja [http://twitter.com/otsune/statuses/834013072]
taizooo: テンプレがどうかわ、しったこっちゃなくって。そのページの創造主がどのページをnext、prevって決めるかってことがmicroformatsだと理解したんだけど。まさか御大、テンプレを鵜呑みにしたわけじゃあるまいに。まあ SITEINFO でどうにでもなるもんだけんど [http://twitter.com/taizooo/statuses/834026717]
otsune: @taizooo いやいやいや、間違ってるのはtumblr.comの{NextPage}というテンプレが展開するリンクなんだから、そこを元から治さないと。rel="next" href="{PrevPage}" なんて気持ち悪いのを許容するってどんだけセンス悪いんだ lang:ja [http://twitter.com/otsune/statuses/834027882]
taizooo: 運営者だか創造主だかなんだかしらんけど [http://twitter.com/taizooo/statuses/834027991]
taizooo: そういえば、はてなダイアリーもそーだった [http://twitter.com/taizooo/statuses/834033377]
taizooo: nextLink //link[@rel ="prev"] | //a[@rel ="prev"] http://wedata.net/items/700 [http://twitter.com/taizooo/statuses/834035921]
taizooo: あらあら御大としたことがセンス、センスなんて有り体な文言をおっしゃって ：p [http://twitter.com/taizooo/statuses/834037838]
taizooo: microformatsのbookmarkの意味のことをあーだこーだ言ってたくせに。tumblrのテンプレのnextpageとmicroformatsのrel-nextの意味が違ったってねえー、センス悪くてわるかったなー [http://twitter.com/taizooo/statuses/834054657]
taizooo: {NextDayPage} URL for the "next" day page. http://www.tumblr.com/help/custom_themes [http://twitter.com/taizooo/statuses/834058096]
taizooo: {NextPost} URL for the "next" (older) post. http://www.tumblr.com/help/custom_themes [http://twitter.com/taizooo/statuses/834058844]
taizooo: {NextPage} URL for the "next" page (older posts). http://www.tumblr.com/help/custom_themes [http://twitter.com/taizooo/statuses/834059233]
taizooo: センス、扇子、うるさいわー [http://twitter.com/taizooo/statuses/834060971]
otsune: @taizooo いや%SCALARという変数名のハッシュとかfloating_pointという変数名のintegerとか無意味に使うのを「センスが無い」って表現するんだよ。芸術性とかの「センスが無い」という表現とはニュアンスちがうっしょ lang:ja [http://twitter.com/otsune/statuses/834404941]
otsune: @taizooo そもそも「tumblr的な次のページ」という逆転現象を扱うためにa rel="next" href="{NextPage}"ってマークアップするのはキモいだろ。後でソース読んでも意図が分からないし。 lang:ja [http://twitter.com/otsune/statuses/834463339]
otsune: あ、a rel="next" href="{NextPage}"じゃ正しい例だな。a rel="next" href="{PrevPage}"がキモい例だ。 lang:ja [http://twitter.com/otsune/statuses/834465361]
taizooo: a rel="next" href="{PreviousDayPage}" [http://twitter.com/taizooo/statuses/834483856]
taizooo: snj14の「実はrel-next/rel-prevも嫌いｎ(ry」の意味がなんとなくわかった(気がする) [http://twitter.com/taizooo/statuses/834485258]
taizooo: a rel="prev" href="{NextDayPage}" [http://twitter.com/taizooo/statuses/834485815]
taizooo: new とか old だったら方向がわかるけど next とか prev とかって主観的なもんでどうとでもとれる。 [http://twitter.com/taizooo/statuses/834489055]
taizooo: otsuneはテンプレとかへの記述の気持ち悪さについて言ってて、オレはページ移動の気持ち悪さについて言ってて、 [http://twitter.com/taizooo/statuses/834489850]
taizooo: これは交わることがない。 [http://twitter.com/taizooo/statuses/834490029]
taizooo: そもそもotsuneのtumblrページなのだからどうしようがotsuneの勝手なのであった。チャンチャン♪ [http://twitter.com/taizooo/statuses/834491594]
taizooo: オマケ：あんましセンス、センスって言うと揚げ足とられっゾ :-P eace [http://twitter.com/taizooo/statuses/834492779]
kenmat: 誰かにとってはそう受け取られるが、別の誰かには違う受け取られ方をする、っていうのは何処かに問題がある。 [http://twitter.com/kenmat/statuses/834511249]
kenmat: 英語の人でも日本語の人でも子供でもじいさんでも、誰でも見たら解るっていう在り方。日夜それを研究しているひとたちももちろんいるだろう。 [http://twitter.com/kenmat/statuses/834512253]
kenmat: だけどむずかしいな。それが解ればもうあれだ。 [http://twitter.com/kenmat/statuses/834512497]
snj14: @taizooo rel-next/rel-prevも「次のページ/前のページ」っていう意味しか持ってない．HTMLを書いた人が次と思ったらそのページが次．ただ，それじゃ統一されてなさ過ぎ．てことは，今よりもっと頭の良いAutoPagerizeとか作れないよね． [http://twitter.com/snj14/statuses/834591174]
snj14: @taizooo 統一されて無さ過ぎってのは，日付が前のものが「次」なのか後のものが「次」なのか．ほかにも，日付は全然関係なしに文章の内容的な「次」ってのもありえる．全部，rel-nextで表現しちゃう． [http://twitter.com/snj14/statuses/834591905]
snj14: @taizooo じゃあ，どうするかってところで，最終的にrel="bookmark origin"(rel-next問題に置き換えるならrel="new older"等)とかどうよ？って言ってたのがこないだのrel-bookmark戦争． [http://twitter.com/snj14/statuses/834592988]
snj14: @taizooo 間違えましたrel="next older"です．"new older"ってなんじゃそりゃ． [http://twitter.com/snj14/statuses/834593503]
snj14: @taizooo これなら時系列で古い方へAutoPagerizeしたい人も新しい方へAutoPagerizeしたい人も，仕組み的には不可能ではなくなって，後はどういうUIでそれを切り替えるか，とかそういう問題を考えるフェーズに移ることができる． [http://twitter.com/snj14/statuses/834594502]
taizooo: @snj14 ああ、その辺りの問題点をねえー、やっと実感として理解できたって感じさあー [http://twitter.com/taizooo/statuses/834613830]
taizooo: まあ、そういうことにもおかまいなしにセ☆ン☆ス悪く自分が"next"としたいほうに rel-next しちゃうんだけどね。アハハ [http://twitter.com/taizooo/statuses/834614621]
taizooo: そうとう感覚が"Autopagerize"されてて、今から過去に潜っていくのが普通だと思うようになっていることに、ちょっと驚いている [http://twitter.com/taizooo/statuses/834616719]
taizooo: おんなじように"j"と"k"で移動する感覚にも、 [http://twitter.com/taizooo/statuses/834617254]
taizooo: まだ使うようになってから1年経ってないんだけどね。オレは [http://twitter.com/taizooo/statuses/834617720]
June 2008
30 posts
“俺はネットの一部にある「誰が言ったかが重要じゃない。何を言ったかが重要なんだ」って概念を根本的に信頼していない。それが14年ネット見てきた結論。匿名だってポジショ...”
– Twitter / 津田大介: 俺はネットの一部にある「誰が言ったかが重要じゃない。何…
“パソコンに比べてiPhoneは、メモリなどの内部リソースが小さいため、次のような制約があります。
* デコード後の...”
– iPhone向けWebアプリを作ろう（2/4） − ＠IT
5秒とか決まってるのはいいな
(via cxx)
(via ayanamist) (via ichimonji) (via otsune)
“善も悪も人間が人間同士生きていくうえでの決め事として作り上げた仕組みに過ぎないから、善人であるから事故に遭わず息災で長生きし、悪人であるから天罰が下って悔い多き死...”
– 切込隊長BLOG（ブログ）: 人とは、理由もなく生き、理由もなく死ぬものだ (via moonset) (via pinto) (via jinakanishi) (via otsune) (via dump)
“富野監督はお金儲けを是とすべしという意見に同意を示し、「ガンダムのおかげで、この20年、番組作ってるときよりも今のほうが年収がいい。とってもうれしい(笑)」と会場...”
– 「地球を使いこなすセンス」が求められる工学～「ガンダム」の富野由悠季監督らが東京大学で講演 (via wideangle) (via do-nothing) (via pinto) (via jinakanishi) (via otsune)
“第一に、意見は大きな声で言え。そして、これが肝心なことだが、誰にでも同じことを言うのだ。誰にでも、だぞ。第二に、意見は会社のためを思って言え。本当に会社のためを思...”
– 今日の井原. - [読書] 転職活動のために読んだ本、６冊 （プレゼント企画もあるよ！） (via youpy) (via sakurasakuras)
“
NyARToolkitの高速化メモ
高速化で気がついた事、やった事などのまとめと言うか記録。
Java的な高速化
...”
– NyARToolkitの高速化メモ - A虎＠Hatena::Diary
“Debian/OpenSSL 騒動の教訓
Lessons from the Debian/OpenSSL Fiasco - research!rsc
...”
– Debian/OpenSSL 騒動の教訓 - Radium Software
“問題を発見しやすくするための努力”ですか．
私は問題を解決できる方を“ハッカー”．
問題を発見でき，他人もそれを認知できるものが作れるレベルの方を“ウィザード”を呼ぶことにしています．
問題を発見するのは難しいし，それができ易いかつ対処し易いようにする努力って，聞いたことが無いとは言わないけど具体的にそれを見たことは余り無い気がする．
A new inhabitant has come to tell. →
A new inhabitant has come to tell.
“しかし、ここでキャッシュカードの裏に番号が書いてあったらどうでしょう。誕生日以外にそれを入力する可能性が出てくると思います。ならそれを逆手にとって、偽の暗証番号を...”
– 盗難されたキャッシュカードを引き出されにくくするための簡単な方法 - 空気を読まない中杜カズサ
「4桁の番号が三つも書いてあるということは、これは罠だな」 (via otsune)
ukstudio: 気付いた！友達以上恋人未満ってただの友達でも友達以上恋人未満だ！ →
gkojax:
dannnao:
konishiroku:
joker1007:
retlet:
ukstudio
“「天才は1%のひらめきと99%の汗」の真意
...”
– 「天才は1%のひらめきと99%の汗」の真意 # トーマス・エジソン - Wikipedia
“17歳の頃にカナダの駅で夜間電信係として働いていた時、何もなければ一晩中「一時間おきに勤務に就いている事を示す信号を送る」という退屈な仕事に飽きてしまい、時計を使...”
– トーマス・エジソン - Wikipedia (via ayanamist)
“これまでの10年を振り返ってみると、「泥のように働いていた」と言われるとしっくりくる。
そして僕にとって、それは宝石のような10年でもあった。...”
– ラブ&コード プログラマーは16Mだ! - shi3zの日記 (via milkcocoa) (via plasticdreams) それは一般的に仕事中毒と言います。もちろん仕事中毒な状態から得るものも多いだろうし本人の選択ならばそれもありだろうけど、少なくとも上司が部下に「仕事中毒になるべきだ」なんて言うのはよろしい事じゃないでしょ。
(via yoosee)
...
“いずれにせよ、新しいサービスを始めようにも多くの場合には法律違反となってしまうような著作権法ではおかしいですよね。弁護士が、インターネット関係のベンチャー企業に対...”
– 中山信弘氏「著作権法に未来はあるのか」 BLJ Online｜Business Law Journal - ビジネスロー・ジャーナル (via uncate) (via hexe)
“しかし、これを企業側の姿勢として受け取れば、「10年泥のように」は、新人が異物で無くなるまでは、その力を一切使う気がないという宣言だ。”
– IT業界は業界の外へ向けて語る言葉を持つ気がない - アンカテ (via hexe)
“■情報サービス産業(に潜む「論客」)だけには日本を変えられない
■情報サービス産業から日本は変わるかも
...”
– 情報サービス産業(に潜む「論客」)だけには日本を変えられない - 消毒しましょ!
May 2008
5 posts
“あのヒットラーは、ナチスの党員集会を夕方に行った事で有名です。
当然、夕方に人の思考力が鈍る事をわかっての事です。”
– 契約は午前中-不動産ほんとの所 別館 (via torasshu) (via pcatan) (via otsune)
“44 ：Nanashi_et_al.：2007/06/07(木) 08:25:14
学振は本人の力、指導教員の力、運がすべて必要だよね。...”
– 学振、ＲＡ無しの博士過程学生 (via yanbe) (via dump)
maconn:
finalvente: 日本の場合は、会社を私物化してこそ勝ち組。 俺もそう思う。会社を搾取しないといけない(笑)
会社だけじゃなくて，組織一般に言える気がする…
気のせいか…な…
“うちの大学は夏休みが7月からなので、一部の学生は現在中間テストがあるらしい。
...”
– 「カンニング」と大学 - No Hedge!
学術と言えども「研究のトレンド」的なものがあるし，結局価値を決定するのはどこへ行っても市場なので，コストを考えると(以下略．
“そこでCPUは3次元の仮想空間に存在する仮想物体に対して適切なライティング計算とトランスフォーム計算を行い、その結果を二次元のポリゴン情報(正確には2次元ではなく...”
– ヌルいプログラミング - shi3zの日記
これは非常に勉強になる．
最適化はループの内側から、ということでそのプログラムの内側を眺めてみました。
...
April 2008
2 posts
A new inhabitant has come to tell. →
A new inhabitant has come to tell.
“これらには確かに「恩」がある。しかしこれらは「恩人」とは言えない。私にとって恩人とは、困っている私を「察した」上で、私に手を救いの手を差し伸べるものを指す。別の言...”
– 404 Blog Not Found:バイキング式のレストランで給仕を待つ君たちへ
？？？？
良くわからない．
「恩」と「恩人」の定義に大きな差があるように感じる．
つまり一般論じゃなくて，私個人の考え，意見ということなのだろう．
これの後の文章はその説明？ここまでしか読んでないけど．