結縁祥治 (Shoji Yuen) [English]

博士(工学) (名古屋大学)

名古屋大学 大学院情報学研究科 情報システム学専攻 ソフトウェア論講座　教授

yuen[at]sqlab.jp

研究トピック

• 通信プロセスモデル
• 実時間プログラム
• 可逆並行計算モデル
• 可逆プログラミング言語

研究

• 論文リスト(dblp)

担当講義

• システム検証および演習
• コンパイラ

• 論理学2c

• ソフトウェア基礎論特論B
• 並行分散計算特論