[実施方法・教室] 対面形式 470CL [時間] 金曜日 4講目(14:30–16:00) [講義内容と資料] 毎週、金曜日の4講目までに資料を追加します。 本授業の概要 =必要な基礎知識と最終目標を知る= (PDF, 1.
Read more →
[キーワード] 等価変換 (Equivalent transformation) プログラム合成 (Program synthesis) クラウドサービス (Cloud services) 最適化 (Optimization) [業績 (論文誌, 国際会議)] Automatic Proof of Logical Equivalences belonging to the ES Class using Confluence Search incorporating Slicing, 2023.
Read more →
2024年度 学部講義 [前期開講] 社会情報入門I (160CL, 金曜日4講目) [後期開講] 情報システム管理論 (105, 水曜日2講目) 情報システム構築論 (470CL, 金曜日4講目) [通年] ゼミナール 大学院講義 [後期開講] 情報システムII (211A, 金曜日3講目) 2023年度：情報システム管理論, 情報システム構築論, 応用情報論I, 社会情報入門(夜間)
Read more →