サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
iPad Air
www.tom.sfc.keio.ac.jp/~hagino
2010年度秋学期 月曜日3時限 科目コード: 14340 / 2単位 カテゴリ: (学部)創造技法科目—ナレッジスキル 開講場所：SFC 授業形態：講義・演習/実習 担当: 萩野 達也 E-mail: [email protected] 概要 コンピュータプログラムは入力をもらって出力を出すという意味では数学の関数とみなすことができるが，単純な集合間の関数とみなすと矛盾することになる． プログラムは全関数ではなく半関数である． プログラムの動作を理解するためには位相の一種である完全半順序集合を用いいる必要がある． この講義ではプログラムの意味の基礎となっている領域理論を中心に，λ計算，完全半順序，カテゴリー理論などについて解説する．
!"#$%&'()*+ ,9- ./012 3456 789:;<;<=>?@ABCDEFG ./012 • BHIJKLMNOPQRSTU12 • SQL: RDB SELECT name, age FROM users WHERE users.age > 19 SPARQL • RDFVU./012 • SQLJWS)5 PREFIX foaf: <http://xmlns.com/foaf/0.1/> SELECT ?name WHERE { ?person foaf:name ?name . } XYZ[U\] ./0^IH_ (Turtle`a) bVUSPARQL Endpoint • SPARQLer • http://sparql.org/ sparql.html • OpenLink Virtuoso • http://demo.open linksw.com/spar
[Japanese][English] 萩野 達也（はぎの たつや） 慶應義塾大学 環境情報学部 教授 連絡先 〒252-8520 神奈川県藤沢市遠藤5322 慶應義塾大学 環境情報学部 個室ι506: 0466-49-3446 研究室κ208: 0466-49-1133 研究室ι509: 内線53259 E-Mail: [email protected] 予定表 萩野 予定表 年 月 Password 予定表システム 講義関連 2008年春 WEBテキスト処理法 2008年春 ソフトウェアアーキテクチャ 2008年春 分散情報システム構築法 講義関連(旧) 2007年秋 システムプログラミング 2007年秋 情報アーキテクチャ 2007年春 ソフトウェアアーキテクチャ 2007年春 WEBテキスト処理法 2007年春 分散情報システム構築法 2006年秋 システム・プログラミン
2007年度春学期 木曜日2時限 科目コード: 45110 / 2単位 カテゴリ: 先端開拓科目—環境情報—情報とメディア(学部) 開講場所：SFC, ε21 授業形態：講義，演習，グループワーク 担当: 萩野 達也，芦村 和幸，石川 雅康，オリビエ テロ，加藤 文彦，佐々木 フェリックス，デュボスト カール E-mail: [email protected] 概要 Web全体のアーキテクチャを理解した後に，Webのさまざまな技術について学びます． XML，XHTML，Webサービスなどの個々の技術，アクセシビリティや国際化， モバイルなどの分野横断的な技術などについても取り上げます． この講義ではグループ毎に分かれて， 学んだ技術を用いた最適なWebシステムのデザインをしてもらいます． 参考文献 Webに関する仕様についてはhttp://www.w3.org/TR/
このページを最初にブックマークしてみませんか？
『Hagino's Home Page』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
