....

続きを読む →

....

続きを読む →

本講義は化学工学の柱のひとつのである反応工学について、その新しい体系化の試みと最近の動向をまとめたものでる。従来（学部教育の水準）の反応工学の基礎知識をもとに、これが最前線でどのように活かされ新しい体系として再構築されているかを、「触媒工学」、「反応分離工学」、「反応装置工学」「反応場の工学」という4つの主要ジャンルについて「サステナビリティー」をキーワードに講述する。 ....

続きを読む →

「言語」と「文化」には密接な関係がある。言語には、文化や社会のありようが反映している。だから言語はそれぞれに多様であり変化し続ける。このような見方に疑いがない一方で、言語は記号の体系とされ、情報伝達の手段とされる。言語には類型や普遍的な構造があるという見方も一般的である。多様性・動態と、普遍性・一般性。どちらも言語の本質だとすれば、文化と言語の関係はどう捉えられるだろうか。文化や社会が関わるのは前 ....

続きを読む →

並行計算の概念および体系について修得する。特に、通信プロセス計算モデルの表現と意味論について講義し、従来の逐次計算モデルと比較して、並行計算によって生じる問題について、体系的な意味づけとその対処方法について学ぶ。ネットワークを介した情報システムにおける並行計算の具体的イメージを通して信頼性の高い並行ソフトウェアの構築、さらに、具体的な信頼性向上のための形式手法としてモデル検査について述べる。 ....

続きを読む →