「プログラミングの基礎」を使った授業紹介
「プログラミングの基礎」を使った授業紹介 浅井 健一 このページでは、お茶の水女子大学、理学部、情報科学科の２年生を 対象とした授業「関数型言語」のビデオほかを公開しています。 この授業は反転授業 (flipped class) を行っており、 受講生は授業前に以下の予習を求められます。 毎回の授業用に用意されたビデオを見て、 予習クイズに答えること。 教科書の該当部分を読んで、 教科書問題に答えること。 授業時間中は特に内容の説明はせず、 受講生は別途、示される練習問題とレポート問題を各自、解きます。 その際に生じた疑問点等について授業で個別に対応しています。
MikiBeta
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
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
