稲葉一浩特任研究員が船井情報科学奨励賞を受賞しました。 同賞は、国内の大学あるいは公的研究機関に所属している若手研究者(民間企業に在籍している人は除く)で、35才以下に優先的配慮をした上で情報技術に関する研究について顕著な功績のあった者を褒賞し、わが国の情報技術に関する研究の向上発展に寄与することを目的とするものです。 船井研究奨励賞 稲葉一浩(リサーチマップ)
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,
17:31 10/01/26 言語雑談会 言語雑談会 なるものに行ってきました。 自分は主に最近のD言語の話題 [PDF] [PPTX] についてと、 最近読んだ Pattern Calculus がイマイチ心に響かなかったという話と、 これも最近読んだ Prolog で SAT ソルバ という論文が格好良すぎて卒倒しそうです、などの話題を雑談していました。 SAT の話をしていてふと突然気づいたんですが、私が今までSATソルバに落としてみたことのある問題は、 すべて割と簡単に CNF(SATソルバがそのまま食べてくれる綺麗な形式の論理式) ができあがる問題だったようです、数独とか。 任意の命題論理式をCNFに変換できる指数爆発しない方法をそういえば知らないぞ俺!としゃべってたら soutaro さんが素晴らしい解説 をして下さいました。ありがたや。 あと shinhさんの 「コンピュータ
言語雑談会というのは、自分がB4のときに始まってなんだかんだと毎年続いてる、プログラミング言語のこととかについてひたすらだべるイベントです。 今年は昨日(1/24)に開催されました。今年は、他に言いだしっぺが居なかったみたいなので、自分が幹事やりました。相変わらず幹事としての自分の手際の悪さにはあきれるばかりでそろそろなんとかしにゃーいかんなあと思う。 予定では、15:00〜開始で、話し足り無い人は11:00〜どっかの喫茶店でpre雑談会に来てねーという感じだったのだが、11:00〜に待ち合わせ場所に行ってもまだ誰も来て無くて少しあせった。で、喫茶店で昼飯食べつつ、shelarcyさんにHaskellの話を聞いたり、niha28さんの例外有害論を聞いたり、herumiさんにメールのヘッダとかのパースが大変(行儀の悪いメーラの生成したヘッダとかはRFCにしたがってなかったりするらしい)という
Boost C++ Libraries の紹介サイトです。 :: by Google はじめに ご挨拶 Boost のインストール方法 参考リンク集 ニュース ◆ Version 1.42.0 と 1.41.0 対応 (2010/03/14) 新規ライブラリに関する Let's Boost のページ…: property_tree (汎用木構造型コンフィグ管理) / uuid (ユニークID生成器) ◆ RSS つけました (2009/08/28) ◆ Version 1.40.0 と 1.39.0 対応 (2009/08/28) 新規ライブラリに関する Let's Boost のページ…: Signals2 (Signal/Slotライブラリ改良版) ◆ Version 1.38.0 と 1.37.0 対応 (2009/02/22) 新規ライブラリに関する Let's Boost のペー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く