情報システム学専攻並行計算, プログラミング言語, プロセス計算, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容

ネットワーク技術の発展とコンピュータの普遍化に伴って、計算が同時進行する並行性（Concurrency）は ソフトウェアシステムに必ず現れる特徴です。並行性を持つソフトウェアは、入力を与えて停止させて結果を得る従来の計算とは異 ...