Google Scholar では、さまざまな学術文献を簡単に検索できます。多岐にわたる分野と出典の論説、論文、書籍、要約、法律関係資料をお探しいただけます。
Google Scholar では、さまざまな学術文献を簡単に検索できます。多岐にわたる分野と出典の論説、論文、書籍、要約、法律関係資料をお探しいただけます。
まえがき 世の中には様々なプログラミング言語があるが,本文書では,Lispプログラミン グ言語の一つの方言であるScheme(スキーム)を紹介する.ここではSchemeを直観 的に理解することをまず目標として,形式的に完全であるかどうかにはこだわら ないことにする. ※見た目にもあまりこだわらないことにする:-) より詳しくは, 湯浅太一 「Scheme入門」 岩波書店 K.ディヴィグ著 / 村上雅章 訳 「プログラミング言語 SCHEME」 ピアソン・エデュケーション 2000 猪股俊光, 益崎真治 「Schemeによる記号処理入門」 森北出版 1994 D.P.フリードマン, M.フェライセン 著/ 元吉文男, 横山晶一 訳 「Scheme手習い」 マグロウヒル出版 1990 H. Abelson, G.J. Sussman and J. Sussman 著 "Strucuture a
計算論理(けいさんろんり) 担当教員: 亀山幸義 (メール: kam のあとに cs.tsukuba.ac.jp) 担当Teaching Assistant: 杉浦 (メール: sugiura のあとに logic.cs.tsukuba.ac.jp) 曜日・時限: 3学期 木曜 2-3限, 講義は 3A301, 演習は情報[科]学類計算機室. このページには,2008年度の『計算論理』の講義ノート等を置きます. 連絡事項 連絡が遅くなってしまいましたが,成績評価について,メモを書きましたので, 受講者はこちら を見てください. (2009/03/07) 期末試験は、2/19 の2限(10:10-11:25)です。 ノート等は持ち込み可です。 (2009/02/12) 2/5 の2限は,計算機室で演習です. CALシステムに一度以上ログインして, Q[113] を解き,bye をしてください
RIMS (Research Institute for Mathematical Sciences) engages in research in various fields of mathematical sciences: pure and applied mathematics, theoretical physics, and computer science. It has a well established international reputation in mathematical sciences. It is a research institute of Kyoto University, located in the middle of beautiful old Japanese city of Kyoto. Research Institute for
秀丸エディタで、文章中にサクっとシステム日付・時刻をタイムスタンプとして書き込む方法を紹介します。 やり方は簡単で、タイムスタンプを出力するマクロを秀丸に登録し、任意のキーに割り当てるだけでOKです。 まず、タイムスタンプを出力するマクロはですが、次のような感じで書きます。 //タイムスタンプ挿入マクロ insert "20" + midstr(date,0,2) + "-" + midstr(date,3,2) + "-" + midstr(date,6,2) + " " + time; endmacro; 作成したファイルは適当に名前をつけて保存してください。僕の場合は date.mac とかいう名前で、秀丸の exe ファイルと同じ場所に保存しています。 ちなみに、上記のマクロが実行されると、 2008-08-15 00:56:02 というような感じで現在のシステム日付・時刻が表示さ
参考: http://d.hatena.ne.jp/faith_and_brave/20100201/1264997004 「C++0xになると、C++03 でごちゃごちゃした部分がだいぶすっきり書けるようになる」 らしいですが、C++0xを待たなくてもBoostを使えばだいぶすっきり書けるので、 BoostでのC++入門はこんな感じだよー、という気持ちで以下略。 この記事はC言語をある程度理解していることが前提です。 1. Hello World C++/Boostでの出力はC++標準の IOStream ライブラリと Boost.Format を組み合わせて行います。 例として、C言語のprintfを用いた Hello World を、C++/Boostを使って書き直してみます。 #include <stdio.h> int main() { printf( "%s\n", "Hell
ポートフォワードについての説明は省きます。 想定しているのはOpenSSHを用いて「ローカルのLinuxマシン」から「経由するリモートサーバ」を経由して、「目的のサーバ」に辿り着くことです。 まずリモートサーバで接続用のユーザを作成して、そのユーザの公開鍵と秘密鍵を作成します。 秘密鍵の方をローカルマシンのLinuxユーザの~/.ssh以下に設置します。 この時、~/.sshが無ければ作成して、パーミッションを700、秘密鍵のパーミッションを600にします。 またリモートサーバの~/.sshもパーミッションが700、公開鍵のパーミッションも600にしなければなりません。 (※すでにWindows上でPuTTY形式の秘密鍵を持っている場合は、PuTTYgenを使ってOpenSSH形式の秘密鍵に変換して下さい。) 次にローカルサーバ上で $ ssh (リモートサーバの接続用ユーザ)@(リモート
CAP5415 - Computer Vision Spring 2003 TR 19:00 - 20:15 CSB 0221 Instructor Khurram Hassan Shafique CSB 103 (Computer Vision Lab) Phone (Vision Lab): 407-823-4733 Office Hours: TR 15:00-16:00 in CSB-255 (Grad Lab) Phone (Grad Lab): 407-823-2245 Teaching Assistant Cen Rao CSB 103 (Computer Vision Lab) Phone (Vision Lab): 407-823-4733 Office Hours: TR 16:00-17:00 in CSB-255 (Grad Lab) Phone (Grad Lab
Overview Advanced topics in computer vision with a focus on the use of machine learning techniques and applications in graphics and human-computer interface. Topics include image representations, texture models, structure-from-motion algorithms, Bayesian techniques, object and scene recognition, tracking, shape modeling, and image databases. Applications may include face recognition, multimodal in
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く