プログラマーが覚えておくべき10の英語フレーズ - このブログは証明できない。
It's a feature. 仕様です。 I'm afraid not. 無理です。 Something is wrong with Internet Explorer. IE爆発しろ！ I'm 20's in hex. 16進数で20代です。 You are often PHP. よくdisられてるね。 She is Haskell. 彼女はとってもピュアだけど、ちょっと近寄りがたいところがある。 I'm waiting for compiling to end. 2ちゃんねるを見ています。 I have a single core. そんなにいっぺんには出来ません。 I took a core dump yesterday. 昨日は飲みすぎた。 He created a Lisp implementation in PostScript. 彼は変態です。 プログラマーが世界を救う10
Kazuhiro Inaba
Contents Papers and Books On papers and books I wrote. Blog My personal memo. Freewares Tools I created: "Noah", "caldix", "GreenPad", etc. Programming Articles on programming: about Boost, D-Language, etc. NYSL On the software licence "NYSL". About Me Kazuhiro Inaba / 稲葉 一浩 Software engineer at Google, in Chromium OS project. email: kiki .a.t. kmonos.net twitter: @kinaba topcoder: cafelier dblp,
OMakefile で Makefile で書かれたサブプロジェクトを管理する方法 - camlspotter’s blog
まだ安定していません。細かいところ予告なく調整していきます。 既存 Makefile によるプロジェクトの omake への組み込み方は、二つあります。 OMakefile へ移植 ひとつは、Makefile を OMakefile に移植すること。Makefile が何やってるか完全に理解する必要がありますが、自分のプロジェクトであれば、あまり手間はかからないでしょう。というか、omake 使うんでしょ？じゃあ自分のツリーくらい、OMakefile で書きましょうよ。 Makefile へ丸投げ もひとつは、粒度が大幅に粗くなり*1ますが、make に任せてしまう方法。 Makefile.omake とか作って all: ./configure; make clean all installとか書いといて、make -f Makefile.omake all するとクリーンビルドするよう
第十五回「ロリコンはどこから病気なの？」 | マンガで分かる心療内科・精神科・カウンセリング
現在「ヤングキング」という雑誌にて連載しております。もし興味ありましたら。 ＜補足＞ このマンガは、制作時の精神医学の診断基準「ＤＳＭ－Ⅳ」に準拠しています。 2015年現在では「ＤＳＭ－５」が出ており、基準がほんのちょっとだけ変わっております。これについてもいつか扱えたら扱おうと思います。 またここで語っているのは「精神医学」としての話です。 「病気とされるのはここまでだよ」という話であって、法律的な話については何ら触れていません。 「やったぁ未成年はＯＫなんだ」とかではないのでご注意ください。 また途中の療からあすなへのセリフは「13歳以上への性的嗜好は『病気ではない＝精神医学的には正常』と聞いても、それでも『病気＝正常ではない』と判断したがる」ことへのツッコミです。 たぶん大半の方が分かってると思いますが、一応ご注意ください。 また「え、また逮捕オチ？」と思った方は、無言でその気持ち
SATソルバを使うためにCNFを作る - soutaroブログ
SATソルバっていうのは，充足可能性問題（SATisfiability problem）を解いてくれるソフトウェアのことで，SATソルバで数独を解くとか，以外と身近なところに応用があったりします．SATソルバは数独を解くだけじゃなくて，プログラムの停止性の判定に使うとか，いろいろな応用を考えることができる良いものです．普通，SATソルバはCNFという論理式の特殊な形を取り扱います．日本語だと乗法標準形とか言うらしいですけど，別にこの言葉は忘れても良いと思います．詳しくはWikipediaでも見てもらえれば良いのですが，CNFは，変数かそのnot付けたやつ，をorで結んだやつ，をandで結んだやつ，という意味です． CNF ::= c1 && ... && c2 c ::= l1 || ... || l2 l ::= x | !x 任意の論理式(変数(x)とor(||)とand(&&)と「な
d.y.d. - 最短性をチェックする
17:31 10/01/26 言語雑談会 言語雑談会 なるものに行ってきました。 自分は主に最近のD言語の話題 [PDF] [PPTX] についてと、 最近読んだ Pattern Calculus がイマイチ心に響かなかったという話と、 これも最近読んだ Prolog で SAT ソルバ という論文が格好良すぎて卒倒しそうです、などの話題を雑談していました。 SAT の話をしていてふと突然気づいたんですが、私が今までSATソルバに落としてみたことのある問題は、 すべて割と簡単に CNF（SATソルバがそのまま食べてくれる綺麗な形式の論理式） ができあがる問題だったようです、数独とか。 任意の命題論理式をCNFに変換できる指数爆発しない方法をそういえば知らないぞ俺！としゃべってたら soutaro さんが素晴らしい解説 をして下さいました。ありがたや。 あと shinhさんの 「コンピュータ
言語雑談会2009年度(2010年) - kmizuの日記
言語雑談会というのは、自分がB4のときに始まってなんだかんだと毎年続いてる、プログラミング言語のこととかについてひたすらだべるイベントです。 今年は昨日(1/24)に開催されました。今年は、他に言いだしっぺが居なかったみたいなので、自分が幹事やりました。相変わらず幹事としての自分の手際の悪さにはあきれるばかりでそろそろなんとかしにゃーいかんなあと思う。 予定では、15:00〜開始で、話し足り無い人は11:00〜どっかの喫茶店でpre雑談会に来てねーという感じだったのだが、11:00〜に待ち合わせ場所に行ってもまだ誰も来て無くて少しあせった。で、喫茶店で昼飯食べつつ、shelarcyさんにHaskellの話を聞いたり、niha28さんの例外有害論を聞いたり、herumiさんにメールのヘッダとかのパースが大変(行儀の悪いメーラの生成したヘッダとかはRFCにしたがってなかったりするらしい)という
PPL2010
134名の方のご参加を頂き，PPL2010は盛況のうち無事終了致しました．ありがとうございました．参加できなかった方で論文集の残部の郵送を希望される方は，実行委員会までご連絡ください．(3/10)
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://2chreport.net/com_rank_rk_quick.htm
大学と就職のランキングが満載！ 偏差値ランキング図書館
Loading...
ワンライナーのコマンドラインオプション - Ruby入門勉強ルーム
VIPPERな俺 : シュールで笑える画像ください