[実施方法・教室] 対面形式 教室未定 [時間] 木曜日 3講目(12:50–14:20) [講義内容と資料] 準備中
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 →
2025年度 学部講義 [前期開講] 基礎ゼミナール (272AL, 月曜日3講目) 情報システム管理論 (105, 金曜日3講目) [後期開講] 情報システム構築論 (教室未定, 木曜日3講目) [通年] ゼミナール 大学院講義 [前期開講] 情報システムII (211A, 月曜日4講目) 2024年度：情報システム管理論, 情報システム構築論, 社会情報入門I
Read more →