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

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

學習?教育開発センター(LEDセンター) 教授

清水 智(しみず さとし)

擔當科目
コンピューターリテラシーⅡ / webデザイン / ICTリテラシーA?B / 専門演習Ⅰ?Ⅱ?Ⅲ?Ⅳ / 情報処理演習Ⅰ
講義日
時間割を確認してください
研究室
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~)

国产成人无码免费视频在线观看,夜夜未满十八勿进的爽爽影院