サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
TGS2024
www.ipl.t.u-tokyo.ac.jp/~hamana
関数型プログラマのためのモナド理論 (1) 浜名誠 CAPS, IPL, 2007, November 6th 1 動機 • 「モナド」で Google すると、沢山の Haskell プログラマの苦労が見える • よく見る格言: Haskell のモナドを理解するのに圏論のモナドを理解する必 要はない • 「分かりやすい説明」というものが、本当に分かりやすい? • モナドの理解を実行から追う、というのは話が逆 • 主張: 数学の方が簡単 • そもそもなぜモナドを使うとよいのか。プログラム意味論の歴史に理由がある • それらを解説 • また、モナドから直ちに出てくる圏論的構成は有用 • それらを通して、計算機科学でなぜ圏論が有用なのかの一例 feedback をお願いします。 2 全体の内容の予定 1. 圏論のモナドのアイデアと関連するいくつかの construction 2. 計算モナ
www.ipl.t.u-tokyo.ac.jp
概要 † 時限 月曜2限 (10:15--11:45), 工学部6号館セミナー室B 学期 夏学期 (2009/04/01-2009/09/30) 時間割コード 4820-1012 & 4860-1003 単位数 2.0 教室 工6号館 セミナーB ↑ 詳細情報 † 講義題目 (Course Title) ソフトウェア構成論 Software Construction 授業の目標・概要 (Course Objectives/Overview) We will cover basic functional program derivation concepts such as accumulating parameters, tupling, fold and fold fusion and we will also expand on the course to cover more top
www.ipl.t.u-tokyo.ac.jp/~takeichi
2003/05/19 武市正人 1 計算モデルの数理: Scott 理論 • λ式の表示する対象は? – λ計算法の意味論の展開のために • 等式による再帰的な関数の定義とは? – fac (x) = if x=0 then 1 else x*fac (x-1) • 表示的意味論(denotational semantics) の基礎 2003/05/19 武市正人 2 参考書 • Scott, D. and Strachey, C.: Towards a Mathematical Semantics for Computer Languages. PRG-6. Oxford University Programming Research Group, 1971. • Stoy, J.E.: Denotational Semantics: The Scott- Strachey Appr
www.ipl.t.u-tokyo.ac.jp/~kmatsu
研究テーマ ワークショップ "Workshop on Parallelism Oblivious Programming" を2007年7月26-27日に行います. 広く参加者を募集しています. 現在, 私は「助っ人」プロジェクトにおいて, スケルトン並列プログラミング (Skeletal Parallelism) に関する研究を行っている. スケルトン並列プログラミングでは, スケルトンと呼ばれる並列計算でよく利用される処理を抽象化したものを組みあわせることでプログラミングを行う. この並列計算モデルには次のような利点がある. 簡潔性: 並列スケルトンを用いることで, ユーザはほとんど並列性を意識せずに並列プログラムを書くことができる. 効率性: それぞれの並列スケルトンは効率良く実装されるため, ユーザはスケーラビリティの高いプログラムを得ることができる. 抽象
What's SkeTo Project? "SkeTo Project" (Skeletons in Tokyo) is a research project working on skeletal parallelism (or algorithmic skeletons). We are studying parallel skeletons based on the constructive algorithmics. The main contributions of our project are as follows: Parallel Skeletons for Several Data Structures: The constructive algorithms provides a general handling of various data
このページを最初にブックマークしてみませんか?
『www.ipl.t.u-tokyo.ac.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く