トップページ > 教員一覧 > 清水 智

山梨学院大学 教員プロフィール

経営情報学部経営情報学科 教授

清水 智(しみず さとし)

担当科目
ビジネスコンピューティングⅠ
ビジネスコンピューティングⅡ
コンピューターリテラシー
情報処理演習Ⅰ
システム論Ⅰ
システム論Ⅱ
情報学基礎
専門ゼミナールⅠ
専門ゼミナールⅡ
講義日
月曜日・水曜日・木曜日
研究室
40号館(経営情報学部棟)4F 4-5研究室
専門分野
情報科学
最終学歴
東京理科大学理工学部卒業
取得学位
工学士(東京理科大学)
主な所属学会
日本情報経営学会,情報処理学会,人工知能学会,日本科学哲学会

主な研究業績

[著書]
・自然言語の論理とその存在論(共著,多賀出版, 1990)
・XP対応 新情報化リテラシー入門(共著,実教出版, 2004)
[論文]
・「強い否定を含む構成的述語論理について-その健全性と完全性-」 文部科学省科学研究費補助金 特定研究「言語の標準化」 課題番号57115012 石本班資料(Ⅲ),東京理科大学理工学部,1984
・「レスニェウスキー式論理文法について」 早稲田大学出版部,科学哲学22,日本科学哲学会編,1989
[その他(学会発表)]
・「A Logical Approach to the Parsing of Natural Language」 8th International Congress of Logic, Methodology and Philosophy of Science (LMPS'87)(M.V. Lomonosov Moscow State University, 1987)
・「強い否定を含む構成的論理によるPROLOGの定式化とLISPに基づくそのメタ論理」 情報処理学会,第39回全国大会(九州工業大学, 1989)

主な教育・指導

情報キャリア支援室「キャリアアップスクール(経済産業省国家資格試験「情報処理技術者試験」など受験対策講座)」の企画・運営および学習支援

主な学内活動・社会活動

[学内]
自己点検・評価実施委員会
[学外]
中央大学 企業研究所 客員研究員(2012~)