10講義番号B-27講義番号B-28講義番号B-29講義番号B-301994年 日立製作所（株）退社2000年 北陸先端科学技術大学院大学情報処理学専攻博士後期課程修了ウェア発展機構の研究1998年 北陸先端科学技術大学院大学情報科学研究科博士後期課程修了1998年 福山大学工学部情報処理工学科助手2007年 福山大学人間文化学部メディア情報文化学科専任講師1976年 大阪大学大学院理学研究科物理学専攻修土課程修了1977年～2009年 アイシン精機株式会社、主席技師「正しい命題のつくり方、正しい推論のすすめ方」私たちは、言葉や活字を介していろいろ情報を得ていますが、その正誤は自分で判断する必要があります。本講義では、正しい命題（主張）のつくり方、および複数の命題から新たな命題を正しく推論する仕方を考えます。「ネットワークアーキテクチャ～社会を支えるネットワークを理解しよう～」現代の社会を支えている情報ネットワーク。皆さんは、このネットワークがどのように成り立ち、役割を果たしているか知っていますか。この講義では、ネットワークを構成しているモノたち（ネットワーク機器〈ハードウェア〉、約束事〈通信プロトコル〉、ネットワーク関連アプリケーション〈ソフトウェア〉）に関して実物や実例を用いて紹介し、わかりやすく解説していきます。「ソフトウェア開発～ソフトウェアという「モノ」の作り方について～」ソフトウェアとは、コンピュータを動作させる手順や命令をコンピュータが理解できる形式で記述したものです。ソフトウェアと呼ばれるものは、ワープロや表計算ソフト、ゲームなどの馴染み深いものから、家電、携帯電話などに組み込まれているもの、現代社会を支える情報システム上で動作するものと多岐にわたります。これらを、誰が、何を考えて、どのような方法で開発しているのかを、わかりやすく説明します。「睡眠の科学」皆さんもよくご存じのように、睡眠による休息が十分でないと、快適な生活を送れません。単に良い睡眠をとろうと思っても、睡眠に関する知識が不足していると、努力していることが全くの逆効果になる場合もあります。従って、良い睡眠のために、「人の睡眠」とはどういう性質をもっているのかを知る必要があります。本講義では、睡眠科学の基礎である動物の睡眠、生体リズム（サーカディアンリズム）、光が睡眠に与える影響などを学んでもらいます。石井 忠夫（ISHII Tadao）経営情報学部 情報システム学科 教授（博士 情報科学）経 歴：1980年 山形大学工学部電子工学科卒業 専門領域： 非標準論理、特にnon-Fregean logicの体系の研究・構成的型理論に基づいたソフト石川 洋（ISHIKAWA Hiroshi）経営情報学部 情報システム学科 教授（博土 情報科学）経 歴：1986年 静岡大学理学部数学科卒業 専門領域：ソフトウェア工学（形式仕様記述・検証、ソフトウェア開発）上西園 武良（KAMINISHIZONO Takeyoshi）経営情報学部 情報システム学科 教授（博士 学術）略 歴：1974年 神戸大学理学部物理学科卒業 専門領域：人間中心設計（HCD）、睡眠経営情報学部 情報システム学科
元のページ ../index.html#11