「動く地図をつくる」をテーマに、コンピュータ・サイエンスとデザインにおける境界領域を切り開いているpingpongプロジェクトが、2010年10月30日(土)にシンポジウム(一般公開)、10月31日(日)にワークショップ(インターネット中継による公開)を開催することとなりました。 第1回目の開催となる今回は、「 デザインと実験の間ー現実世界から/現実への〈変換〉」をテーマに、コンピュータサイエンス、ウェブ、ロボット、ARなどの世界を牽引する研究者・開発者を招聘し、実践の現場からのプレゼンテーションや、pingpongメンバーとのトークセッションを通して、デザインと実験の間から生まれる 創造と研究の今、そして未来を探ります。 1日目のシンポジウムでは、基調講演として「pingpong とは何か?」「 脳のアーキテクチャ/コンピュータのアーキテクチャ」というトークセッションも行います。ping
渡邉浩志 (WATANABE Hiroshi) 東京大学 新領域創成科学研究科 人間環境学専攻 バイオメカニクス分野 ( 工学系研究科 機械工学専攻 気付) E-Mail: nabe@sml.k.u-tokyo.ac.jp 略歴 研究概要 有限要素法プログラミング演習(fortran, C のソースコードつき)(開発版 Last update 2000 July. 12) 趣味のページ 便利なツール データベース 流体構造 2012年度講義資料まとめ 学部:材料力学(夏)・有限要素法(冬) 大学院:非線形有限要素法の基礎(夏)・非線形有限要素法特論(冬) 2011年度講義資料まとめ 学部:材料力学(夏)・有限要素法(冬) 大学院:非線形有限要素法の基礎(夏)・有限要素法特論(冬) 大学院講義:非線形有限要素法特論(2010) 大学院講義:有限要素法特論(2009) 大学院講義:非線形有限要
absolute performance guarantee abstract data type (a,b)-tree accepting state Ackermann's function active data structure acyclic directed graph: see directed acyclic graph acyclic graph adaptive heap sort adaptive Huffman coding adaptive k-d tree adaptive sort address-calculation sort adjacency-list representation adjacency-matrix representation adjacent admissible vertex ADT: see abstract data typ
コンテンツへスキップ Computational Biology Research Consortium CBRC.JP
数独は非常に SAT に変換しやすい問題です。全部参考文献 *1 に載っている内容ですが、なるべくわかりやすく説明してみます。ちょっと長いです。 SAT とは まず SAT をごく簡単に説明します。すでに SAT を知っている人はここは読み飛ばしてください。 命題論理式の形の一つに乗法標準形のというのがあります。変数か変数の否定 (リテラルと言います) を or だけでつないだ式 (節と言います) を and だけでつないだ論理式のことを言います。つまり以下みたいな形です。 ( a1 or !a2 or ... or an) and ( b1 or !b2 or ... or !bn) and ... and (!z1 or z2 or ... or !zn)SAT は「a1 や zn などの変数にうまく true か false を代入して、上の式全体を true にできるか」という問題
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く