サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
災害への備え
www.cs.tsukuba.ac.jp/~kam
計算論理学 (けいさんろんりがく) 担当教員: 亀山幸義 (kam[at]cs.tsukuba.ac.jp)、 海野広志 (uhiro[at]cs.tsukuba.ac.jp) 担当TA: 岡本 (okamoto[at]logic.cs.tsuukba.ac.jp) 曜日・時限: 秋AB, 木 5-6 (15:15-16:30, 16:45-18:00) 教室: 講義は 3B302教室(10/9から変更)、演習は情報科学類計算機室 3C113 このページには,2014年度の『計算論理』の情報を置きます. 連絡事項 2015/1/19(月) 成績をつけました。採点要領等は こちらにあります。 自分の成績を確認の上、質問等がある人は、亀山あてに連絡してください。 2014/12/25(木) 15:15から、いつもの教室(3B302) で期末試験を行います。 [2014/11/27] 遅くなりま
システム検証論(しすてむけんしょうろん) 担当教員: 細野千春, 亀山幸義 (メール: kam のあとに @cs.tsukuba.ac.jp) 担当Teaching Assistant: 田中 (メール: asami のあとに @logic.cs.tsukuba.ac.jp) 曜日・時限: 3学期 木曜 4-5限, 講義は 3A410教室, 演習は情報科学類計算機室 3C205 このページには,2011年度の『システム検証論』の後半6週 の資料を置きます. 後半6週では、モデル検査器 NuSMV (Version 2) を用いた演習が中心となります。 計算機上のシステムを使って、実際に「モデル検査によるシステム検証」を 行います。計算機室で演習を行ないます。 連絡事項 [2012/02/22] 「課題3」(2012/2/9 出題)の発展課題について、 期限を「授業の最終回の日」としていまし
離散構造 / Discrete Structures 筑波大学情報学群情報科学類の授業『離散構造』について、 亀山の担当は 2017年度で終了しましたので、ここには情報はありません。 2017年度までの離散構造の資料 はこちらにあります。 亀山幸義
計算論理(けいさんろんり) 担当教員: 亀山幸義 (メール: 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 をしてください
[GB20111] プログラム言語論I 担当教員: 亀山幸義 (電子メイル: kam [at] cs.tsukuba.ac.jp) 担当Teaching Assistant: 増田 (電子メイル: plm [at] logic.cs.tsukuba.ac.jp) 曜日・時限: (2020年度限り) 秋C 集中,10コマ 2021/1/12 (火) 2限〜5限 2021/1/19 (火) 2限〜5限 2021/1/26 (火) 2限〜3限 形態・場所: 講義・演習はオンライン、質問・ディスカッションは、 対面またはオンライン(どちらにするか学生が選択)、対面の場合は3A301教室を使用。 授業の情報 シラバス 2020年度の内容: 一般的な「プログラム言語論」の授業ではなく、 「関数プログラミングと型システム」を強調した内容になります。 前提知識(推奨される前提知識): 情報科学類の授業「ソ
New [New!] Slides of several speakers are available at the program page. Fest is over. We had 53 participants ! from various countries and organizations. We thank all the participants, speakers, and PC members. Poster is available. (Thanks to Masuko-san.) Information of "KONSHINKAI" (Informal Sake-and-Dinner Party) is added. The program and Call for participations in English and in Japanese are av
計算論理学 (けいさんろんりがく) 担当教員: 亀山幸義 (kam[at]cs.tsukuba.ac.jp)、 海野広志 (uhiro[at]cs.tsukuba.ac.jp) 担当TA: 坂口 (sakaguchi [at] logic.cs.tsukuba.ac.jp) 曜日・時限: 秋AB, 木 5-6 教室: 講義は 3A207、演習は情報科学類計算機室 3C113 このページには,2015年度の『計算論理学』の情報を置きます. 連絡事項 [2015/12/17] 来週実施する、期末試験についての情報をこのページの下 の方に書きました。資料等の持ち込み「可」です。 演習用ファイルCoreML.v 問題番号 e267 のバグが取りきれていませんでした。 これについても,別ページの説明に追記しました。 演習用ファイルCoreML.v とEval.v に,合計3箇所のバグがありました.
このページを最初にブックマークしてみませんか?
『www.cs.tsukuba.ac.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く