サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
TGS2024
pllab.is.ocha.ac.jp/~asai
「コンピュータを操る」 浅井 健一 著、 「コンピュータを操る」 プログラミングを通して「情報科学的なものの考え方」を学ぶ サイエンス社、 2020 年 2 月 出版、 Computer and Web Sciences Library 2 各章で作られるゲーム 4章: 白いゲーム画面が出る。 5章: 背景画像と自転車の画像が表示される。 6章: 自転車が左に動く。(ユーザはまだ何もできない。) 7章: 自転車を矢印キーによって動かせるようになる。 8章: 自転車が動けるのは道路上のみになる。 9章: 自転車に積んでいる牛乳、ヨーグルトの量が表示されるようになる。 10章: 一番、左上の配送先に牛乳を届けると数が変化する。 自宅に戻ると牛乳の数が 9 に戻る。 11章: 各配送先に牛乳、ヨーグルトを届けられるようになる。 プログラミング環境 全部で 5.3M ほどあります。 回線が細いと読
「プログラミングの基礎」を使った授業紹介 浅井 健一 このページでは、お茶の水女子大学、理学部、情報科学科の2年生を 対象とした授業「関数型言語」のビデオほかを公開しています。 この授業は反転授業 (flipped class) を行っており、 受講生は授業前に以下の予習を求められます。 毎回の授業用に用意されたビデオを見て、 予習クイズに答えること。 教科書の該当部分を読んで、 教科書問題に答えること。 授業時間中は特に内容の説明はせず、 受講生は別途、示される練習問題とレポート問題を各自、解きます。 その際に生じた疑問点等について授業で個別に対応しています。
CW 2011 Tutorial: Introduction to Programming with Shift and Reset September 23, 2011 1 Goal of the tutorial The concept of continuations arises naturally in programming: a conditional branch selects a continuation from the two possible futures; raising an exception discards a part of the continuation; a tail-call or `goto' continues with the continuation. Although continuations are implicitly ma
OchaCaml: shift/reset-extension of Caml Light September 16, 2017 What is OchaCaml OchaCaml is a Caml Light system extended with delimited control operators, shift and reset. It supports the let-polymorphic type system with answer type modification. Added Features reset (fun () -> M) Delimit the context of M. shift (fun k -> M) Clear the current delimited continuation, bind it to k, and execute M.
・PPL2011に関するTwitterハッシュタグには, #ppl2011 をお使いください. ・講演および発表の様子をUstreamの ppl2011チャンネル でライブ配信する予定です. (現地のインターネット事情等によっては断念することもあります.また,一部の発表については配信されません.)
MikiBeta February 27, 2018 Important notice: Please refer to the new MikiBeta page. Below is the old version that corresponds to the LOPSTER 2010 paper. What is MikiBeta? Proof trees are useful. We use proof trees for type checking as well as proofs in deductive systems. However, it is often tedious to write proof trees by hand. Proof trees tend to require a large space; we have to rewrite metavar
I am a professor in the Department of Information Science, Faculty of Science, Ochanomizu University. My research interest includes partial evaluation, continuation, reflection, etc. CW 2011 Tutorial: Introduction to Programming with Shift and Reset Continuation Workshop CW '97, '01, '04, Continuation Fest 2008, TPDC 2011, CW 2011, COS 2013, WoC 2015 Partial Evaluation and Semantics-Based Program
Index of /~asai/book-data NameLast modifiedSizeDescription Parent Directory - Makefile2008-07-31 10:42 386 chap01.ml2008-07-31 09:36 61 chap02.ml2008-07-31 09:36 792 chap03.ml2008-07-31 09:36 228 chap04.ml2008-07-31 09:36 728 chap05.ml2008-07-31 09:36 560 chap06.ml2008-07-31 09:37 434 chap07.ml2008-07-31 09:37 404 chap08.ml2008-07-31 09:37 1.1K chap09.ml2008-07-31 09:37 572 chap10.ml2008-07-31 09
浅井 健一 著 サイエンス社 2007 年 2 月 出版 Computer Science Library 3 サポート情報 (1)OCaml のインストールと日本語の表示法 a)MacOS X b)Linux c)Windows (2)メトロネットワークデータ (3)演習問題解答例、ほか (4)参考となる資料 (5)改訂履歴(正誤表) (6)著者による授業紹介
Introduction to Delimited Continuations Typing Printf Printf Kenichi Asai Ochanomizu University April 13, 2008 Outline of the talk ◮ times (introduction) (1) in Direct Style with exception (2) in Continuation-Passing Style (CPS) ◮ sprintf (3) in Continuation-Passing Style (CPS) (4) in Direct Style with shift/reset ◮ Related Work / Summary (1) Times: Direct Style Multiply elements of a given list:
このページを最初にブックマークしてみませんか?
『Asai's Homepage』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く