東京大学・知の構造化センター pingpong プロジェクト
「動く地図をつくる」をテーマに、コンピュータ・サイエンスとデザインにおける境界領域を切り開いているpingpongプロジェクトが、2010年10月30日（土）にシンポジウム（一般公開）、10月31日（日）にワークショップ（インターネット中継による公開）を開催することとなりました。 第１回目の開催となる今回は、「 デザインと実験の間ー現実世界から／現実への〈変換〉」をテーマに、コンピュータサイエンス、ウェブ、ロボット、ARなどの世界を牽引する研究者・開発者を招聘し、実践の現場からのプレゼンテーションや、pingpongメンバーとのトークセッションを通して、デザインと実験の間から生まれる 創造と研究の今、そして未来を探ります。 1日目のシンポジウムでは、基調講演として「pingpong とは何か？」「 脳のアーキテクチャ／コンピュータのアーキテクチャ」というトークセッションも行います。ping
WATANBAE Hiroshi
渡邉浩志 (WATANABE Hiroshi) 東京大学 新領域創成科学研究科 人間環境学専攻 バイオメカニクス分野 ( 工学系研究科 機械工学専攻 気付) E-Mail: nabe@sml.k.u-tokyo.ac.jp 略歴 研究概要 有限要素法プログラミング演習（fortran, C のソースコードつき）（開発版 Last update 2000 July. 12） 趣味のページ 便利なツール データベース 流体構造 2012年度講義資料まとめ 学部：材料力学（夏）・有限要素法（冬） 大学院：非線形有限要素法の基礎（夏）・非線形有限要素法特論（冬） 2011年度講義資料まとめ 学部：材料力学（夏）・有限要素法（冬） 大学院：非線形有限要素法の基礎（夏）・有限要素法特論（冬） 大学院講義：非線形有限要素法特論(2010) 大学院講義：有限要素法特論(2009) 大学院講義：非線形有限要
Dictionary of Algorithms and Data Structures
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
CBRC – Just another WordPress site
コンテンツへスキップ Computational Biology Research Consortium CBRC.JP
SAT ソルバで数独を解く方法 - まめめも
数独は非常に 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 にできるか」という問題
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://seo.linel.top/diy/a03/
Blog – projectfortress Community
http://nkl.cc.u-tokyo.ac.jp/08s/
Welcome to the Internet-College of FEM