Current undergraduate courses
-
Lab of web technologies
- Internet, World Wide Web, HTTP protocol
- Fundamental concept of markup language; content flow and block and inline elements
- Tags and links in HTML, URL, raster and vector images
- HTML exercise
- Fundamental concept of CSS, selectors
- Decoration of document objects, specificity and cascading in CSS
- CSS exercise
- Fundamental concept of JavaScript
- JavaScript; window object and document object model, HTML forms
- JavaScript exercise
- Third party libraries, manipulating the DOM, jQuery, Bootstrap, Ajax
- HTTP, URL, request/response messages, common HTTP methods, Flask
- Session, cookies, authentication, security and privacy
- Web security, HTTP over SSL/TLS, two way authentication, SSL handshake, CVE, CWE, CVSS,
OWASP
-
Introduction to coding and data management - Module 2 Practice
- File operations
- Data manipulation in Pandas
- Managing several data sets at once and summarizing
- Data visualisations
Current graduate courses
-
Cloud computing and distributed systems
- Characterization of Distributed Systems
- System Models
- Networking and Internetworking
- Interprocess Communication
- Remote Invocation
- Indirect Communication
- Operating System Support
- Distributed File Systems
- Name Services
- Time And Global States
- Coordination And Agreement
- Transactions And Concurrency Control
- Distributed Transactions
- Replication
- Mobile And Ubiquitous Computing
- Distributed Multimedia Systems
- Designing Distributed Systems
-
Informatics for collective dynamics
- Sensing: Sensor technologies, tracking, counting and density estimation, localization
- Key concepts in crowd dynamics:
Level of service, Fundamental diagram, Faster-is-slower effect etc.
- Motion models:
Mechanics-based models, cellular automaton, stochastic models, agent based models, data driven models
- Human factors:
Social groups, intrinsic features and intermittent features, synchronization, stability etc.
- Collective dynamics of non-pedestrian flows:
Vehicular traffic, granular flows, animal swarms etc.
Past undergraduate courses
-
Graph theory (グラフ理論)
- 数学的基礎
- グラフに関する諸定義と基本的性質, グラフの同形
- 2部グラフ, 完全2部グラフ, 単純グラフの補グラフ, 2部グラフの特徴付け
- グラフに関する諸性質と最短路問題, 有向非サイクル的グラフと位相的順序, ダイクストラ法
- オイラーサーキット, オイラーグラフの特徴付け
- ハミルトングラフ, 巡回セールスマン問題
- 林と木, 木の特徴付け, 全域木, グラフの全域木の総数, 行列木定理
- 最小連結子問題, クラスカルアルゴリズム, 深さ優先探索, 幅優先探索, 完全2分木
- グラフの平面性, 平面的グラフ, 平面グラフ, オイラーの公式
- ワグナーの定理, 幾何学的双対, 外平面的グラフ, グラフの交差数, グラフの厚さ
- グラフの彩色問題, 点彩色問題, Kempeのアルゴリズム
- 地図の彩色, DSatur法, 貪欲法, 染色多項式
- ネットワークフロー, 最大フロー・最小カット, Ford-Fulkersonアルゴリズム
- グラフの連結性, 連結度, 辺連結度, 完全グラフの連結性, 辺素・内素のパス
-
Algorithms and Computational Complexity (アルゴリズムと計算量)
- アルゴリズム解析の指針, 基礎的なソートアルゴリズム, MergeSort
- 関数の増加, 漸近記法, 標準的な記法と一般的な関数
- 分割統治, 配列の反転回数, Strassenのアルゴリズム
- マスター定理, 小試験
- マスター定理, 再帰木法
- クイックソート, ピボットより配列の2分割, 乱択クイックソート
- 線形時間ソート, 中央値と順序統計量, RSelect, DSelect, 復習
-
Mathematical Logic (数理論理学)
- 字句代入, 等号, 代入
- ブール式
- 命題計算
- 命題計算
- 命題計算
- 証明形式, 命題論理の応用
- 命題論理の応用, 復讐
-
Safety and Security Management for Engineers (工学安全教育, together with other faculty
members)
- 安全と危険の意味(工学者の責任、危険要因=設備+人+環境、安全の管理)、安全の法律(労働安全衛生法、消防法、関連法規)
- 安全と危険の人間的側面(安全と安心、危険と不安、危険の理解と説明)、リスクコミュニケーション(説明責任における社会心理学的側面)
- 安全対策の立て方(予防対策と局限対策、保護具、設備、改善提案、他)
- 危険要因分析-1, 魚の骨図
- 危険要因分析-2, ヒヤリハット報告書の作製、事故防止の起案書
- 緊急時の対応(火災、地震、ガス漏れ、水漏れ・水害)と応急処置(蘇生法、止血、火傷、中毒、他)の基礎知識
- 電気・情報に関する安全性一般
-
Information Technology Experiments B - Media Processing (情報工学実験B - メディア処理, as
coordinator)
- 基本的な迷路探索処理の実装
- 効率的な迷路探索処理の実装
- 画像・音声処理の基礎知識
- 画像の幾何学変換
- 最小2乗法による変換行列の算出
- 特徴点の検出
- 特徴点の選択
- 特徴点の対応付けの原理
- 特徴点の自動対応付け
- 複数画像の自動合成
- 音声分析の基礎
- 最近傍法による単語音声認識
- 自動音声認識器の作成
- テスト・デバッグ
Past graduate courses
-
Topics in Electronic and Information Systems Engineering (電子情報システム工学論, with other
faculty members, 2021~2023)
- ヒューマン・ロボット・インタラクションにおける共同注意手法 (ユジャイ・ゼイネップ)
- コンピュータによるコミュニケーション技術 (後藤 佑介)
- 自然言語処理の基礎技術と最新の研究動向 (竹内 孔一)
- 低次元材料のエレクトロニクス応用 (鈴木 弘朗)
- エレクトロニクスおよびナノテクノロジー分野におけるマルチスケール材料設計 (三澤 賢明)
- 低炭素社会へ向けた高温超電導機器の研究動向 (井上 良太)
- 暗号に関する研究動向 (日下 卓也)
-
Advanced Linear Algebra (上級線形代数)
- Basic definitions, operations
- Linear systems, geometric interpretation, equivalent systems
- Gaussian elimination, Gauss-Jordan method, consistency, linear combination
- Homogeneous systems, rank, null space, nonsingular matrices
- Column space, vectors in Rnx1, linear independence
- Vector space, subspaces
- Span, further discussion on linear independence, basis of a vector space
- Vector space, finding a basis, coordinates and ordered of bases
- Change of basis, linear transformations
- Isomorphisim, inverse transformation
- Laplace expansion, Cramer’s rule, LU factorization
- Inner product, Gram-Schmidt orthogonalization
- Cayley-Hamilton theorem, Diagonalization
- Markov chains, Singular value decomposition